From ed9e3cb10161dde86a87894155f2f74c60d28c4a Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 12 Jun 2008 17:35:51 -0400 Subject: Matching values in signatures --- tests/modules.lac | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) (limited to 'tests/modules.lac') 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 -- cgit v1.2.3