diff options
Diffstat (limited to 'compiler/GHC/HsToCore/PmCheck/Oracle.hs')
| -rw-r--r-- | compiler/GHC/HsToCore/PmCheck/Oracle.hs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/compiler/GHC/HsToCore/PmCheck/Oracle.hs b/compiler/GHC/HsToCore/PmCheck/Oracle.hs index bf21c8594b..3919b91893 100644 --- a/compiler/GHC/HsToCore/PmCheck/Oracle.hs +++ b/compiler/GHC/HsToCore/PmCheck/Oracle.hs @@ -30,6 +30,7 @@ import GHC.Prelude import GHC.HsToCore.PmCheck.Types import GHC.Driver.Session +import GHC.Driver.Config import GHC.Utils.Outputable import GHC.Utils.Error import GHC.Utils.Misc @@ -1667,8 +1668,8 @@ representCoreExpr delta@MkDelta{ delta_tm_st = ts@TmSt{ ts_reps = reps } } e -- want to record @x ~ y@. addCoreCt :: Delta -> Id -> CoreExpr -> MaybeT DsM Delta addCoreCt delta x e = do - dflags <- getDynFlags - let e' = simpleOptExpr dflags e + simpl_opts <- initSimpleOptOpts <$> getDynFlags + let e' = simpleOptExpr simpl_opts e lift $ tracePm "addCoreCt" (ppr x <+> dcolon <+> ppr (idType x) $$ ppr e $$ ppr e') execStateT (core_expr x e') delta where |