summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-06-12 17:35:51 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-06-12 17:35:51 -0400
commited9e3cb10161dde86a87894155f2f74c60d28c4a (patch)
tree6720f063434c521f4004809f3a557aa8b86a23ce /tests
parent2355b20a32d8ed4924cee84a44831061b2b49b49 (diff)
Matching values in signatures
Diffstat (limited to 'tests')
-rw-r--r--tests/modules.lac31
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