Mercurial > urweb

diff 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
line wrap: on
line diff
--- a/tests/strdupe.lac	Sun Jun 22 20:11:59 2008 -0400
+++ b/tests/strdupe.lac	Thu Jun 26 08:54:49 2008 -0400
@@ -1,11 +1,11 @@
 val x = 0
-val x = 1
+val x = x
 
 type t = int
-(*type t = int*)
+type t = { A : t }
 
 signature S = sig end
-(*signature S = sig end*)
+signature S = sig type t structure M : S end
 
 structure S = struct end
-(*structure S = struct end*)
+structure S : S = struct type t = int structure M = S end