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

Add derive.param2.register #758

Merged
merged 3 commits into from
Feb 2, 2025
Merged

Add derive.param2.register #758

merged 3 commits into from
Feb 2, 2025

Conversation

proux01
Copy link
Contributor

@proux01 proux01 commented Jan 28, 2025

So that users can write

Elpi derive.param2.register foo foo_R

instead of

Elpi Accumulate derive Db derive.param2.db.
Elpi Accumulate derive.param2.db "
:before ""param:fail""
param {{ @foo }} {{ @foo }} {{ @foo_R }}.
".

@proux01
Copy link
Contributor Author

proux01 commented Jan 29, 2025

After a rebase, CI green

@proux01
Copy link
Contributor Author

proux01 commented Jan 31, 2025

@gares or @CohenCyril should this one be merged?

@gares gares merged commit eea1606 into LPCIC:master Feb 2, 2025
74 checks passed
@proux01
Copy link
Contributor Author

proux01 commented Feb 2, 2025

Thanks

@proux01 proux01 deleted the param2-register branch February 2, 2025 09:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants