diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-06-22 20:11:59 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-22 20:11:59 -0400 |
| commit | 55ac3f4f2af733079401d83e98431e6d11b0fc59 (patch) | |
| tree | 0ec02a2bc195bdd9ac6a3e3c5c2d22589cf02a03 /tests/strdupe.lac | |
| parent | 5d0d8cc5212faf5e2433fa2e9b6f05aa195e45ac (diff) | |
Signature duplicate entry checking for principal signatures
Diffstat (limited to 'tests/strdupe.lac')
| -rw-r--r-- | tests/strdupe.lac | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/tests/strdupe.lac b/tests/strdupe.lac new file mode 100644 index 00000000..834a48af --- /dev/null +++ b/tests/strdupe.lac @@ -0,0 +1,11 @@ +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*) |