git.iko.soy/Idris-dev
on master help sign in
Update test buffer002 to use valid Int values on 32-bit builds

Ints on the C backend contain a tag bit so is limited to one bit less than the long on the platform. Fixes #4400

commit4bef2ee0d4ec395ab21a97e9a5791a6d7ecf4717 authorNiklas Larsson <niklas@mm.st> dateMon 2 Apr 2018, 19:55 (9 years ago) parent4c5c430
2 files changed+6−6
compare with master
unifiedsplit
test/buffer002/buffer002.idr+2−2 test/buffer002/expected+4−4
test/buffer002/buffer002.idr+2−2
@@ -3,8 +3,8 @@ import Data.Buffer
33main : IO ()
44main = do Just buf <- newBuffer 40
55 printLn (size buf)
6− setInt buf 5 1234567890
7− setInt buf 36 1234567890
6+ setInt buf 5 (-1024567890)
7+ setInt buf 36 1034567890
88 setString buf 20 "Hello world!"
99
1010 printLn !(bufferData buf)
test/buffer002/expected+4−4
@@ -1,9 +1,9 @@
1140
2−[00, 00, 00, 00, 00, D2, 02, 96, 49, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 48, 65, 6C, 6C, 6F, 20, 77, 6F, 72, 6C, 64, 21, 00, 00, 00, 00, D2, 02, 96, 49]
3−1234567890
4−4822530
2+[00, 00, 00, 00, 00, AE, 55, EE, C2, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 00, 48, 65, 6C, 6C, 6F, 20, 77, 6F, 72, 6C, 64, 21, 00, 00, 00, 00, D2, 40, AA, 3D]
3+-1024567890
4+12774997
55123.456
6−1234567890
6+1034567890
770
88Hello worl
99Hello world!