In the past I've seen this in an interface file
foo = error "urk"
but *without* a bottoming strictness info on 'foo'. This WARN just
checks (non-fatally) for the bad case, so that we can track it down easily
import CoreTidy
import CoreMonad
import CoreUtils
import CoreTidy
import CoreMonad
import CoreUtils
-import CoreArity ( exprArity )
+import CoreArity ( exprArity, exprBotStrictness_maybe )
import Class ( classSelIds )
import VarEnv
import VarSet
import Class ( classSelIds )
import VarEnv
import VarSet
-- in the IdInfo of one early in the group
tidyTopPair show_unfold rhs_tidy_env caf_info name' (bndr, rhs)
-- in the IdInfo of one early in the group
tidyTopPair show_unfold rhs_tidy_env caf_info name' (bndr, rhs)
+ = WARN( not _bottom_exposed, ppr bndr1 )
+ (bndr1, rhs1)
- bndr' = mkGlobalId details name' ty' idinfo'
+ -- If the cheap-and-cheerful bottom analyser can see that
+ -- the RHS is bottom, it should jolly well be exposed
+ _bottom_exposed = case exprBotStrictness_maybe rhs of
+ Nothing -> True
+ Just (arity, _) -> appIsBottom str arity
+ where
+ str = newStrictnessInfo idinfo `orElse` topSig
+
+ bndr1 = mkGlobalId details name' ty' idinfo'
details = idDetails bndr -- Preserve the IdDetails
ty' = tidyTopType (idType bndr)
details = idDetails bndr -- Preserve the IdDetails
ty' = tidyTopType (idType bndr)
- rhs' = tidyExpr rhs_tidy_env rhs
+ rhs1 = tidyExpr rhs_tidy_env rhs
idinfo = idInfo bndr
idinfo' = tidyTopIdInfo (isExternalName name')
idinfo unfold_info
arity caf_info
idinfo = idInfo bndr
idinfo' = tidyTopIdInfo (isExternalName name')
idinfo unfold_info
arity caf_info
- unfold_info | show_unfold = tidyUnfolding rhs_tidy_env rhs' (unfoldingInfo idinfo)
+ unfold_info | show_unfold = tidyUnfolding rhs_tidy_env rhs1 (unfoldingInfo idinfo)
| otherwise = noUnfolding
-- NB: do *not* expose the worker if show_unfold is off,
-- because that means this thing is a loop breaker or
| otherwise = noUnfolding
-- NB: do *not* expose the worker if show_unfold is off,
-- because that means this thing is a loop breaker or