# HG changeset patch # User Adam Chlipala # Date 1213737261 14400 # Node ID 367f058aba23573a71cc58249191720e4521179a # Parent ca58de3cb72b4ee661af5c72886c7100307b4d69 Beefier nested selfification test diff -r ca58de3cb72b -r 367f058aba23 tests/modnested.lac --- a/tests/modnested.lac Tue Jun 17 17:11:32 2008 -0400 +++ b/tests/modnested.lac Tue Jun 17 17:14:21 2008 -0400 @@ -5,6 +5,10 @@ structure Q : sig type q val y : q + + structure V : sig + type v + end end end @@ -15,6 +19,11 @@ structure Q = struct type q = float val y = 0.0 + + structure V = struct + type v = string + val hi = "Hi" + end end end