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

DNM WIP ENH: More lazy functions #99

Closed
wants to merge 2 commits into from

Conversation

crusaderky
Copy link
Contributor

@crusaderky crusaderky commented Jan 17, 2025

New functions lazy_raise, lazy_warn, lazy_wait_on

@crusaderky crusaderky force-pushed the apply_more branch 2 times, most recently from c77c4f1 to 99a70fc Compare January 17, 2025 18:25
@lucascolley lucascolley added enhancement New feature or request new function labels Jan 19, 2025
@crusaderky crusaderky force-pushed the apply_more branch 2 times, most recently from fa81046 to c24f7d9 Compare January 20, 2025 13:45
@lucascolley lucascolley marked this pull request as ready for review January 21, 2025 08:54
@lucascolley lucascolley marked this pull request as draft January 21, 2025 08:55
@crusaderky crusaderky changed the title DNM ENH: More lazy functions DNM WIP ENH: More lazy functions Jan 22, 2025
@crusaderky crusaderky force-pushed the apply_more branch 12 times, most recently from d2eca86 to 69e5432 Compare January 28, 2025 16:09
Copy link
Member

@rgommers rgommers left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This looks pretty good to me. The code is pretty complex, but probably about as complex as necessary. And the docs are excellent, which helps a lot.

Not approving yet because this PR is WIP and coupled to other PRs, but I'm happy with this I think - no major comments.

@crusaderky
Copy link
Contributor Author

Shelved indefinitely as jax.pure_callback does not allow for exceptions and it's unlikely it will in the short or medium term: won't for a long time:

@crusaderky crusaderky closed this Jan 30, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants