Skip to content

Specialize functions with implicit parameters

Alexis King requested to merge lexi.lambda/ghc:specialize-with-implicit-params into master

As discussed in #17930 (closed), GHC currently does not specialize functions with implicit parameters. This is needlessly conservative: it’s true that we don’t want to specialize on implicit parameters themselves, but if a function with implicit parameters has other interesting dictionaries, there’s no reason not to specialize it. Fixing this turned out to be extremely easy, so this MR just makes the change.

Merge request reports