Simon Peyton Jones pushed to branch wip/spj-try-opt-coercion at Glasgow Haskell Compiler / GHC Commits: 9a08ad41 by Simon Peyton Jones at 2026-05-26T17:47:15+01:00 Try the effect of always using Big Hammer - - - - - 1 changed file: - compiler/GHC/Driver/DynFlags.hs Changes: ===================================== compiler/GHC/Driver/DynFlags.hs ===================================== @@ -1298,7 +1298,7 @@ optLevelFlags -- see Note [Documenting optimisation flags] , ([], Opt_OptReflCoSimpleOpt ) -- See Note [Coercion optimisation] , ([0,1,2], Opt_OptReflCoSimplifier ) -- in GHC.Core.Coercion.Opt - , ([2], Opt_OptCoercion ) + , ([0,1,2], Opt_OptCoercion ) , ([0], Opt_IgnoreInterfacePragmas) View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/9a08ad4109bed789036a6a0767aa8f92... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/9a08ad4109bed789036a6a0767aa8f92... You're receiving this email because of your account on gitlab.haskell.org.