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

Rename `if` to `ite` #104

Merged

janmasrovira merged 1 commit into main from rename-if-to-ite

Jun 28, 2024

Contributor

janmasrovira commented Jun 26, 2024

We rename if to ite since if will become a keyword in Add front-end support for case expressions boolean side conditions juvix#2852

janmasrovira added the refactor label

janmasrovira self-assigned this

janmasrovira force-pushed the rename-if-to-ite branch from ac9474f to bed0642 Compare

June 26, 2024 12:11


          rename if to ite

50acdf1

janmasrovira force-pushed the rename-if-to-ite branch from bed0642 to 50acdf1 Compare

June 26, 2024 12:28

janmasrovira requested review from paulcadman and lukaszcz

June 26, 2024 12:51

paulcadman approved these changes

View reviewed changes

janmasrovira merged commit 89a5960 into main

1 check passed

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

Labels