Fixes to Chapter 4 tests (kowainik#28)

simincai1996 · Sep 30, 2020 · f3cc708 · f3cc708
1 parent efc407e
commit f3cc708
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/test/Test/Chapter4.hs b/test/Test/Chapter4.hs
@@ -42,9 +42,9 @@ chapter4normal = describe "Chapter4Normal" $ do
         it "reward <*> trap" $
             Reward not <*> Trap 42 `shouldBe` Trap 42
         it "reward <*> reward - same type" $
-            Reward not <*> Reward True `shouldBe` Trap False
+            Reward not <*> Reward True `shouldBe` (Reward False :: Secret String Bool)
         it "reward <*> reward" $
-            Reward odd <*> Reward 42 `shouldBe` Trap False
+            Reward odd <*> Reward 42 `shouldBe` (Reward False :: Secret String Bool)
     describe "Task6: Monad for Secret" $ do
         it "Trap" $ (Trap "aaar" >>= halfSecret) `shouldBe` Trap "aaar"
         it "Reward even" $ (Reward 42 >>= halfSecret) `shouldBe` Reward 21