diff tests/modnested.lac @ 37:367f058aba23

Beefier nested selfification test
author Adam Chlipala <adamc@hcoop.net>
date Tue, 17 Jun 2008 17:14:21 -0400
parents ca58de3cb72b
children 02f42e9a1825
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