Mercurial > urweb

comparison tests/modnested.lac @ 37:367f058aba23

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Beefier nested selfification test
author Adam Chlipala <adamc@hcoop.net>
date Tue, 17 Jun 2008 17:14:21 -0400
parents ca58de3cb72b
children 02f42e9a1825
comparison
equal deleted inserted replaced
36:ca58de3cb72b 37:367f058aba23
3 val x : t 3 val x : t
4 4
5 structure Q : sig 5 structure Q : sig
6 type q 6 type q
7 val y : q 7 val y : q
8
9 structure V : sig
10 type v
11 end
8 end 12 end
9 end 13 end
10 14
11 structure S = struct 15 structure S = struct
12 type t = int 16 type t = int
13 val x = 0 17 val x = 0
14 18
15 structure Q = struct 19 structure Q = struct
16 type q = float 20 type q = float
17 val y = 0.0 21 val y = 0.0
22
23 structure V = struct
24 type v = string
25 val hi = "Hi"
26 end
18 end 27 end
19 end 28 end
20 29
21 structure S1 = S 30 structure S1 = S
22 structure S2 : S = S 31 structure S2 : S = S