Fix panic on module re-exports of DuplicateRcordFields
ClosedPublic

Authored by adamgundry on Mar 24 2018, 5:18 PM.

Details

Summary

We have to be careful to use the right OccNames in the right places when reporting export clashes for DuplicateRecordFields. The cases in which re-exports are prohibited are still slightly unsatisfying (see Trac #13352), but at least the panic is gone.

Test Plan

new test overloadedrecflds/should_fail/T14953

Diff Detail

Repository
rGHC Glasgow Haskell Compiler
Lint
Automatic diff as part of commit; lint not applicable.
Unit
Automatic diff as part of commit; unit tests not applicable.
adamgundry created this revision.Mar 24 2018, 5:18 PM
bgamari accepted this revision.Mar 25 2018, 10:46 AM
bgamari retitled this revision from Fix panic on module re-exports of DplicateRcordFields to Fix panic on module re-exports of DuplicateRcordFields.

Thank you for handling this, @adamgundry!

This revision is now accepted and ready to land.Mar 25 2018, 10:48 AM
This revision was automatically updated to reflect the committed changes.