diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-06-17 17:14:21 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-17 17:14:21 -0400 |
commit | 6429a3881ba22c1847b2881765b9ca64acf02327 (patch) | |
tree | 5198e6c2966f974d5c24e129718565c95723e0b3 /tests | |
parent | 4ca360231456a3b719e27462a74bb8340578daeb (diff) |
Beefier nested selfification test
Diffstat (limited to 'tests')
-rw-r--r-- | tests/modnested.lac | 9 |
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 |