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

Convert Nat representation to JuvixCore integers #1606

Closed
lukaszcz opened this issue Nov 7, 2022 · 0 comments · Fixed by #1661
Closed

Convert Nat representation to JuvixCore integers #1606

lukaszcz opened this issue Nov 7, 2022 · 0 comments · Fixed by #1661
Assignees
@lukaszcz
Labels
core Related to JuvixCore enhancement New feature or request
Milestone
0.3 - Valencia

Comments

@lukaszcz
Copy link
Collaborator

lukaszcz commented Nov 7, 2022 •
edited
Loading

This should be done after compiling pattern matching (#1531). The Nat representation and builtin functions should be changed simultaneously.
@lukaszcz lukaszcz added enhancement New feature or request pending-review core Related to JuvixCore labels Nov 7, 2022
@lukaszcz lukaszcz added this to the 0.3 milestone Nov 7, 2022
@lukaszcz lukaszcz mentioned this issue Nov 7, 2022
Closed
@lukaszcz lukaszcz self-assigned this Dec 5, 2022
@lukaszcz lukaszcz changed the title Convert builtin functions on Nats to corresponding JuvixCore operations on integers Convert Nat representation to JuvixCore integers Dec 5, 2022
@lukaszcz lukaszcz mentioned this issue Dec 9, 2022
Merged
@lukaszcz lukaszcz linked a pull request Dec 9, 2022 that will close this issue
Conversion of Nat representation to JuvixCore integers #1661
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@lukaszcz lukaszcz

Labels
core Related to JuvixCore enhancement New feature or request
Projects
None yet
Milestone
0.3 - Valencia
Development

Successfully merging a pull request may close this issue.

Conversion of Nat representation to JuvixCore integers anoma/juvix
1 participant
@lukaszcz