Skip to content
This repository has been archived by the owner on Oct 18, 2021. It is now read-only.

Type family reduction errors #259

Open
SquidDev opened this issue Jan 2, 2020 · 0 comments
Open

Type family reduction errors #259

SquidDev opened this issue Jan 2, 2020 · 0 comments
Labels
bug TC: Type Functions Issues/PRs relating to top-level closed type functions TC Issues/PRs relating to something else in the TC

Comments

@SquidDev
Copy link
Member

SquidDev commented Jan 2, 2020

In e5867e1, we reduced the number of reductions the TC performs. However, this caused several regressions in error messages (a129902).

Something somewhere needs to be done by someone to restore ensure the error messages are suitably descriptive again.
@SquidDev SquidDev added bug TC: Type Functions Issues/PRs relating to top-level closed type functions TC Issues/PRs relating to something else in the TC labels Jan 2, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
bug TC: Type Functions Issues/PRs relating to top-level closed type functions TC Issues/PRs relating to something else in the TC
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@SquidDev