summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--tests/modnested.lac23
1 files changed, 23 insertions, 0 deletions
diff --git a/tests/modnested.lac b/tests/modnested.lac
new file mode 100644
index 00000000..93ef2327
--- /dev/null
+++ b/tests/modnested.lac
@@ -0,0 +1,23 @@
+signature S = sig
+ type t
+ val x : t
+
+ structure Q : sig
+ type q
+ val y : q
+ end
+end
+
+structure S = struct
+ type t = int
+ val x = 0
+
+ structure Q = struct
+ type q = float
+ val y = 0.0
+ end
+end
+
+structure S1 = S
+structure S2 : S = S
+structure S3 = S2