diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-08-31 08:32:18 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-08-31 08:32:18 -0400 |
| commit | 447b60afccc89ef18d8f92a260dd1fcdf735898e (patch) | |
| tree | 93d1ffca9832084286525896afc4c17eaf5d23f4 /tests/caseMod.ur | |
| parent | 508290e29047e068b9db4b02485fefd9e3ced81c (diff) | |
Laconic -> Ur
Diffstat (limited to 'tests/caseMod.ur')
| -rw-r--r-- | tests/caseMod.ur | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/tests/caseMod.ur b/tests/caseMod.ur new file mode 100644 index 00000000..0a870160 --- /dev/null +++ b/tests/caseMod.ur @@ -0,0 +1,38 @@ +structure M = struct + datatype t = A | B +end + +val f = fn x : M.t => case x of M.A => M.B | M.B => M.A + +datatype t = datatype M.t + +val g = fn x : t => case x of M.A => B | B => M.A + +structure N = struct + datatype u = C of t | D +end + +val h = fn x : N.u => case x of N.C x => x | N.D => M.A + +datatype u = datatype N.u + +val i = fn x : u => case x of N.C x => x | D => M.A + +val toString = fn x => + case x of + C A => "C A" + | C B => "C B" + | D => "D" + +val rec page = fn x => <html><body> + {cdata (toString x)}<br/> + <br/> + + <a link={page x}>Again!</a> +</body></html> + +val main : unit -> page = fn () => <html><body> + <li> <a link={page (C A)}>C A</a></li> + <li> <a link={page (C B)}>C B</a></li> + <li> <a link={page D}>D</a></li> +</body></html> |