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.

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

Rename Nockma stdlib to anomalib and add RM references #3111

Merged
merged 2 commits into from
Oct 21, 2024

Conversation

paulcadman
Copy link
Collaborator

@paulcadman paulcadman commented Oct 18, 2024

Most changes in this PR relate to renaming of the Anoma Nock StandardLibrary to AnomaLibrary. This is because the Anoma library now consists of a standard library from anoma.hoon and the resource machine library resource-machine.hoon.

The Anoma RM functions and value references are also added. Their integration into the compiler pipeline will happen in a separate PR.

The Anoma Library RM functions and stdlib functions are enumerated separately. There is a separate type for Anoma Library values because these are compiled differently than functions.

Part of:

@paulcadman paulcadman force-pushed the nockma-rm-integration branch 2 times, most recently from 85be79b to 0ea2365 Compare October 18, 2024 21:01
@paulcadman paulcadman added this to the 0.6.7 milestone Oct 18, 2024
@paulcadman paulcadman force-pushed the nockma-rm-integration branch 2 times, most recently from 5939a25 to e73a27d Compare October 21, 2024 10:10
@paulcadman paulcadman changed the title Integrate nockma resource machine client library Rename Nockma stdlib to anomalib and add RM references Oct 21, 2024
@paulcadman paulcadman marked this pull request as ready for review October 21, 2024 10:15
The Anoma library contains both Anoma standard library and Anoma
Resource machine library. In future other libraries will also be provided
@lukaszcz lukaszcz merged commit 8fb5ae7 into main Oct 21, 2024
4 checks passed
@lukaszcz lukaszcz deleted the nockma-rm-integration branch October 21, 2024 11:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants