git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Add tests for records and nested types
8838396Phil Freeman
examples/passing/Deriving.purs+6
@@ -9,6 +9,10 @@ derive instance eqX :: Eq X
9
9
10derive instance ordX :: Ord X
10derive instance ordX :: Ord X
11
11
12+newtype Z = Z { left :: X, right :: X }
13+
14+derive instance eqZ :: Eq Z
15+
12main = do
16main = do
13 assert $ X 0 == X 0
17 assert $ X 0 == X 0
14 assert $ X 0 /= X 1
18 assert $ X 0 /= X 1
@@ -17,3 +21,5 @@ main = do
17 assert $ X 0 < X 1
21 assert $ X 0 < X 1
18 assert $ X 0 < Y "Foo"
22 assert $ X 0 < Y "Foo"
19 assert $ Y "Bar" < Y "Baz"
23 assert $ Y "Bar" < Y "Baz"
24+ assert $ z == z where
25+ z = Z { left: X 0, right: Y "Foo" }