You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It happens that we can't extract a declaration at all and have to ignore it. For instance, if we encounter an error when translating the signature of a function, we ignore it and print the following message:
[ERROR] ... ERROR ...
[ERROR] Could not translate the function 'foo' because of previous error
It would be useful to add the name pattern (the Rust name identifying a definition) in the error message. This would be especially useful to add builtin support for external declarations which fail to extract.
The text was updated successfully, but these errors were encountered:
It happens that we can't extract a declaration at all and have to ignore it. For instance, if we encounter an error when translating the signature of a function, we ignore it and print the following message:
It would be useful to add the name pattern (the Rust name identifying a definition) in the error message. This would be especially useful to add builtin support for external declarations which fail to extract.
The text was updated successfully, but these errors were encountered: