diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-06-17 17:08:28 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-17 17:08:28 -0400 |
commit | 3fc43e22c438136877ca534fa6f75236c10350c8 (patch) | |
tree | b13b4acadebcd76da6644e143fe8e872a75cb692 /tests | |
parent | b9406323848c150f5a8562ad206916c446529d65 (diff) |
Proper selfification
Diffstat (limited to 'tests')
-rw-r--r-- | tests/modproj.lac | 20 |
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 |