diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-07-01 11:39:14 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-01 11:39:14 -0400 |
| commit | d28cad7cc5881018717c7e875c99c51469da9d44 (patch) | |
| tree | 9366873b02b595e0ec394a047c66f1db6cc375d1 /tests | |
| parent | 43116f69ce9330eb09d42a25d4afc746e7c3f3ef (diff) | |
Threading disjointness conditions through Elaborate
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/disjoint.lac | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/disjoint.lac b/tests/disjoint.lac index 805b9674..4aad3db1 100644 --- a/tests/disjoint.lac +++ b/tests/disjoint.lac @@ -1 +1 @@ -con c = [A = ()] ++ [A = ()] +con c = fn x :: Name => [x, A] |