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

Remove ifOrd #1729

Closed
lukaszcz opened this issue Jan 16, 2023 · 0 comments · Fixed by #1832
Closed

Remove ifOrd #1729

lukaszcz opened this issue Jan 16, 2023 · 0 comments · Fixed by #1832
Assignees
@lukaszcz @janmasrovira
Labels
bug language pending-review standard-library
Milestone
0.3 - Valencia

Comments

@lukaszcz
Copy link
Collaborator

lukaszcz commented Jan 16, 2023 •
edited by jonaprieto
Loading

It makes no sense to have an eager if in any form. This depends on

because we need to replace the uses of ifOrd with a let and an if, and the old C backend doesn't support let.
@lukaszcz lukaszcz added this to the 0.3 milestone Jan 16, 2023
@lukaszcz lukaszcz self-assigned this Jan 19, 2023
@lukaszcz lukaszcz changed the title Make ifOrd a builtin with lazy semantics or remove it Remove ifOrd Feb 2, 2023
@lukaszcz lukaszcz mentioned this issue Feb 23, 2023
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@lukaszcz lukaszcz

@janmasrovira janmasrovira

Labels
bug language pending-review standard-library
Projects
None yet
Milestone
0.3 - Valencia
Development

Successfully merging a pull request may close this issue.

New compilation pipeline anoma/juvix
2 participants
@lukaszcz @janmasrovira