--- a/tests/modproj.lac	Tue Jun 17 16:38:54 2008 -0400
+++ b/tests/modproj.lac	Tue Jun 17 17:08:28 2008 -0400
@@ -1,11 +1,23 @@
-signature S = sig
+signature S1 = sig
         type t
         val zero : t
 end
-structure S : S = struct
+signature S2 = sig
+        type t = int
+        val zero : t
+end
+structure S = struct
         type t = int
         val zero = 0
 end
+structure S1 : S1 = S
+structure S2 : S2 = S
 
-type t = S.t
-val zero : t = S.zero
+type t = S1.t
+val zero : t = S1.zero
+
+type t = S2.t
+val zero : int = S2.zero
+
+structure T = S1
+val zero : S1.t = T.zero