Mercurial > urweb

comparison tests/datatypeMod.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/datatypeMod.lac@80192edca30d
children
comparison
equal deleted inserted replaced
243:2b9dfaffb008 244:71bafe66dbe1
1 structure M : sig datatype t = A | B end = struct
2 datatype t = A | B
3 end
4
5 val ac = M.A
6
7 datatype u = datatype M.t
8
9 val ac : M.t = A
10 val a2 : u = ac
11
12 structure M2 = M
13 structure M3 : sig datatype t = datatype M.t end = M2
14 structure M4 : sig datatype t = datatype M.t end = M
15
16 val bc : M3.t = M4.B
17
18 structure Ma : sig type t end = M
19
20 structure Magain : sig datatype t = A | B end = M
21
22 val page : M.t -> page = fn x => <html><body>
23 Hi.
24 </body></html>
25
26 val main : unit -> page = fn () => <html><body>
27 <a link={page a2}>Link</a>
28 </body></html>