Mercurial > urweb
changeset 37:367f058aba23
Beefier nested selfification test
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 17 Jun 2008 17:14:21 -0400 |
parents | ca58de3cb72b |
children | d16ef24de78b |
files | tests/modnested.lac |
diffstat | 1 files changed, 9 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- 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