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
alphaEqSymDefault ignores type annotations. #13
Comments
I have now investigated this bug, and the problem is simply that the code motion sees the two parts of the pair as identical expressions, despite them having different types. I don't know exactly how to solve this best. Currently, I'm just using |
That sounds like a problem elsewhere. @emilaxelsson: is the |
I tried comparing the types of the expressions (like |
The real problem is the equality test since two expressions of different types are considered equivalent despite the fact that we can observe they are different. Your explicit testing for type equality sounds like a good workaround at the moment though since Emil seems to be preoccupied with other things. Can you submit a pull request with that change? |
For the books: workaround merged as #15. Remember to remove that code when this bug is fixed. Changing title of the ticket to reflect the underlying issue. |
cc @jankner (did that work?)
Example from the calling convention test suite:
Gives an exception somewhere in the rebuilding of expressions:
The text was updated successfully, but these errors were encountered: