commit 33be5d189128ae5e6784f8aafd766a5b78143dcd parent 7cc5346f3a5d9737af6acbef041b90aa34c81bb4 Author: Jared Tobin <jared@jtobin.io> Date: Fri, 28 Feb 2020 18:45:03 +0400 test: add internal representation tests for ~zod Diffstat:
M | test/Co/Tests/Unit.hs | | | 11 | +++++++++++ |
1 file changed, 11 insertions(+), 0 deletions(-)
diff --git a/test/Co/Tests/Unit.hs b/test/Co/Tests/Unit.hs @@ -67,3 +67,14 @@ tests = do Co.renderPatq (Co.patq big_128_02) `shouldBe` patq_128_02 + describe "parsePatp" $ + it "yields an equivalent internal representation with patp for ~zod" $ do + let pzod = Co.parsePatp "~zod" + ezod = Co.patp 0 + fmap (== ezod) pzod `shouldBe` Right True + + describe "parsePatq" $ + it "yields an equivalent internal representation with patq for ~zod" $ do + let pzod = Co.parsePatq "~zod" + ezod = Co.patq 0 + fmap (== ezod) pzod `shouldBe` Right True