module { export = [main], features = [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], features = [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], features = [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], features = [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.