Mercurial > urweb

comparison tests/strdupe.lac @ 64:d609820c5834

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Proper hiding of shadowed bindings in principal signatures
author Adam Chlipala <adamc@hcoop.net>
date Thu, 26 Jun 2008 08:54:49 -0400
parents c5a503ad0d8c
children
comparison
equal deleted inserted replaced
63:c5a503ad0d8c 64:d609820c5834
1 val x = 0 1 val x = 0
2 val x = 1 2 val x = x
3 3
4 type t = int 4 type t = int
5 (*type t = int*) 5 type t = { A : t }
6 6
7 signature S = sig end 7 signature S = sig end
8 (*signature S = sig end*) 8 signature S = sig type t structure M : S end
9 9
10 structure S = struct end 10 structure S = struct end
11 (*structure S = struct end*) 11 structure S : S = struct type t = int structure M = S end