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.

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

Missing Definition Error Message not very informative #36

Open
AZWN opened this issue Dec 18, 2023 · 0 comments
Open

Missing Definition Error Message not very informative #36

AZWN opened this issue Dec 18, 2023 · 0 comments

Comments

@AZWN
Copy link
Contributor

AZWN commented Dec 18, 2023

Short description
More descriptive error message in case of missing definition

Problem description.
Currently, an (console) error message for missing constructors might look like:

[ERROR] In 'file:///path/to/file.str2:123:45 - 123:48':
Undefined constructor with arity 4 and type DynT(DynT(Dyn)).

While using the line/colon info it is possible to find out which constructor is missing, that is not very convenient.
This problem is particularly relevant when reading buildfarm logs, without the possibility to perform a local build quickly.

Describe the solution you'd like

It would be more helpful if the constructor name itself was reported in the message. For example:

[ERROR] In 'file:///path/to/file.str2:123:45 - 123:48':
Undefined constructor Foo/4 of type DynT(DynT(Dyn)).

Describe alternatives you've considered

Perhaps the error message would be even more helpful if alternatives are proposed. For example, constructors with the same name of a different sort, or with the same name with different arity.

Additional context

I did not validate whether this occurs for missing sort/rule definitions too, but it might be worth to check/align those as well.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants