diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-07-29 13:16:21 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-29 13:16:21 -0400 |
commit | 4b511aa7ed5b36cb0a9adb898f881d6db0a89996 (patch) | |
tree | 116bd8e11b341df6999ea79432cb4386a48ca9fc /tests | |
parent | 4cbbb0bb751dd9e9dae9d6b621e563ee5c7ae1b4 (diff) |
Datatypes through corify
Diffstat (limited to 'tests')
-rw-r--r-- | tests/datatypeMod.lac | 16 |
1 files changed, 12 insertions, 4 deletions
diff --git a/tests/datatypeMod.lac b/tests/datatypeMod.lac index b5f62166..f82b0098 100644 --- a/tests/datatypeMod.lac +++ b/tests/datatypeMod.lac @@ -2,19 +2,27 @@ structure M : sig datatype t = A | B end = struct datatype t = A | B end -val a = M.A +val ac = M.A datatype u = datatype M.t -val a : M.t = A -val a2 : u = a +val ac : M.t = A +val a2 : u = ac structure M2 = M structure M3 : sig datatype t = datatype M.t end = M2 structure M4 : sig datatype t = datatype M.t end = M -val b : M3.t = M4.B +val bc : M3.t = M4.B structure Ma : sig type t end = M structure Magain : sig datatype t = A | B end = M + +val page : M.t -> page = fn x => <html><body> + Hi. +</body></html> + +val main : unit -> page = fn () => <html><body> + <a link={page a2}>Link</a> +</body></html> |