Mercurial > urweb
view tests/strdupe.lac @ 63:c5a503ad0d8c
Signature duplicate entry checking for principal signatures
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 22 Jun 2008 20:11:59 -0400 |
parents | |
children | d609820c5834 |
line wrap: on
line source
val x = 0 val x = 1 type t = int (*type t = int*) signature S = sig end (*signature S = sig end*) structure S = struct end (*structure S = struct end*)