Mercurial > urweb

comparison tests/modproj.lac @ 35:1dfbd9e3e790

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Proper selfification
author Adam Chlipala <adamc@hcoop.net>
date Tue, 17 Jun 2008 17:08:28 -0400
parents 44b5405e74c7
children 02f42e9a1825
comparison
equal deleted inserted replaced
34:44b5405e74c7 35:1dfbd9e3e790
1 signature S = sig 1 signature S1 = sig
2 type t 2 type t
3 val zero : t 3 val zero : t
4 end 4 end
5 structure S : S = struct 5 signature S2 = sig
6 type t = int
7 val zero : t
8 end
9 structure S = struct
6 type t = int 10 type t = int
7 val zero = 0 11 val zero = 0
8 end 12 end
13 structure S1 : S1 = S
14 structure S2 : S2 = S
9 15
10 type t = S.t 16 type t = S1.t
11 val zero : t = S.zero 17 val zero : t = S1.zero
18
19 type t = S2.t
20 val zero : int = S2.zero
21
22 structure T = S1
23 val zero : S1.t = T.zero