Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Don't show unstable metavariable numbers in type errors. #272

Open
typeswitch-dev opened this issue May 3, 2024 · 1 comment
Open

Don't show unstable metavariable numbers in type errors. #272

typeswitch-dev opened this issue May 3, 2024 · 1 comment
Labels
compiler Compiler internals. feature New feature or request

Comments

@typeswitch-dev
Copy link
Contributor

Either make the metavariable numbers stable within each definition, or don't print the numbers when showing the type (replacing them with variable names perhaps).

Currently the instability is the reason one test keeps failing whenever we change the prelude (error-recursive-block-type.mth). The test has been disabled until the issue is resolved.
@typeswitch-dev typeswitch-dev added feature New feature or request compiler Compiler internals. labels May 3, 2024
@casuallyblue
Copy link
Contributor

Perhaps when showing metavariables in errors for a definition they could be printed with relative numbers? That might cause confusion between different errors though.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
compiler Compiler internals. feature New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@typeswitch-dev @casuallyblue