Skip to content

PmCheck: Look up parent data family TyCon when populating `PossibleMatches`

Sebastian Graf requested to merge wip/T17207 into master

The vanilla COMPLETE set is attached to the representation TyCon of a data family instance, whereas the user-defined COMPLETE sets are attached to the parent data family TyCon itself.

Previously, we weren't trying particularly hard to get back to the representation TyCon to the parent data family TyCon, resulting in bugs like #17207 (closed). Now we should do much better.

Fixes the original issue in #17207 (closed), but I found another related bug that isn't so easy to fix. Added a regression test T17207b.

Edited by Sebastian Graf

Merge request reports