+ mkLambda ty p ce
+
+-- generate Core for a lambda pattern match, where the body is already in Core
+--
+mkLambda :: Type -- type of the argument
+ -> LPat Id -- argument pattern
+ -> CoreExpr -- desugared body
+ -> DsM (CoreExpr, Type)
+mkLambda ty p ce =
+ newSysLocalDs ty `thenDs` \v ->
+ let errMsg = "DsListComp.deLambda: internal error!"
+ ce'ty = exprType ce