diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2013-06-21 13:58:24 +0100 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2013-06-21 13:58:24 +0100 |
| commit | c30744cc4fcd3a048dab246058f4f6831f38d798 (patch) | |
| tree | 6d4d0b1f5134e1a8a23af75c0bbc2d6fa90427f2 /testsuite/tests/indexed-types/should_fail/Overlap7.hs | |
| parent | a26bf928d274f57c7c0c95df23c769244e90633e (diff) | |
| download | haskell-c30744cc4fcd3a048dab246058f4f6831f38d798.tar.gz | |
Updates to support closed type families.
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/Overlap7.hs')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/Overlap7.hs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/Overlap7.hs b/testsuite/tests/indexed-types/should_fail/Overlap7.hs index 352103c4c0..a6988f4e34 100644 --- a/testsuite/tests/indexed-types/should_fail/Overlap7.hs +++ b/testsuite/tests/indexed-types/should_fail/Overlap7.hs @@ -2,8 +2,7 @@ module Overlap7 where -type family F a b -type instance where +type family F a b where F Int a = Int F a b = Bool type instance F a Int = Int |