@@ -1,4 +1,4 @@
1−module Test.Eq (tests) where
1+module Test.Equality (tests) where
22
33import ElmTest.Assertion (..)
44import ElmTest.Test (..)
@@ -8,15 +8,16 @@ data Different = A String
88
99tests : Test
1010tests =
11− let diff_tests = suite "sum type eq"
12− [ test "As eq" <| assert (A "a" == A "a")
13− , 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 . not <| (B [1] == A "a")
16− ]
17− record_tests = suite "record type eq"
18− [ test "empty same" <| assert ({} == {})
19− , test "ctor same" <| assert ({ctor = Just 3} == {ctor = Just 3})
20− , test "ctor diff" . assert . not <| ({ctor = Just 3} == {ctor = Nothing})
21− ]
22− in suite "Equality Tests" [diff_tests, record_tests]
11+ let diffTests = suite "ADT equality"
12+ [ test "As eq" <| assert (A "a" == A "a")
13+ , 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 . not <| (B [1] == A "a")
16+ ]
17+ recordTests = suite "Record equality"
18+ [ test "empty same" <| assert ({} == {})
19+ , test "ctor same" <| assert ({ctor = Just 3} == {ctor = Just 3})
20+ , test "ctor diff" . assert . not <| ({ctor = Just 3} == {ctor = Nothing})
21+ ]
22+ in
23+ suite "Equality Tests" [diffTests, recordTests]