git.iko.soy/Idris-dev
on master help sign in
Merge pull request #4406 from melted/buf002
eb8166bNiklas Larsson
test/buffer002/buffer002.idr+2−2
compare with master
unifiedsplit
@@ -3,8 +3,8 @@ import Data.Buffer
3main : IO ()
3main : IO ()
4main = do Just buf <- newBuffer 40
4main = do Just buf <- newBuffer 40
5 printLn (size buf)
5 printLn (size buf)
6− setInt buf 5 1234567890
6+ setInt buf 5 (-1024567890)
7− setInt buf 36 1234567890
7+ setInt buf 36 1034567890
8 setString buf 20 "Hello world!"
8 setString buf 20 "Hello world!"
9
9
10 printLn !(bufferData buf)
10 printLn !(bufferData buf)
test/buffer002/expected+4−4
@@ -1,9 +1,9 @@
140
140
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]
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−1234567890
3+-1024567890
4−4822530
4+12774997
5123.456
5123.456
6−1234567890
6+1034567890
70
70
8Hello worl
8Hello worl
9Hello world!
9Hello world!