git.iko.soy/Idris-dev
on master help sign in
Enabled reg052 in travis and update its output
7a30e5dEdwin 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/reg052/expected+1−1
@@ -1 +1 @@
1−42
1+000000000000002A