Proper selfification

1 files changed, 16 insertions, 4 deletions

diff --git a/tests/modproj.lac b/tests/modproj.lac
index ef2364d1..31d70d5b 100644
--- a/tests/modproj.lac
+++ b/tests/modproj.lac
@@ -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 = S1.t
+val zero : t = S1.zero
+
+type t = S2.t
+val zero : int = S2.zero
 
-type t = S.t
-val zero : t = S.zero
+structure T = S1
+val zero : S1.t = T.zero