diff options
author | 2008-06-12 17:35:51 -0400 | |
---|---|---|
committer | 2008-06-12 17:35:51 -0400 | |
commit | ed9e3cb10161dde86a87894155f2f74c60d28c4a (patch) | |
tree | 6720f063434c521f4004809f3a557aa8b86a23ce /tests/modules.lac | |
parent | 2355b20a32d8ed4924cee84a44831061b2b49b49 (diff) |
Matching values in signatures
Diffstat (limited to 'tests/modules.lac')
-rw-r--r-- | tests/modules.lac | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/tests/modules.lac b/tests/modules.lac index 9d5fbc90..1bdc685c 100644 --- a/tests/modules.lac +++ b/tests/modules.lac @@ -26,3 +26,34 @@ structure C = struct end structure CoB1 : B1 = C (*structure CoB2 : B2 = C*) + + +signature NAT = sig + type t + val zero : t +end +structure Nat : NAT = struct + type t = int + val zero = 0 +end +(*structure NotNat : NAT = struct + type t = int + val zero = 0.0 +end*) +(*structure NotNat : NAT = struct + val zero = 0 +end*) + + +signature WOBBLE = sig + type t + type s +end +structure Wobble1 = struct + type t = int + type s = float +end +structure Wobble2 = struct + type s = int + type t = float +end |