-__interface Match 1 0 where
-__export Match match matchExport matchSimply matchSinglePat;
-1 match :: [Var.Id] -> [DsUtils.EquationInfo] -> DsMonad.DsM DsUtils.MatchResult ;
-1 matchExport :: [Var.Id] -> [DsUtils.EquationInfo] -> DsMonad.DsM DsUtils.MatchResult ;
-1 matchSimply :: CoreSyn.CoreExpr -> HsExpr.HsMatchContext Var.Id -> TcHsSyn.TypecheckedPat -> CoreSyn.CoreExpr -> CoreSyn.CoreExpr -> DsMonad.DsM CoreSyn.CoreExpr ;
-1 matchSinglePat :: CoreSyn.CoreExpr -> DsMonad.DsMatchContext -> TcHsSyn.TypecheckedPat -> DsUtils.MatchResult -> DsMonad.DsM DsUtils.MatchResult ;
+module Match where
+
+match :: [Var.Id]
+ -> [DsUtils.EquationInfo]
+ -> DsMonad.DsM DsUtils.MatchResult
+
+matchExport
+ :: [Var.Id]
+ -> [DsUtils.EquationInfo]
+ -> DsMonad.DsM DsUtils.MatchResult
+
+matchSimply
+ :: CoreSyn.CoreExpr
+ -> HsExpr.HsMatchContext Var.Id
+ -> HsPat.LPat Var.Id
+ -> CoreSyn.CoreExpr
+ -> CoreSyn.CoreExpr
+ -> DsMonad.DsM CoreSyn.CoreExpr
+
+matchSinglePat
+ :: CoreSyn.CoreExpr
+ -> DsMonad.DsMatchContext
+ -> HsPat.LPat Var.Id
+ -> DsUtils.MatchResult
+ -> DsMonad.DsM DsUtils.MatchResult