Add assertions
commit15ba03ee25f5243ed61172c75e102a29decc8b9b
authorPhil Freeman <paf31@cantab.net>
dateWed 26 Aug 2015, 09:43 (11 years ago)
parent4babaad
examples/passing/OverlappingInstances.purs+1−1
@@ -10,4 +10,4 @@ instance showA1 :: Show A where
1010instance showA2 :: Show A where
1111 show A = "Instance 2"
1212
13−main = Control.Monad.Eff.Console.log $ show A
13+main = Test.Assert.assert $ show A == "Instance 1"
examples/passing/OverlappingInstances2.purs+1−1
@@ -20,4 +20,4 @@ instance ordA :: Ord A where
2020test :: forall a. (Ord a) => a -> a -> String
2121test x y = show $ x == y
2222
23−main = Control.Monad.Eff.Console.log $ test A B
23+main = Test.Assert.assert $ test A B == "false"
examples/passing/OverlappingInstances3.purs+2
@@ -12,3 +12,5 @@ test :: forall a. (Foo a) => a -> a
1212test a = a
1313
1414test1 = test 0.0
15+
16+main = Test.Assert.assert (test1 == 0.0)