summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
Diffstat (limited to 'tests')
-rw-r--r--tests/datatypeMod.lac8
1 files changed, 8 insertions, 0 deletions
diff --git a/tests/datatypeMod.lac b/tests/datatypeMod.lac
index 558275c8..e6e321f4 100644
--- a/tests/datatypeMod.lac
+++ b/tests/datatypeMod.lac
@@ -2,7 +2,15 @@ structure M : sig datatype t = A | B end = struct
datatype t = A | B
end
+val a = M.A
+
datatype u = datatype M.t
val a : M.t = A
val a2 : u = a
+
+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