Skip to content

Allow qualified identifiers as heads of applications#137

Merged
ajreynol merged 2 commits intomainfrom
qualId
Apr 29, 2025
Merged

Allow qualified identifiers as heads of applications#137
ajreynol merged 2 commits intomainfrom
qualId

Conversation

@ajreynol
Copy link
Copy Markdown
Member

We initially did not plan to have general support for as; support for parsing it as a head of an application was missing, which is fixed by this PR. A regression is added.

@ajreynol ajreynol merged commit cea074c into main Apr 29, 2025
20 checks passed
@ajreynol ajreynol deleted the qualId branch April 29, 2025 13:55
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.

1 participant