Skip to content

Draft: Tag incoherent instance applications with `inline`

Andrzej Rybczak requested to merge arybczak/ghc:fix-23182-23287 into master

Proof of concept for adjustment of !9411 (merged).

Instead of inhibiting specializations for incoherent instances, this variant reverses course and generates separate specializations for each application.

The advantage of this approach is that while it keeps #22448 (closed) fixed, things continue to specialize properly.

Fixes #23172 (closed), fixes #23287 (closed).

cc @cactus

EDIT: I applied a similar treatment to matchWithDict, potentially fixing #21575.

Edited by Andrzej Rybczak

Merge request reports