1 module { export = [main], features = [chr] }
2 import "StandardLibrary"
6 constraint V { x :: Double, y :: Double }
8 True => V { x = 1.0, y = 2.0 }
13 module { export = [main], features = [chr] }
14 import "StandardLibrary"
18 constraint V { x :: Double, y :: Double }
21 7:13-7:26: Field y not defined.
23 module { export = [main], features = [chr] }
25 import "StandardLibrary"
29 constraint V Double Double
30 True => V { x = 1.0, y = 2.0 }
32 8:13-8:35: Relation V does not define field names.
34 module { export = [main], features = [chr] }
36 import "StandardLibrary"
40 True => V { x = 1.0, y = 2.0 }
42 7:13-7:35: Relation must be declared if record syntax is used.