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

Handle XLA errors in Idris #371

Open
joelberkeley opened this issue Dec 7, 2023 · 0 comments
Open

Handle XLA errors in Idris #371

joelberkeley opened this issue Dec 7, 2023 · 0 comments
Labels
feature:internal Feature that helps develop framework internals

Comments

@joelberkeley
Copy link
Owner

Instead of assuming there won't be errors in the C++ XLA code, pass these errors up through FFI to Idris and handle them there. This is mainly to make debugging and development of spidr much easier. Errors are thrown frequently when working on spidr, be it refactoring or adding features, and it's a real pain debugging them.

@joelberkeley joelberkeley added the feature:internal Feature that helps develop framework internals label Dec 7, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
feature:internal Feature that helps develop framework internals
Projects
None yet
Development

No branches or pull requests

1 participant