--- /dev/null
+module { export = [main], chr }
+import "StandardLibrary"
+
+main = ()
+ where
+ constraint V { x :: Double, y :: Double }
+ V { ?x } => print ?x
+ True => V { x = 1.0, y = 2.0 }
+--
+1.0
+()
+--
+module { export = [main], chr }
+import "StandardLibrary"
+
+main = ()
+ where
+ constraint V { x :: Double, y :: Double }
+ True => V { x = 1.0 }
+--
+7:13-7:26: Field y not defined.
+--
+module { export = [main], chr }
+
+import "StandardLibrary"
+
+main = ()
+ where
+ constraint V Double Double
+ True => V { x = 1.0, y = 2.0 }
+--
+8:13-8:35: Relation V does not define field names.
+--
+module { export = [main], chr }
+
+import "StandardLibrary"
+
+main = ()
+ where
+ True => V { x = 1.0, y = 2.0 }
+--
+7:13-7:35: Relation must be declared if record syntax is used.
\ No newline at end of file