Mercurial > urweb

comparison tests/modules.ur @ 244:71bafe66dbe1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Laconic -> Ur
author Adam Chlipala <adamc@hcoop.net>
date Sun, 31 Aug 2008 08:32:18 -0400
parents tests/modules.lac@535c324f0b35
children
comparison
equal deleted inserted replaced
243:2b9dfaffb008 244:71bafe66dbe1
1 signature A = sig end
2 structure A = struct end
3 structure Ao : A = A
4
5
6 structure B = struct
7 type t = int
8 end
9 structure Bo0 : sig end = B
10 structure BoA : A = B
11
12 signature B1 = sig
13 type t
14 end
15 structure Bo1 : B1 = B
16 (*structure AoB1 : B1 = A*)
17
18 signature B2 = sig
19 type t = int
20 end
21 structure Bo2 : B2 = B
22
23
24 structure C = struct
25 type t = float
26 end
27 structure CoB1 : B1 = 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
60
61
62 structure N = struct
63 type t = string
64 structure N2 = struct
65 type t = int
66 val zero = 0
67 end
68 val x = "Hi"
69 end
70 signature N = sig
71 structure N2 : NAT
72 type t
73 val x : t
74 end
75 structure No : N = N