Skip to content
Snippets Groups Projects
Commit 32c6be75 authored by Herbert Valerio Riedel's avatar Herbert Valerio Riedel :man_dancing:
Browse files

Revert "Follow change in patSynSig"

This reverts commit e811b008.
since the respective change isn't in GHC 7.8.3 yet
parent 9427cb0a
No related branches found
No related tags found
No related merge requests found
......@@ -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)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment