summaryrefslogtreecommitdiff
path: root/tests/modproj.lac
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-06-17 17:08:28 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-06-17 17:08:28 -0400
commit3fc43e22c438136877ca534fa6f75236c10350c8 (patch)
treeb13b4acadebcd76da6644e143fe8e872a75cb692 /tests/modproj.lac
parentb9406323848c150f5a8562ad206916c446529d65 (diff)
Proper selfification
Diffstat (limited to 'tests/modproj.lac')
-rw-r--r--tests/modproj.lac20
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