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:

     , ([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)