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

[Builtins] add 'constrTermFromConstrData' #5776

Closed
wants to merge 1 commit into from
Closed

[Builtins] add 'constrTermFromConstrData' #5776

wants to merge 1 commit into from

Conversation

effectfully
Copy link
Contributor

An experimental and very incomplete implementation of the constrTermFromConstrData builtin converting Data.Constr to a value that can be cased on.

@effectfully effectfully added Builtins Performance EXPERIMENT Experiments that we probably don't want to merge labels Feb 15, 2024
@effectfully effectfully mentioned this pull request Feb 15, 2024
Closed
@effectfully effectfully force-pushed the effectfully/builtins/add-constrTermFromConstrData branch from edec803 to 08d4482 Compare February 15, 2024 19:45
@effectfully effectfully force-pushed the effectfully/builtins/add-constrTermFromConstrData branch from 08d4482 to 4712cf3 Compare February 18, 2024 01:14
@zeme-wana zeme-wana force-pushed the master branch 2 times, most recently from a161078 to db5cabb Compare July 9, 2024 09:24
@effectfully
Copy link
Contributor Author

effectfully commented Sep 3, 2024 •
edited
Loading

We aren't doing it as per #5777 and #6225, hence closing.

@effectfully effectfully closed this Sep 3, 2024
@effectfully effectfully deleted the effectfully/builtins/add-constrTermFromConstrData branch September 3, 2024 21:28
@effectfully effectfully mentioned this pull request Nov 12, 2024
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
Builtins EXPERIMENT Experiments that we probably don't want to merge Performance
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@effectfully