* Tests for domain checks.

This commit is contained in:
Eelco Dolstra 2006-07-24 15:50:29 +00:00
parent 57751fdb55
commit b545c669a0
3 changed files with 15 additions and 0 deletions

View file

@ -0,0 +1,7 @@
let {
f = {x, y : ["baz" "bat"]}: x + y;
body = f {x = "foo"; y = "bar";};
}

View file

@ -0,0 +1 @@
Str("foobar")

View file

@ -0,0 +1,7 @@
let {
f = {x, y : ["baz" "bar" "bat"]}: x + y;
body = f {x = "foo"; y = "bar";};
}