Commit c08df442 authored by batterseapower's avatar batterseapower

Remove the unused Type field from StgLam

parent 921530b4
......@@ -277,7 +277,7 @@ mkTopStgRhs :: DynFlags -> FreeVarsInfo
-> SRT -> StgBinderInfo -> StgExpr
-> StgRhs
mkTopStgRhs _ rhs_fvs srt binder_info (StgLam _ bndrs body)
mkTopStgRhs _ rhs_fvs srt binder_info (StgLam bndrs body)
= StgRhsClosure noCCS binder_info
(getFVs rhs_fvs)
ReEntrant
......@@ -343,7 +343,7 @@ coreToStgExpr expr@(Lam _ _)
fvs = args' `minusFVBinders` body_fvs
escs = body_escs `delVarSetList` args'
result_expr | null args' = body
| otherwise = StgLam (exprType expr) args' body
| otherwise = StgLam args' body
return (result_expr, fvs, escs)
......@@ -783,7 +783,7 @@ mkStgRhs :: FreeVarsInfo -> SRT -> StgBinderInfo -> StgExpr -> StgRhs
mkStgRhs _ _ _ (StgConApp con args) = StgRhsCon noCCS con args
mkStgRhs rhs_fvs srt binder_info (StgLam _ bndrs body)
mkStgRhs rhs_fvs srt binder_info (StgLam bndrs body)
= StgRhsClosure noCCS binder_info
(getFVs rhs_fvs)
ReEntrant
......
......@@ -175,7 +175,7 @@ lintStgExpr (StgOpApp _ args res_ty) = runMaybeT $ do
_maybe_arg_tys <- mapM (MaybeT . lintStgArg) args
return res_ty
lintStgExpr (StgLam _ bndrs _) = do
lintStgExpr (StgLam bndrs _) = do
addErrL (ptext (sLit "Unexpected StgLam") <+> ppr bndrs)
return Nothing
......
......@@ -212,8 +212,6 @@ finished it encodes (\x -> e) as (let f = \x -> e in f)
\begin{code}
| StgLam
Type -- Type of whole lambda (useful when
-- making a binder for it)
[bndr]
StgExpr -- Body of lambda
\end{code}
......@@ -702,7 +700,7 @@ pprStgExpr (StgConApp con args)
pprStgExpr (StgOpApp op args _)
= hsep [ pprStgOp op, brackets (interppSP args)]
pprStgExpr (StgLam _ bndrs body)
pprStgExpr (StgLam bndrs body)
=sep [ char '\\' <+> ppr bndrs <+> ptext (sLit "->"),
pprStgExpr body ]
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment