diff options
| -rw-r--r-- | src/Haddock/Convert.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Haddock/Convert.hs b/src/Haddock/Convert.hs index f7f3e2bb..405bf204 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) = patSynSig ps + let (_, _, req_theta, prov_theta, _, res_ty) = patSynSig ps in SigD $ PatSynSig (synifyName ps) (fmap (synifyType WithinType) (patSynTyDetails ps)) - (synifyType WithinType (patSynType ps)) + (synifyType WithinType res_ty) (synifyCtx req_theta) (synifyCtx prov_theta) |