diff options
| author | Jan Stolarek <jan.stolarek@p.lodz.pl> | 2014-07-11 13:54:45 +0200 |
|---|---|---|
| committer | Jan Stolarek <jan.stolarek@p.lodz.pl> | 2015-09-03 05:55:15 +0200 |
| commit | 374457809de343f409fbeea0a885877947a133a2 (patch) | |
| tree | a354d0f4ddb6c32e6c85b853071d2107f6b8398c /testsuite/tests/th/TH_RichKinds2.hs | |
| parent | bd16e0bc6af13f1347235782935f7dcd40b260e2 (diff) | |
| download | haskell-374457809de343f409fbeea0a885877947a133a2.tar.gz | |
Injective type families
For details see #6018, Phab:D202 and the wiki page:
https://ghc.haskell.org/trac/ghc/wiki/InjectiveTypeFamilies
This patch also wires-in Maybe data type and updates haddock submodule.
Test Plan: ./validate
Reviewers: simonpj, goldfire, austin, bgamari
Subscribers: mpickering, bgamari, alanz, thomie, goldfire, simonmar,
carter
Differential Revision: https://phabricator.haskell.org/D202
GHC Trac Issues: #6018
Diffstat (limited to 'testsuite/tests/th/TH_RichKinds2.hs')
| -rw-r--r-- | testsuite/tests/th/TH_RichKinds2.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/th/TH_RichKinds2.hs b/testsuite/tests/th/TH_RichKinds2.hs index b804688b6a..c77988c3bc 100644 --- a/testsuite/tests/th/TH_RichKinds2.hs +++ b/testsuite/tests/th/TH_RichKinds2.hs @@ -12,13 +12,13 @@ import Data.Char import Data.List import Language.Haskell.TH -$(return [FamilyD TypeFam (mkName "Map") [KindedTV (mkName "f") +$(return [OpenTypeFamilyD (mkName "Map") [KindedTV (mkName "f") (AppT (AppT ArrowT (VarT (mkName "k1"))) (VarT (mkName "k2"))), KindedTV (mkName "l") (AppT ListT (VarT (mkName "k1")))] - (Just (AppT ListT (VarT (mkName "k2"))))]) + (KindSig (AppT ListT (VarT (mkName "k2")))) Nothing]) $( let fixKs :: String -> String -- need to remove TH renaming index from k variables fixKs s = |