From 1de91e0a04190ee7295ec2c17922275f1a6e884f Mon Sep 17 00:00:00 2001 From: gnumonik Date: Sat, 25 May 2024 00:12:34 -0400 Subject: [PATCH] more row syntax tests --- tests/purus/passing/RowSyntax/RowSyntax.purs | 11 +++++++++++ 1 file changed, 11 insertions(+) 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]