diff options
| author | Sebastian Graf <sebastian.graf@kit.edu> | 2021-11-23 12:19:25 +0100 |
|---|---|---|
| committer | Sebastian Graf <sebastian.graf@kit.edu> | 2021-11-23 12:19:25 +0100 |
| commit | f0dd65c928f81190a61448a2180450bda5252ffd (patch) | |
| tree | 11098c0c283bf5a246b40f703f68e70fb72b75f7 /compiler/GHC/Core | |
| parent | b1a95730e9a92c07579e7608edbc57d530ce224e (diff) | |
| download | haskell-wip/T20111.tar.gz | |
Stashing my local changeswip/T20111
Diffstat (limited to 'compiler/GHC/Core')
| -rw-r--r-- | compiler/GHC/Core/Opt/DmdAnal.hs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/compiler/GHC/Core/Opt/DmdAnal.hs b/compiler/GHC/Core/Opt/DmdAnal.hs index f1554a38ed..5819885c23 100644 --- a/compiler/GHC/Core/Opt/DmdAnal.hs +++ b/compiler/GHC/Core/Opt/DmdAnal.hs @@ -648,9 +648,8 @@ Note [Which scrutinees may throw precise exceptions] This is the specification of 'exprMayThrowPreciseExceptions', which is important for Scenario 2 of Note [Precise exceptions and strictness analysis] in GHC.Types.Demand. -Ideally, we'd discover -For a term-level expression @f a1 ... an :: ty@ we determine that +For a term-level expression @f a1 ... an :: ty@ we return 1. False If ty is *not* @State# RealWorld@ or an unboxed tuple thereof. This check is done by 'forcesRealWorld'. (Why not simply unboxed pairs as above? This is motivated by |