blob: 860c2384bec66ddfa128724462f48e2a764a6cf5 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
--- ./src/Haddock/Convert.hs.orig 2014-04-02 23:25:15.000000000 +0200
+++ ./src/Haddock/Convert.hs 2014-07-14 06:39:49.000000000 +0200
@@ -94,10 +94,10 @@
(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)
|
