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.

Sign up for GitHub

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

Jump to bottom

Generic derivation seems to fail to terminate sometimes #3

Open
propensive opened this issue Jan 12, 2024 · 1 comment
Open

Generic derivation seems to fail to terminate sometimes #3

propensive opened this issue Jan 12, 2024 · 1 comment
Assignees
@propensive
Labels
bug Describes something not working as intended core Describes core required functionality severe Has a significant impact on many users

Comments

@propensive
Copy link
Owner

This problem was encountered in Probably when generating Contrasts for debugging test failures. For bigger files, like the tests in Cellulose, this caused an OOM in the compiler.
@propensive propensive self-assigned this Jan 12, 2024
@propensive propensive added bug Describes something not working as intended severe Has a significant impact on many users core Describes core required functionality labels Jan 12, 2024
@propensive
Copy link
Owner Author

An implementation of given derived which uses summonFrom might be able to help.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@propensive propensive

Labels
bug Describes something not working as intended core Describes core required functionality severe Has a significant impact on many users
Projects
Soundness
Status: Todo
Milestone
No milestone
Development

No branches or pull requests
1 participant
@propensive