Mon Nov 20 21:00:51 UTC 2017

Repository : ssh://git@git.haskell.org/haddock

On branches: 2.17.3.1-spanfix,alexbiehl-patch-1,ghc-8.0,ghc-8.0-facebook,ghc-head,ghc-head1,haddock-quick,headdock-library-1.4.5,ie_avails,issue-303,master,pr-filter-maps,pr/cabal-desc,travis,v2.17,v2.17.3,v2.18,wip-located-module-as,wip/D2418,wip/T12105,wip/T12105-2,wip/T12942,wip/T13163,wip/T3384,wip/embelleshed-rdr,wip/new-tree-one-param,wip/rae,wip/remove-frames,wip/remove-frames1,wip/revert-ttg-2017-11-20,wip/ttg-2017-10-13,wip/ttg-2017-10-31,wip/ttg-2017-11-06,wip/ttg2-2017-11-10,wip/ttg3-2017-11-12,wip/ttg4-constraints-2017-11-13
Link       : http://git.haskell.org/haddock.git/commitdiff/4b0adcedc3ca0d5e367da6eb3c671289bf1215a7

>---------------------------------------------------------------

commit 4b0adcedc3ca0d5e367da6eb3c671289bf1215a7
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Wed Feb 24 13:21:44 2016 -0500

    Follow-on changes to support RuntimeRep
    
    (cherry picked from commit ab954263a793d8ced734459d6194a5d89214b66c)


>---------------------------------------------------------------

4b0adcedc3ca0d5e367da6eb3c671289bf1215a7
 haddock-api/src/Haddock/Convert.hs | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/haddock-api/src/Haddock/Convert.hs b/haddock-api/src/Haddock/Convert.hs
index 02e4356..3ad5c16 100644
--- a/haddock-api/src/Haddock/Convert.hs
+++ b/haddock-api/src/Haddock/Convert.hs
@@ -37,7 +37,7 @@ import TyCoRep
 import TysPrim ( alphaTyVars, unliftedTypeKindTyConName )
 import TysWiredIn ( listTyConName, starKindTyConName )
 import PrelNames ( hasKey, eqTyConKey, ipClassKey
-                 , tYPETyConKey, liftedDataConKey, unliftedDataConKey )
+                 , tYPETyConKey, ptrRepLiftedDataConKey, ptrRepUnliftedDataConKey )
 import Unique ( getUnique )
 import Util ( filterByList, filterOut )
 import Var
@@ -181,12 +181,11 @@ synifyTyCon _coax tc
                  , fdLName = synifyName tc
                  , fdTyVars = synifyTyVars (tyConTyVars tc)
                  , fdResultSig =
-                       synifyFamilyResultSig resultVar tyConResKind
+                       synifyFamilyResultSig resultVar (tyConResKind tc)
                  , fdInjectivityAnn =
                        synifyInjectivityAnn  resultVar (tyConTyVars tc)
                                        (familyTyConInjectivityInfo tc)
                  }
-    tyConResKind = piResultTys (tyConKind tc) (mkTyVarTys (tyConTyVars tc))
 
 synifyTyCon coax tc
   | Just ty <- synTyConRhs_maybe tc
@@ -365,11 +364,11 @@ synifyType _ (TyConApp tc tys)
   -- Use */# instead of TYPE 'Lifted/TYPE 'Unlifted (#473)
   | tc `hasKey` tYPETyConKey
   , [TyConApp lev []] <- tys
-  , lev `hasKey` liftedDataConKey
+  , lev `hasKey` ptrRepLiftedDataConKey
   = noLoc (HsTyVar (noLoc starKindTyConName))
   | tc `hasKey` tYPETyConKey
   , [TyConApp lev []] <- tys
-  , lev `hasKey` unliftedDataConKey
+  , lev `hasKey` ptrRepUnliftedDataConKey
   = noLoc (HsTyVar (noLoc unliftedTypeKindTyConName))
   -- Use non-prefix tuple syntax where possible, because it looks nicer.
   | Just sort <- tyConTuple_maybe tc

