From 49c123050b2bc8a24f250fcc0d55e49484bc604c Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 2 Aug 2008 11:15:32 -0400 Subject: Case through corify --- tests/caseMod.lac | 22 +++++++++++++++++++--- 1 file changed, 19 insertions(+), 3 deletions(-) (limited to 'tests') 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 => + {cdata (toString x)} + + +val main : unit -> page = fn () => +

C A

C B

+ -- cgit v1.2.3