a9f062f · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Change reg016 to test big int literals properly

Fixes #604

commita9f062f826c2b330e127ca985491492fd0a4ec42 authorEdwin Brady <ecb10@st-andrews.ac.uk> dateFri 8 Nov 2013, 08:46 (13 years ago) parent0469bca

2 files changed+7−12

unifiedsplit

test/reg016/expected+1−6

@@ -1,6 +1 @@

1−4294967295

2−4294967296

3−4294967297

4−-1

5−0

6−1

1+429496729500000000000000

test/reg016/reg016.idr+6−6

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

11module Main

33main : IO ()

4−main = do print $ the Integer 4294967295

5− print $ the Integer 4294967296

6− print $ the Integer 4294967297

7− print $ the Int 4294967295

8− print $ the Int 4294967296

9− print $ the Int 4294967297

4+main = do print $ the Integer 429496729500000000000000

5+-- print $ the Integer 4294967296

6+-- print $ the Integer 4294967297

7+-- print $ the Int 4294967295

8+-- print $ the Int 4294967296

9+-- print $ the Int 4294967297

1010

1111