git.iko.soy/Idris-dev
on master help sign in
Merge pull request #1605 from edwinb/reg052-fix
457b08aEdwin Brady
idris.cabal+3
compare with master
unifiedsplit
@@ -267,6 +267,9 @@ Extra-source-files:
267 test/reg051/run
267 test/reg051/run
268 test/reg051/*.idr
268 test/reg051/*.idr
269 test/reg051/expected
269 test/reg051/expected
270+ test/reg052/run
271+ test/reg052/*.idr
272+ test/reg052/expected
270
273
271 test/basic001/run
274 test/basic001/run
272 test/basic001/*.idr
275 test/basic001/*.idr
test/Makefile+1−1
@@ -11,7 +11,7 @@ test_java:
11 @perl ./runtest.pl without --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 reg052 io001 dsl002 io003 effects001 effects002 buffer001 --codegen node
15
15
16test_llvm:
16test_llvm:
17 @perl ./runtest.pl without primitives003 sugar004 io003 buffer001 --codegen llvm
17 @perl ./runtest.pl without primitives003 sugar004 io003 buffer001 --codegen llvm
test/reg052/expected+1−1
@@ -1 +1 @@
1−42
1+000000000000002A