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 domain lettings #621

Merged
merged 4 commits into from
Jan 31, 2025
Merged

Conversation

niklasdewally
Copy link
Collaborator

@niklasdewally niklasdewally commented Jan 31, 2025

This PR adds support for lettings of the form letting NAME be domain DOMAIN

Tracking issue: #512
Closes: #620

Changelog

  • feat(ast): add domain lettings to the symbol table
  • feat(parser/json): parse domain lettings
  • feat(ast): print domain lettings
  • feat(rules): add rule to substitute domain references for their values

Based on PR #619

Chain of upstream PRs as of 2025-01-31

@niklasdewally niklasdewally self-assigned this Jan 31, 2025
@niklasdewally niklasdewally force-pushed the nik/implement-letting/03-domain-lettings branch from ef852a1 to 41aa103 Compare January 31, 2025 18:58
@niklasdewally niklasdewally marked this pull request as ready for review January 31, 2025 20:51
@niklasdewally niklasdewally force-pushed the nik/implement-letting/02-value-lettings branch from f848945 to 7e8010a Compare January 31, 2025 21:03
@niklasdewally niklasdewally force-pushed the nik/implement-letting/03-domain-lettings branch from 41aa103 to 9444c98 Compare January 31, 2025 21:03
Base automatically changed from nik/implement-letting/02-value-lettings to main January 31, 2025 21:09
@niklasdewally niklasdewally force-pushed the nik/implement-letting/03-domain-lettings branch from 9444c98 to fc242f4 Compare January 31, 2025 21:10
@niklasdewally niklasdewally merged commit 58e12f4 into main Jan 31, 2025
14 checks passed
@niklasdewally niklasdewally deleted the nik/implement-letting/03-domain-lettings branch January 31, 2025 21:19
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.

Add domain lettings
2 participants