diff options
Diffstat (limited to 'tests/datatypeMod.lac')
-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> |