Mercurial > urweb

comparison tests/modules.lac @ 32:0ff8c2728634

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Matching values in signatures
author Adam Chlipala <adamc@hcoop.net>
date Thu, 12 Jun 2008 17:35:51 -0400
parents 1c91c5e6840f
children 535c324f0b35
comparison
equal deleted inserted replaced
31:1c91c5e6840f 32:0ff8c2728634
24 structure C = struct 24 structure C = struct
25 type t = float 25 type t = float
26 end 26 end
27 structure CoB1 : B1 = C 27 structure CoB1 : B1 = C
28 (*structure CoB2 : B2 = C*) 28 (*structure CoB2 : B2 = C*)
29
30
31 signature NAT = sig
32 type t
33 val zero : t
34 end
35 structure Nat : NAT = struct
36 type t = int
37 val zero = 0
38 end
39 (*structure NotNat : NAT = struct
40 type t = int
41 val zero = 0.0
42 end*)
43 (*structure NotNat : NAT = struct
44 val zero = 0
45 end*)
46
47
48 signature WOBBLE = sig
49 type t
50 type s
51 end
52 structure Wobble1 = struct
53 type t = int
54 type s = float
55 end
56 structure Wobble2 = struct
57 type s = int
58 type t = float
59 end