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

Type family reduction errors #259

Open
Open
Type family reduction errors#259
Labels
TCIssues/PRs relating to something else in the TCTC: Type FunctionsIssues/PRs relating to top-level closed type functionsbug
@SquidDev

Description

@SquidDev
SquidDev
opened on 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.

Metadata

Metadata

Assignees

No one assigned

    Labels

    TCIssues/PRs relating to something else in the TCTC: Type FunctionsIssues/PRs relating to top-level closed type functionsbug

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions