* More test coverage.

This commit is contained in:
Eelco Dolstra 2006-03-01 16:26:13 +00:00
parent 80b5c71684
commit fa95f4be3f
7 changed files with 15 additions and 0 deletions

View file

@ -0,0 +1,5 @@
let {
x = arg: assert arg == "y"; 123;
body = x "x";
}

View file

@ -0,0 +1 @@
Int(987)

View file

@ -0,0 +1,5 @@
let {
as = { x = 123; y = 456; } // { z = 789; } // { z = 987; };
body = if as ? a then as.a else assert as ? z; as.z;
}

View file

@ -0,0 +1 @@
Int(3)

View file

@ -0,0 +1 @@
if "foo" != "f" + "oo" then 1 else if false then 2 else 3

View file

@ -0,0 +1 @@
Int(1)

View file

@ -0,0 +1 @@
assert !false && (true || false) -> true; 1