Simon Peyton Jones pushed to branch wip/spj-try-opt-coercion at Glasgow Haskell Compiler / GHC
Commits:
-
52dbcf4b
by Simon Peyton Jones at 2025-12-15T15:44:33+00:00
1 changed file:
Changes:
| ... | ... | @@ -174,8 +174,9 @@ optCoercion :: OptCoercionOpts -> Subst -> Coercion -> NormalCo |
| 174 | 174 | -- *and* optimises it to reduce its size
|
| 175 | 175 | optCoercion opts env co
|
| 176 | 176 | -- Experiment with no optCoercion at all
|
| 177 | - | False -- optCoercionEnabled opts
|
|
| 178 | - = optCoercion' env co
|
|
| 177 | + | optCoercionEnabled opts
|
|
| 178 | + = if False then optCoercion' env co
|
|
| 179 | + else substCo env co
|
|
| 179 | 180 | |
| 180 | 181 | {-
|
| 181 | 182 | = pprTrace "optCoercion {" (text "Co:" <> ppr co) $
|