Mercurial > urweb

comparison tests/sig_impl.lac @ 79:37847b504cc6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
More hardcore unification
author Adam Chlipala <adamc@hcoop.net>
date Sun, 29 Jun 2008 11:20:34 -0400
parents a6d45c6819c9
children
comparison
equal deleted inserted replaced
78:a6d45c6819c9 79:37847b504cc6
23 end 23 end
24 24
25 structure M : S = struct 25 structure M : S = struct
26 val x = fn v : int => {A = 0, B = "Hi"} 26 val x = fn v : int => {A = 0, B = "Hi"}
27 end 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