Mercurial > urweb

comparison tests/modnested.lac @ 36:ca58de3cb72b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Nested selfification test
author Adam Chlipala <adamc@hcoop.net>
date Tue, 17 Jun 2008 17:11:32 -0400
parents
children 367f058aba23
comparison
equal deleted inserted replaced
35:1dfbd9e3e790 36:ca58de3cb72b
1 signature S = sig
2 type t
3 val x : t
4
5 structure Q : sig
6 type q
7 val y : q
8 end
9 end
10
11 structure S = struct
12 type t = int
13 val x = 0
14
15 structure Q = struct
16 type q = float
17 val y = 0.0
18 end
19 end
20
21 structure S1 = S
22 structure S2 : S = S
23 structure S3 = S2