Simon Peyton Jones pushed to branch wip/spj-try-opt-coercion at Glasgow Haskell Compiler / GHC Commits: 6efc02e1 by Simon Peyton Jones at 2026-05-04T23:12:27+01:00 Add changelog - - - - - 1 changed file: - + changelog.d/opt-coercion Changes: ===================================== changelog.d/opt-coercion ===================================== @@ -0,0 +1,18 @@ +section: compiler +synopsis: Substantially reduce coercion optimisation +issues: #26679 +mrs: !15175 + +description: { +The coercion optimiser can gobble up a lot of compile time when there +are lots of coercions. Its goal is to shrink coercions in order to reduce +compile time, so it's bad that it sometimes increases it. + +This change introduces a simpler and faster coercion optimser, called +`optCoRefl`, which is used frequently, relegating the big-hammer coercion +optimiser to a separate pass of its own. + +A new flag `-fopt-refl-coercion` (on by default) controls the new `optCoRefl` +optimiser. +} + View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/6efc02e154b973d0aaab0748aff2c338... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/6efc02e154b973d0aaab0748aff2c338... You're receiving this email because of your account on gitlab.haskell.org.