Simon Peyton Jones pushed to branch wip/spj-try-opt-coercion at Glasgow Haskell Compiler / GHC Commits: 2fbac2c0 by Simon Peyton Jones at 2026-05-27T00:28:32+01:00 Do much less simplification , ([], Opt_OptReflCoSimpleOpt ) -- See Note [Coercion optimisation] , ([2], Opt_OptReflCoSimplifier ) -- in GHC.Core.Coercion.Opt , ([2], Opt_OptCoercion ) - - - - - 1 changed file: - compiler/GHC/Driver/DynFlags.hs Changes: ===================================== compiler/GHC/Driver/DynFlags.hs ===================================== @@ -1297,8 +1297,8 @@ optLevelFlags -- see Note [Documenting optimisation flags] , ([0,1,2], Opt_ProfManualCcs ) , ([], Opt_OptReflCoSimpleOpt ) -- See Note [Coercion optimisation] - , ([0,1,2], Opt_OptReflCoSimplifier ) -- in GHC.Core.Coercion.Opt - , ([0,1,2], Opt_OptCoercion ) + , ([2], Opt_OptReflCoSimplifier ) -- in GHC.Core.Coercion.Opt + , ([2], Opt_OptCoercion ) , ([0], Opt_IgnoreInterfacePragmas) View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/2fbac2c09bcf660fbf0ed806f560bd5a... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/2fbac2c09bcf660fbf0ed806f560bd5a... You're receiving this email because of your account on gitlab.haskell.org.