Test datatypes whose constructor's record field contains multiple type variables
@@ -54,6 +54,7 @@ Algebraic Datatype Declarations
data N
data N = N
data N = N { a :: Int }
+data N = N { a, b :: Int }
---
@@ -64,4 +65,7 @@ data N = N { a :: Int }
(constructors (constructor_identifier)))
(algebraic_datatype
(simple_type (constructor_identifier))
- (constructors (constructor_identifier) (fields (variable_identifier) (constructor_identifier)))))
+ (constructors (constructor_identifier) (fields (variable_identifier) (constructor_identifier))))
+ (algebraic_datatype
+ (simple_type (constructor_identifier))
+ (constructors (constructor_identifier) (fields (variable_identifier) (variable_identifier) (constructor_identifier)))))
