Verified Commit 1f23cdbb authored by Camil Staps's avatar Camil Staps

Use new Data.Encoding.GenBinary instead of Data.GenCompress in tests

parent e7705cb3
Pipeline #30863 passed with stages
in 11 minutes and 41 seconds
module compress
module encode
import StdEnum
import StdList
import Data.GenCompress
import Data.Encoding.GenBinary
import Data.GenEq
import Data.Maybe
derive bimap Maybe, (,)
derive gCompress R, ADT
derive gUncompress R, ADT
derive gCompressedSize R, ADT
derive gBinaryEncode R, ADT
derive gBinaryDecode R, ADT
derive gBinaryEncodingSize R, ADT
derive gEq R, ADT
:: R = R !Int Int /* Data.GenCompress does not support records */
......@@ -25,4 +25,4 @@ adts = [ConsA r c b \\ r <- [1.0,-2.0,37.0,-4.2], c <- ['a'..'z'], b <- [True,Fa
// the compression is broken on a simulated 32-bit system. Hence, the expected
// output on 32-bit systems is False.
Start = uncompress (compress adts) === Just adts
Start = decode (encode adts) === Just adts
......@@ -2,8 +2,8 @@ Version: 1.4
ProjectRoot: .
Target: StdEnv
Exec: {Project}/compress
ByteCode: {Project}/compress.bc
Exec: {Project}/encode
ByteCode: {Project}/encode.bc
CheckStacks: False
CheckIndexes: False
......@@ -52,7 +52,7 @@ Global
Name: compress
Name: encode
Dir: {Project}
NeverMemoryProfile: False
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment