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

Error message "I'm not sure what User "_200012" means" #481

Closed
atacratic opened this issue May 4, 2019 · 2 comments
Closed

Error message "I'm not sure what User "_200012" means" #481

atacratic opened this issue May 4, 2019 · 2 comments
Labels
bug error-message Request for improved error message

Comments

@atacratic
Copy link
Contributor

atacratic commented May 4, 2019

I saved a .u file containing an error. The error message talks about User "_200012", but I don't know who that is...

master> 
I'm not sure what User "_200012" means at line 4, columns 12-13

    4 | fac n = if n = 0 

Whatever it is, it has a type that conforms to Boolean.

@aryairani said:

I’m guessing that’s related to the Show instance for the new Var type; to accidentally Show-ing it in the message even now that it contains metadata

In subsequent attempts it seems to have stopped mentioning User.

@atacratic atacratic added bug error-message Request for improved error message labels May 4, 2019
@aryairani
Copy link
Contributor

@atacratic Can you still reproduce this or similar in wip/branchless?

@atacratic
Copy link
Contributor Author

Nope!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug error-message Request for improved error message
Projects
None yet
Development

No branches or pull requests

2 participants