diff options
| author | Sylvain Henry <sylvain@haskus.fr> | 2020-04-05 17:25:06 +0200 |
|---|---|---|
| committer | Sylvain Henry <sylvain@haskus.fr> | 2020-04-18 20:04:14 +0200 |
| commit | 3ca52151881451ce5b3a7740d003e811b586140d (patch) | |
| tree | 2dda7d3796d300063111460929489e146701522c /compiler/GHC/Core.hs | |
| parent | 15ab6cd548f284732a7f89d78c2b89b1bfc4ea1d (diff) | |
| download | haskell-3ca52151881451ce5b3a7740d003e811b586140d.tar.gz | |
GHC.Core.Opt renaming
* GHC.Core.Op => GHC.Core.Opt
* GHC.Core.Opt.Simplify.Driver => GHC.Core.Opt.Driver
* GHC.Core.Opt.Tidy => GHC.Core.Tidy
* GHC.Core.Opt.WorkWrap.Lib => GHC.Core.Opt.WorkWrap.Utils
As discussed in:
* https://mail.haskell.org/pipermail/ghc-devs/2020-April/018758.html
* https://gitlab.haskell.org/ghc/ghc/issues/13009#note_264650
Diffstat (limited to 'compiler/GHC/Core.hs')
| -rw-r--r-- | compiler/GHC/Core.hs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/compiler/GHC/Core.hs b/compiler/GHC/Core.hs index af06c1043d..a45292079c 100644 --- a/compiler/GHC/Core.hs +++ b/compiler/GHC/Core.hs @@ -354,7 +354,7 @@ an unlifted literal, like all the others. Also, we do not permit case analysis with literal patterns on floating-point types. See #9238 and Note [Rules for floating-point comparisons] in -GHC.Core.Op.ConstantFold for the rationale for this restriction. +GHC.Core.Opt.ConstantFold for the rationale for this restriction. -------------------------- GHC.Core INVARIANTS --------------------------- @@ -508,7 +508,7 @@ checked by Core Lint. 5. Floating-point values must not be scrutinised against literals. See #9238 and Note [Rules for floating-point comparisons] - in GHC.Core.Op.ConstantFold for rationale. Checked in lintCaseExpr; + in GHC.Core.Opt.ConstantFold for rationale. Checked in lintCaseExpr; see the call to isFloatingTy. 6. The 'ty' field of (Case scrut bndr ty alts) is the type of the @@ -784,7 +784,7 @@ is crucial for understanding how case-of-case interacts with join points: _ -> False The simplifier will pull the case into the join point (see Note [Join points -and case-of-case] in GHC.Core.Op.Simplify): +and case-of-case] in GHC.Core.Opt.Simplify): join j :: Int -> Bool -> Bool -- changed! @@ -1296,7 +1296,7 @@ Orphan-hood is computed ************************************************************************ The CoreRule type and its friends are dealt with mainly in GHC.Core.Rules, but -GHC.Core.FVs, GHC.Core.Subst, GHC.Core.Ppr, GHC.Core.Op.Tidy also inspect the +GHC.Core.FVs, GHC.Core.Subst, GHC.Core.Ppr, GHC.Core.Tidy also inspect the representation. -} @@ -1816,7 +1816,7 @@ the occurrence info is wrong -} -- The Ord is needed for the FiniteMap used in the lookForConstructor --- in GHC.Core.Op.Simplify.Env. If you declared that lookForConstructor +-- in GHC.Core.Opt.Simplify.Env. If you declared that lookForConstructor -- *ignores* constructor-applications with LitArg args, then you could get rid -- of this Ord. |