diff options
author | Sylvain Henry <sylvain@haskus.fr> | 2020-02-24 20:59:43 +0100 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-02-26 15:10:58 -0500 |
commit | 817f93eac4d13f680e8e3e7a25eb403b1864f82e (patch) | |
tree | f7014721e49627f15d76f44a5bf663043e35fafc /compiler/GHC/HsToCore.hs | |
parent | b2b49a0aad353201678970c76d8305a5dcb1bfab (diff) | |
download | haskell-817f93eac4d13f680e8e3e7a25eb403b1864f82e.tar.gz |
Modules: Core (#13009)
Update haddock submodule
Diffstat (limited to 'compiler/GHC/HsToCore.hs')
-rw-r--r-- | compiler/GHC/HsToCore.hs | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/compiler/GHC/HsToCore.hs b/compiler/GHC/HsToCore.hs index ec888766a7..7b4659edba 100644 --- a/compiler/GHC/HsToCore.hs +++ b/compiler/GHC/HsToCore.hs @@ -33,12 +33,12 @@ import Name import Type import TyCon ( tyConDataCons ) import Avail -import CoreSyn -import CoreFVs ( exprsSomeFreeVarsList ) -import CoreOpt ( simpleOptPgm, simpleOptExpr ) -import CoreUtils -import CoreUnfold -import PprCore +import GHC.Core +import GHC.Core.FVs ( exprsSomeFreeVarsList ) +import GHC.Core.SimpleOpt ( simpleOptPgm, simpleOptExpr ) +import GHC.Core.Utils +import GHC.Core.Unfold +import GHC.Core.Ppr import GHC.HsToCore.Monad import GHC.HsToCore.Expr import GHC.HsToCore.Binds @@ -48,14 +48,14 @@ import TysPrim import Coercion import TysWiredIn import DataCon ( dataConWrapId ) -import MkCore +import GHC.Core.Make import Module import NameSet import NameEnv -import Rules +import GHC.Core.Rules import BasicTypes import CoreMonad ( CoreToDo(..) ) -import CoreLint ( endPassIO ) +import GHC.Core.Lint ( endPassIO ) import VarSet import FastString import ErrUtils @@ -511,7 +511,7 @@ For that we replace any forall'ed `c :: Coercible a b` value in a RULE by corresponding `co :: a ~#R b` and wrap the LHS and the RHS in `let c = MkCoercible co in ...`. This is later simplified to the desired form by simpleOptExpr (for the LHS) resp. the simplifiers (for the RHS). -See also Note [Getting the map/coerce RULE to work] in CoreOpt. +See also Note [Getting the map/coerce RULE to work] in GHC.Core.SimpleOpt. Note [Rules and inlining/other rules] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |