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/th/TH_TyInstWhere1.hs | |
| parent | a26bf928d274f57c7c0c95df23c769244e90633e (diff) | |
| download | haskell-c30744cc4fcd3a048dab246058f4f6831f38d798.tar.gz | |
Updates to support closed type families.
Diffstat (limited to 'testsuite/tests/th/TH_TyInstWhere1.hs')
| -rw-r--r-- | testsuite/tests/th/TH_TyInstWhere1.hs | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/testsuite/tests/th/TH_TyInstWhere1.hs b/testsuite/tests/th/TH_TyInstWhere1.hs index 8352d4bf01..d8c07d7642 100644 --- a/testsuite/tests/th/TH_TyInstWhere1.hs +++ b/testsuite/tests/th/TH_TyInstWhere1.hs @@ -2,9 +2,7 @@ module TH_TyInstWhere1 where -type family F (a :: k) (b :: k) :: Bool - -$([d| type instance where +$([d| type family F (a :: k) (b :: k) :: Bool where F a a = True F a b = False |]) |