more row syntax tests

mlabs-haskell · May 25, 2024 · 1de91e0 · 1de91e0
1 parent 7f10e5a
commit 1de91e0
Showing 1 changed file with 11 additions and 0 deletions.
diff --git 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]