git.iko.soy/Idris-dev
on master help sign in
fix missing tests
71fae28Jan Bessai
test/Makefile+1−1
compare with master
unifiedsplit
@@ -8,7 +8,7 @@ test: $(TESTS)
8 @perl ./runtest.pl $(patsubst %.test,%,$@)
8 @perl ./runtest.pl $(patsubst %.test,%,$@)
9
9
10test_java:
10test_java:
11− perl ./runtest.pl without buffer001 reg039 --codegen Java
11+ @perl ./runtest.pl without --codegen Java
12
12
13test_js:
13test_js:
14 @perl ./runtest.pl without sugar004 reg029 io001 dsl002 io003 effects001 effects002 buffer001 --codegen node
14 @perl ./runtest.pl without sugar004 reg029 io001 dsl002 io003 effects001 effects002 buffer001 --codegen node
test/reg029/Reg029Wrapper.java+1−1
@@ -7,7 +7,7 @@ import java.util.Map;
7 * into the standard set of properties.
7 * into the standard set of properties.
8 */
8 */
9public class Reg029Wrapper {
9public class Reg029Wrapper {
10− public static void main(String [] args) {
10+ public static void main(String args[]) {
11 Map<String, String> env = System.getenv();
11 Map<String, String> env = System.getenv();
12 for (String key : env.keySet()) {
12 for (String key : env.keySet()) {
13 System.setProperty(key, env.get(key));
13 System.setProperty(key, env.get(key));
test/reg029/run+12−2
@@ -1,7 +1,17 @@
1#!/usr/bin/env bash
1#!/usr/bin/env bash
2+
2idris $@ reg029.idr -o reg029
3idris $@ reg029.idr -o reg029
3unset IDRIS_REG029_NONEXISTENT_VAR
4unset IDRIS_REG029_NONEXISTENT_VAR
4export IDRIS_REG029_EXISTENT_VAR='exists!'
5export IDRIS_REG029_EXISTENT_VAR='exists!'
6+
7+IsJava=`echo "$@" | grep -E "\-\-codegen([[:space:]]+)Java\>"`
8+if [ -z "$IsJava" ]
9+then
5−./reg029
10+ ./reg029
11+else
12+ javac -cp reg029:. Reg029Wrapper.java
13+ java -cp reg029:. Reg029Wrapper
14+fi
6idris $@ reg029.idr --execute
15idris $@ reg029.idr --execute
7−rm -f reg029 *.ibc
16+rm -f reg029 *.ibc *.class
17+