a9f062f · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

Change reg016 to test big int literals properly

a9f062fEdwin Brady13 years ago

test/reg016/expected+1−6

@@ -1,6 +1 @@

1−4294967295

1+429496729500000000000000

2−4294967296

3−4294967297

4−-1

5−0

6−1

test/reg016/reg016.idr+6−6

@@ -1,11 +1,11 @@

1module Main

3main : IO ()

4−main = do print $ the Integer 4294967295

4+main = do print $ the Integer 429496729500000000000000

5− print $ the Integer 4294967296

5+-- print $ the Integer 4294967296

6− print $ the Integer 4294967297

6+-- print $ the Integer 4294967297

7− print $ the Int 4294967295

7+-- print $ the Int 4294967295

8− print $ the Int 4294967296

8+-- print $ the Int 4294967296

9− print $ the Int 4294967297

9+-- print $ the Int 4294967297