diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-12-12 20:21:12 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-12-12 20:21:12 +0000 |
| commit | f0eb404e1b5b296048da3d0b9efe42d5aa9e0f1d (patch) | |
| tree | b1a9c9c31076150eb225bd628254a8b9eb3e0fd1 /compiler | |
| parent | d77501cd5b9060e38acd50e11e0c5aae89d75b65 (diff) | |
| download | haskell-f0eb404e1b5b296048da3d0b9efe42d5aa9e0f1d.tar.gz | |
Remove dead code
This is a follow-up to
d77501cd5b Improvements to demand analysis
I forgot to remove some now-dead code
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/stranal/WwLib.hs | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/compiler/stranal/WwLib.hs b/compiler/stranal/WwLib.hs index ef6be898c7..a62ed16294 100644 --- a/compiler/stranal/WwLib.hs +++ b/compiler/stranal/WwLib.hs @@ -1183,20 +1183,6 @@ mk_absent_let dflags arg -- See also Note [Unique Determinism] in Unique unlifted_rhs = mkTyApps (Lit rubbishLit) [arg_ty] -mk_seq_case :: Id -> CoreExpr -> CoreExpr -mk_seq_case arg body = Case (Var arg) (sanitiseCaseBndr arg) (exprType body) [(DEFAULT, [], body)] - -sanitiseCaseBndr :: Id -> Id --- The argument we are scrutinising has the right type to be --- a case binder, so it's convenient to re-use it for that purpose. --- But we *must* throw away all its IdInfo. In particular, the argument --- will have demand info on it, and that demand info may be incorrect for --- the case binder. e.g. case ww_arg of ww_arg { I# x -> ... } --- Quite likely ww_arg isn't used in '...'. The case may get discarded --- if the case binder says "I'm demanded". This happened in a situation --- like (x+y) `seq` .... -sanitiseCaseBndr id = id `setIdInfo` vanillaIdInfo - mk_ww_local :: Unique -> (Type, StrictnessMark) -> Id -- The StrictnessMark comes form the data constructor and says -- whether this field is strict |