git.iko.soy/Idris-dev
on master help sign in
Disable backend-dependent test
ef75f3cEdwin Brady
.travis.yml+1−1
compare with master
unifiedsplit
@@ -30,5 +30,5 @@ env:
30 - TESTS="doc"
30 - TESTS="doc"
31 - TESTS="lib_doc"
31 - TESTS="lib_doc"
32 - TESTS="test_c"
32 - TESTS="test_c"
33− - TESTS="test_llvm"
33+ #- TESTS="test_llvm"
34 - TESTS="test_js"
34 - TESTS="test_js"
test/Makefile+1−1
@@ -11,7 +11,7 @@ test_java:
11 @perl ./runtest.pl without primitives004 --codegen Java
11 @perl ./runtest.pl without primitives004 --codegen Java
12
12
13test_js:
13test_js:
14− @perl ./runtest.pl without sugar004 reg029 reg052 io001 dsl002 io003 effects001 effects002 effects003 buffer001 basic011 primitives004 --codegen node
14+ @perl ./runtest.pl without sugar004 reg029 reg052 io001 dsl002 io003 effects001 effects002 effects003 buffer001 basic007 basic011 primitives004 --codegen node
15
15
16test_llvm:
16test_llvm:
17 @perl ./runtest.pl without primitives003 primitives004 sugar004 io003 buffer001 --codegen llvm
17 @perl ./runtest.pl without primitives003 primitives004 sugar004 io003 buffer001 --codegen llvm
test/basic007/test033.idr+1−1
@@ -1,4 +1,4 @@
1module Main
1module Main
2
2
3−main : JS_IO ()
3+main : IO ()
4main = nullPtr null >>= print
4main = nullPtr null >>= print