vNonRec, vRec,
vVar, vType, vNote, vLet,
- vLams,
- mkVLams, mkVVarApps
+ vLams, vLamsWithoutLC, vVarApps
) where
#include "HsVersions.h"
where
(vvs,lvs) = unzip vs
-mkVLams :: [VVar] -> VExpr -> VExpr
-mkVLams vvs (ve,le) = (mkLams vs ve, mkLams ls le)
+vLamsWithoutLC :: [VVar] -> VExpr -> VExpr
+vLamsWithoutLC vvs (ve,le) = (mkLams vs ve, mkLams ls le)
where
(vs,ls) = unzip vvs
-mkVVarApps :: Var -> VExpr -> [VVar] -> VExpr
-mkVVarApps lc (ve, le) vvs = (ve `mkVarApps` vs, le `mkVarApps` (lc : ls))
+vVarApps :: Var -> VExpr -> [VVar] -> VExpr
+vVarApps lc (ve, le) vvs = (ve `mkVarApps` vs, le `mkVarApps` (lc : ls))
where
(vs,ls) = unzip vvs
$ do
body <- mk_body
body' <- bind (vVar env_bndr)
- (mkVVarApps lv body (vars ++ [arg_bndr]))
- return (mkVLams [env_bndr, arg_bndr] body')
+ (vVarApps lv body (vars ++ [arg_bndr]))
+ return (vLamsWithoutLC [env_bndr, arg_bndr] body')
mkClosure arg_ty res_ty env_ty fn env