summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-06-17 17:14:21 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-06-17 17:14:21 -0400
commit6429a3881ba22c1847b2881765b9ca64acf02327 (patch)
tree5198e6c2966f974d5c24e129718565c95723e0b3 /tests
parent4ca360231456a3b719e27462a74bb8340578daeb (diff)
Beefier nested selfification test
Diffstat (limited to 'tests')
-rw-r--r--tests/modnested.lac9
1 files changed, 9 insertions, 0 deletions
diff --git a/tests/modnested.lac b/tests/modnested.lac
index 93ef2327..c8a21b1d 100644
--- a/tests/modnested.lac
+++ b/tests/modnested.lac
@@ -5,6 +5,10 @@ signature S = sig
structure Q : sig
type q
val y : q
+
+ structure V : sig
+ type v
+ end
end
end
@@ -15,6 +19,11 @@ structure S = struct
structure Q = struct
type q = float
val y = 0.0
+
+ structure V = struct
+ type v = string
+ val hi = "Hi"
+ end
end
end