diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-08-02 11:15:32 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-08-02 11:15:32 -0400 |
| commit | 49c123050b2bc8a24f250fcc0d55e49484bc604c (patch) | |
| tree | 9dfcca82a4a6629190d044d10950f50872dbe52e /tests | |
| parent | 16d3d1c3a6d1e78faab91076c20b76fdcb90edb9 (diff) | |
Case through corify
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/caseMod.lac | 22 |
1 files changed, 19 insertions, 3 deletions
diff --git a/tests/caseMod.lac b/tests/caseMod.lac index 2c6fbc80..49bfdca8 100644 --- a/tests/caseMod.lac +++ b/tests/caseMod.lac @@ -9,11 +9,27 @@ datatype t = datatype M.t val g = fn x : t => case x of M.A => B | B => M.A structure N = struct - datatype t = C of t | D + datatype u = C of t | D end -val h = fn x : N.t => case x of N.C x => x | N.D => M.A +val h = fn x : N.u => case x of N.C x => x | N.D => M.A -datatype u = datatype N.t +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 page = fn x => <html><body> + {cdata (toString x)} +</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> |