Merge pull request #1605 from edwinb/reg052-fix
Enabled reg052 in travis and update its output
commit457b08a145f0a39e34bc142c33e3e23223373770
authorEdwin Brady <edwin.brady@gmail.com>
dateWed 8 Oct 2014, 10:43 (12 years ago)
parentbc8fa59437b9f7
idris.cabal+3
@@ -267,6 +267,9 @@ Extra-source-files:
267267 test/reg051/run
268268 test/reg051/*.idr
269269 test/reg051/expected
270+ test/reg052/run
271+ test/reg052/*.idr
272+ test/reg052/expected
270273
271274 test/basic001/run
272275 test/basic001/*.idr
test/Makefile+1−1
@@ -11,7 +11,7 @@ test_java:
1111 @perl ./runtest.pl without --codegen Java
1212
1313test_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
1515
1616test_llvm:
1717 @perl ./runtest.pl without primitives003 sugar004 io003 buffer001 --codegen llvm
test/reg052/expected+1−1
@@ -1 +1 @@
1−42
1+000000000000002A