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

better compile error for type mismatch #932

Closed
andrewrk opened this issue Apr 17, 2018 · 1 comment
Closed

better compile error for type mismatch #932

andrewrk opened this issue Apr 17, 2018 · 1 comment
Labels
enhancement Solving this issue will likely involve adding new logic or components to the codebase.
Milestone
0.4.0

Comments

@andrewrk
Copy link
Member

error: expected type '&Foo', found '&Foo'

for example this should show the declaration sites of each different Foo.
@andrewrk andrewrk added the enhancement Solving this issue will likely involve adding new logic or components to the codebase. label Apr 17, 2018
@andrewrk andrewrk added this to the 0.4.0 milestone Apr 17, 2018
@andrewrk
Copy link
Member Author

This was implemented a while ago, along with 2 other changes that make this better:

  • namespacing of aggregate types
  • recursive error notes about why types are incompatible

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement Solving this issue will likely involve adding new logic or components to the codebase.
Projects
None yet
Milestone
0.4.0
Development

No branches or pull requests
1 participant
@andrewrk