-
Notifications
You must be signed in to change notification settings - Fork 130
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
Reflection of functions with wired-in names leads to errors #2242
Comments
Assuming wired-in names means names coming from the LH annotations about boot libraries, would it make sense to broaden the focus to any clashes between names in the current module and names coming from annotations in other modules? |
The example comes from the LH's wired in names |
For example, here: https://gist.github.com/nikivazou/1c134d34830e73c62cc5e18b8b7c8e98
the following assertion fails
because the
fst
in the signature is interpreted as the wired-infst
while thefst
in the code as a user-definedfst
function. These two are not related.Proposed Solution: Generate an error when reflecting functions with wired-in names.
The text was updated successfully, but these errors were encountered: