Mercurial > urweb

comparison tests/sig_impl.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/sig_impl.lac@37847b504cc6
children
comparison
equal deleted inserted replaced
243:2b9dfaffb008 244:71bafe66dbe1
1 signature S = sig
2 type t
3 val x : t
4 end
5
6 structure M : S = struct
7 val x = 0
8 end
9
10 signature S = sig
11 con r :: {Type}
12 val x : $r
13 end
14
15 structure M : S = struct
16 val x = {A = 0, B = "Hi"}
17 end
18
19 signature S = sig
20 type t
21 con r :: {Type}
22 val x : t -> $r
23 end
24
25 structure M : S = struct
26 val x = fn v : int => {A = 0, B = "Hi"}
27 end
28
29 signature S = sig
30 con nm :: Name
31 con t :: Type
32 con r :: {Type}
33 val x : $([nm = t] ++ r)
34 end
35
36 structure M : S = struct
37 val x = {A = 0, B = "Hi"}
38 end
39
40 signature S = sig
41 con nm :: Name
42 con r :: {Type}
43 val x : $([nm = int] ++ r)
44 end
45
46 structure M : S = struct
47 val x = {A = 0, B = "Hi"}
48 end
49
50 signature S = sig
51 con nm :: Name
52 con r :: {Type}
53 val x : $([nm = string] ++ r)
54 end
55
56 structure M : S = struct
57 val x = {A = 0, B = "Hi"}
58 end