rhi/bytebuild
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

add consLength64BE

Browse source
This commit is contained in:
Andrew Martin 2019-09-19 12:10:13 -04:00
parent 13d7f0c948
commit 459c48a2d9
2 changed files with 22 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
test/Main.hs
View file

@ -61,6 +61,10 @@ tests = testGroup "Tests"
run 1 (consLength32BE (word8Dec w))
===
pack ('\x00' : '\x00' : '\x00' : chr (L.length (show w)) : show w)
, TQC.testProperty "consLength64BE" $ \w ->
run 1 (consLength64BE (word16Dec w))
===
pack ('\x00' : '\x00' : '\x00' : '\x00' : '\x00' : '\x00' : '\x00' : chr (L.length (show w)) : show w)
, TQC.testProperty "pasteArrayST" $ \(xs :: [Word64]) ->
(runArray word64Dec (V.fromList xs))
===