diff --git a/tests/purus/passing/RowSyntax/RowSyntax.purs b/tests/purus/passing/RowSyntax/RowSyntax.purs index efc83dc7..841866b3 100644 --- a/tests/purus/passing/RowSyntax/RowSyntax.purs +++ b/tests/purus/passing/RowSyntax/RowSyntax.purs @@ -1,5 +1,12 @@ module RowSyntax where +type OneRow :: Row Type +type OneRow = [one :: Int] + +type SomeRow :: Row Type +type SomeRow = [inn'it :: Int, stirring :: String] + + class IsARow (r :: Row Type) instance IsARow [hello :: String] @@ -13,3 +20,7 @@ aRowProxy = RowProxy moreFields :: RowProxy [field1 :: Int, field2 :: String, field3 :: Boolean] moreFields = RowProxy + +type TestRecord1 = {foob :: String, ar :: Int} + +type TestRecord2 = Record [foob :: String, ar :: Int]