@@ -3,21 +3,22 @@ module Test.Equality (tests) where
3import ElmTest.Assertion (..)
3import ElmTest.Assertion (..)
4import ElmTest.Test (..)
4import ElmTest.Test (..)
6−data Different = A String
6+data Different
9tests : Test
10tests : Test
11 let diffTests = suite "ADT equality"
12 let diffTests = suite "ADT equality"
12 [ test "As eq" <| assert (A "a" == A "a")
13 [ test "As eq" <| assert (A "a" == A "a")
13 , test "Bs eq" <| assert (B [1] == B [1])
14 , test "Bs eq" <| assert (B [1] == B [1])
14− , test "A left neq" <| assert . not <| (A "a" == B [1])
15+ , test "A left neq" <| assert (A "a" /= B [1])
15− , test "A left neq" <| assert . not <| (B [1] == A "a")
16+ , test "A left neq" <| assert (B [1] /= A "a")
17 recordTests = suite "Record equality"
18 recordTests = suite "Record equality"
18 [ test "empty same" <| assert ({} == {})
19 [ test "empty same" <| assert ({} == {})
19− , test "ctor same" <| assert ({ctor = Just 3} == {ctor = Just 3})
20+ , test "ctor same" <| assert ({ctor = Just 3} == {ctor = Just 3})
20− , test "ctor diff" . assert . not <| ({ctor = Just 3} == {ctor = Nothing})
21+ , test "ctor diff" <| assert ({ctor = Just 3} /= {ctor = Nothing})
23 suite "Equality Tests" [diffTests, recordTests]
24 suite "Equality Tests" [diffTests, recordTests]