diff --git a/test/Spec.hs b/test/Spec.hs index 986fa09..449530c 100644 --- a/test/Spec.hs +++ b/test/Spec.hs @@ -25,9 +25,9 @@ prop_rejectInvalidTexts = Either.isLeft . Brainfuck.parse . InValidBrainfuckText prop_renderParseInverse :: Vector Instruction -> Bool prop_renderParseInverse source = Right source == (Brainfuck.parse . Brainfuck.render $ source) --- | Compressing and Uncompressing should be inverse +-- | Compressing and Uncompressing should be inverse. The opposite must not be true, since `compress $ replicate 300 Increment` is `Add 44` prop_CompressUncompressInverse :: Vector Instruction -> Bool -prop_CompressUncompressInverse source = source == CompressedInstruction.uncompress . CompressedInstruction.compress +prop_CompressUncompressInverse source = source == (CompressedInstruction.uncompress . CompressedInstruction.compress) source return [] -- template haskell guard runQuickCheck :: IO Bool