From 6429a3881ba22c1847b2881765b9ca64acf02327 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 17 Jun 2008 17:14:21 -0400 Subject: Beefier nested selfification test --- tests/modnested.lac | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'tests/modnested.lac') 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 -- cgit v1.2.3