(* Evaluation order *)

(let val nil = [1,2] and _ =
     raise Io{function = "WRONG",  name = "WRONG", cause = Fail "WRONG"}
 in "DEAD" end)
handle Bind => "OK" | _ => "WRONG";
((fn 0 => "WRONG") 1)
handle Match => "OK" | _ => "WRONG";

(map (raise Io{function = "OK", name = "OK", cause = Fail "OK"})
 (raise Io{function = "WRONG", name = "WRONG", cause = Fail "WRONG"}))
handle Io x => [x];

(raise Io{function = "OK", name = "OK", cause = Fail "OK"},
 raise Io{function = "WRONG", name = "WRONG", cause = Fail "WRONG"})
handle Io x => (x, x);

{bbb = raise Io{function = "OK", name = "OK", cause = Fail "OK"},
 aaa = raise Io{function = "WRONG", name = "WRONG", cause = Fail "WRONG"}}
handle Io x => {aaa=x, bbb=x};

fun pr s = (TextIO.output (TextIO.stdOut, s); s);
fun x7 a b c d e f g = (a, b, c, d, e, f, g);
x7 "1" (pr "2") "3" (pr "4") "5" (pr "6") "7";

datatype ('a, 'b) AB = NILab | CONSab of {a: 'a, b: 'b};
CONSab {a=pr "a", b=pr "b"};
CONSab {b=pr "b", a=pr "a"};

(* Top-level bindings *)

val f = fn x => x;
val f = fn 0 => 1 | x => x * f(x-1);
if f 4 = 12 then "OK" else "WRONG";