Mercurial > urweb

comparison tests/modules.lac @ 31:1c91c5e6840f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Simple signature matching
author Adam Chlipala <adamc@hcoop.net>
date Thu, 12 Jun 2008 17:16:20 -0400
parents
children 0ff8c2728634
comparison
equal deleted inserted replaced
30:e6ccf961d8a3 31:1c91c5e6840f
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*)