X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FdeSugar%2FMatchCon.lhs;h=ed9f2c12047264a35a9817b3bc2c528dd8905f3f;hb=8a2809c29de9f23eba7ca682b48390033a9d40f6;hp=3f25fc7a6eebdee05b09ac610c77705e84a852b7;hpb=00b6d2567426ec52a113b1d3687e1d61368cafda;p=ghc-hetmet.git diff --git a/compiler/deSugar/MatchCon.lhs b/compiler/deSugar/MatchCon.lhs index 3f25fc7..ed9f2c1 100644 --- a/compiler/deSugar/MatchCon.lhs +++ b/compiler/deSugar/MatchCon.lhs @@ -119,11 +119,11 @@ conArgPats :: DataCon -> [Type] -- Instantiated argument types -- Used only to fill in the types of WildPats, which -- are probably never looked at anyway - -> HsConDetails Id (LPat Id) + -> HsConDetails (LPat Id) (HsRecFields Id (LPat Id)) -> [Pat Id] conArgPats data_con arg_tys (PrefixCon ps) = map unLoc ps conArgPats data_con arg_tys (InfixCon p1 p2) = [unLoc p1, unLoc p2] -conArgPats data_con arg_tys (RecCon rpats) +conArgPats data_con arg_tys (RecCon (HsRecFields rpats _)) | null rpats = -- Special case for C {}, which can be used for -- a constructor that isn't declared to have