[commit: haddock] ghc-7.8, v2.14, wip/pattern-synonym-sig-backport: Revert "Follow change in patSynSig" (32c6be7)

git at git.haskell.org git at git.haskell.org
Wed Jul 8 08:29:04 UTC 2015


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

On branches: ghc-7.8,v2.14,wip/pattern-synonym-sig-backport
Link       : http://git.haskell.org/haddock.git/commitdiff/32c6be75514af7dd0093d9b83cd3d720dc342165

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

commit 32c6be75514af7dd0093d9b83cd3d720dc342165
Author: Herbert Valerio Riedel <hvr at gnu.org>
Date:   Wed Jun 25 11:48:20 2014 +0200

    Revert "Follow change in patSynSig"
    
    This reverts commit e811b00837d19340047ad83273b4aa2dc2534dd8.
    since the respective change isn't in GHC 7.8.3 yet


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

32c6be75514af7dd0093d9b83cd3d720dc342165
 src/Haddock/Convert.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Haddock/Convert.hs b/src/Haddock/Convert.hs
index 405bf20..1bf02e3 100644
--- a/src/Haddock/Convert.hs
+++ b/src/Haddock/Convert.hs
@@ -94,10 +94,10 @@ tyThingToLHsDecl t = noLoc $ case t of
     (synifyType ImplicitizeForAll (dataConUserType dc)))
 
   AConLike (PatSynCon ps) ->
-      let (_, _, req_theta, prov_theta, _, res_ty) = patSynSig ps
+      let (_, _, (req_theta, prov_theta)) = patSynSig ps
       in SigD $ PatSynSig (synifyName ps)
                           (fmap (synifyType WithinType) (patSynTyDetails ps))
-                          (synifyType WithinType res_ty)
+                          (synifyType WithinType (patSynType ps))
                           (synifyCtx req_theta)
                           (synifyCtx prov_theta)
 



More information about the ghc-commits mailing list