diff options
Diffstat (limited to 'compiler/stgSyn')
| -rw-r--r-- | compiler/stgSyn/StgLint.hs | 1 | ||||
| -rw-r--r-- | compiler/stgSyn/StgSyn.hs | 8 |
2 files changed, 1 insertions, 8 deletions
diff --git a/compiler/stgSyn/StgLint.hs b/compiler/stgSyn/StgLint.hs index eb07e6b447..0dba8d8359 100644 --- a/compiler/stgSyn/StgLint.hs +++ b/compiler/stgSyn/StgLint.hs @@ -82,7 +82,6 @@ lintStgBindings whodunnit binds lintStgArg :: StgArg -> LintM (Maybe Type) lintStgArg (StgLitArg lit) = return (Just (literalType lit)) lintStgArg (StgVarArg v) = lintStgVar v -lintStgArg (StgRubbishArg ty) = return (Just ty) lintStgVar :: Id -> LintM (Maybe Kind) lintStgVar v = do checkInScope v diff --git a/compiler/stgSyn/StgSyn.hs b/compiler/stgSyn/StgSyn.hs index 60147bc8d8..b553cd74dd 100644 --- a/compiler/stgSyn/StgSyn.hs +++ b/compiler/stgSyn/StgSyn.hs @@ -92,10 +92,6 @@ data GenStgArg occ = StgVarArg occ | StgLitArg Literal - -- A rubbish arg is a value that's not supposed to be used by the generated - -- code, but it may be a GC root (i.e. used by GC) if the type is boxed. - | StgRubbishArg Type - -- | Does this constructor application refer to -- anything in a different *Windows* DLL? -- If so, we can't allocate it statically @@ -137,7 +133,6 @@ isAddrRep _ = False stgArgType :: StgArg -> Type stgArgType (StgVarArg v) = idType v stgArgType (StgLitArg lit) = literalType lit -stgArgType (StgRubbishArg ty) = ty -- | Strip ticks of a given type from an STG expression @@ -197,7 +192,7 @@ primitives, and literals. [Type] -- See Note [Types in StgConApp] in UnariseStg | StgOpApp StgOp -- Primitive op or foreign call - [GenStgArg occ] -- Saturated. Not rubbish. + [GenStgArg occ] -- Saturated. Type -- Result type -- We need to know this so that we can -- assign result registers @@ -659,7 +654,6 @@ instance (OutputableBndr bndr, Outputable bdee, Ord bdee) pprStgArg :: (Outputable bdee) => GenStgArg bdee -> SDoc pprStgArg (StgVarArg var) = ppr var pprStgArg (StgLitArg con) = ppr con -pprStgArg (StgRubbishArg ty) = text "StgRubbishArg" <> dcolon <> ppr ty pprStgExpr :: (OutputableBndr bndr, Outputable bdee, Ord bdee) => GenStgExpr bndr bdee -> SDoc |