diff options
Diffstat (limited to 'compiler/GHC/HsToCore/Expr.hs')
-rw-r--r-- | compiler/GHC/HsToCore/Expr.hs | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/compiler/GHC/HsToCore/Expr.hs b/compiler/GHC/HsToCore/Expr.hs index b627d6e841..53922768b6 100644 --- a/compiler/GHC/HsToCore/Expr.hs +++ b/compiler/GHC/HsToCore/Expr.hs @@ -45,9 +45,9 @@ import TcType import TcEvidence import TcRnMonad import Type -import CoreSyn -import CoreUtils -import MkCore +import GHC.Core +import GHC.Core.Utils +import GHC.Core.Make import GHC.Driver.Session import CostCentre @@ -251,7 +251,7 @@ dsLExpr (L loc e) -- polymorphic. This should be used when the resulting expression will -- be an argument to some other function. -- See Note [Levity polymorphism checking] in GHC.HsToCore.Monad --- See Note [Levity polymorphism invariants] in CoreSyn +-- See Note [Levity polymorphism invariants] in GHC.Core dsLExprNoLP :: LHsExpr GhcTc -> DsM CoreExpr dsLExprNoLP (L loc e) = putSrcSpanDs loc $ @@ -401,7 +401,7 @@ dsExpr (ExplicitTuple _ tup_args boxity) -- The reverse is because foldM goes left-to-right (\(lam_vars, args) -> mkCoreLams lam_vars $ mkCoreTupBoxity boxity args) } - -- See Note [Don't flatten tuples from HsSyn] in MkCore + -- See Note [Don't flatten tuples from HsSyn] in GHC.Core.Make dsExpr (ExplicitSum types alt arity expr) = do { dsWhenNoErrs (dsLExprNoLP expr) @@ -1112,7 +1112,7 @@ badMonadBind rhs elt_ty Note [Detecting forced eta expansion] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ We cannot have levity polymorphic function arguments. See -Note [Levity polymorphism invariants] in CoreSyn. But we *can* have +Note [Levity polymorphism invariants] in GHC.Core. But we *can* have functions that take levity polymorphic arguments, as long as these functions are eta-reduced. (See #12708 for an example.) |