@@ -29,7 +29,8 @@ main = do
2929 ("x:=true where true and false", Right relationFalse),
3030 ("x:=true where true and true", Right relationTrue),
3131 ("x:=true=true", Right relationTrue),
32− ("x:=true=false", Right relationFalse)
32+ ("x:=true=false", Right relationFalse),
33+ ("x:=relation {b int, a char}; insert x relation{tuple{b int(5), a char(\"spam\")}}", mkRelation simpleCAttributes (HS.fromList [RelationTuple $ M.fromList [("a", StringAtom "spam"), ("b", IntAtom 5)]]))
3334 ]
3435 simpleAAttributes = M.fromList [("a", Attribute "a" IntAtomType)]
3536 simpleBAttributes = M.fromList [("d", Attribute "d" IntAtomType)]