diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2014-06-06 11:33:09 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2014-06-06 12:41:09 +0100 |
| commit | 276f201de589999690e49491089c7e7ec9cfbf3f (patch) | |
| tree | 0a08f909a2c1ee9913c11350e596933fd98d4e7b /src/Haddock/Convert.hs | |
| parent | 61f151adac04acc2fffab75f7564a390f6bf39d6 (diff) | |
Follow change in patSynSig
Diffstat (limited to 'src/Haddock/Convert.hs')
| -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) |