Mercurial > urweb

comparison tests/modnested.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/modnested.lac@02f42e9a1825
children
comparison
equal deleted inserted replaced
243:2b9dfaffb008 244:71bafe66dbe1
1 signature S = sig
2 type t
3 val x : t
4
5 structure Q : sig
6 type q
7 val y : q
8
9 structure V : sig
10 type v
11 end
12 end
13 end
14
15 structure S = struct
16 type t = int
17 val x = 0
18
19 structure Q = struct
20 type q = float
21 val y = 0.0
22
23 structure V = struct
24 type v = string
25 val hi = "Hi"
26 end
27 end
28 end
29
30 structure S1 = S
31 structure S2 : S = S
32 structure S3 = S2
33
34 val main = S3.Q.y