Mercurial > urweb

comparison tests/modules.lac @ 33:535c324f0b35

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Matching structures in signatures
author Adam Chlipala <adamc@hcoop.net>
date Thu, 12 Jun 2008 17:41:32 -0400
parents 0ff8c2728634
children
comparison
equal deleted inserted replaced
32:0ff8c2728634 33:535c324f0b35
55 end 55 end
56 structure Wobble2 = struct 56 structure Wobble2 = struct
57 type s = int 57 type s = int
58 type t = float 58 type t = float
59 end 59 end
60
61
62 structure N = struct
63 type t = string
64 structure N2 = struct
65 type t = int
66 val zero = 0
67 end
68 val x = "Hi"
69 end
70 signature N = sig
71 structure N2 : NAT
72 type t
73 val x : t
74 end
75 structure No : N = N