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

feat(compiler)!: Update include syntax #2043

Merged
merged 6 commits into from
Feb 22, 2024
Merged

feat(compiler)!: Update include syntax #2043

merged 6 commits into from
Feb 22, 2024

Conversation

ospencer
Copy link
Member

Closes #2001

@ospencer ospencer self-assigned this Feb 20, 2024
@ospencer ospencer force-pushed the oscar/include-syntax branch 2 times, most recently from 8bf2415 to 89db187 Compare February 20, 2024 22:34
Base automatically changed from oscar/use-syntax to main February 21, 2024 16:34
Copy link
Member

@phated phated left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Found a few things. The big one is non-punning of as when the include is the same.

@ospencer Also, in the root issue you mentioned the LSP does an inlay for the module name, so you'll need to fix that as well. I think it just needs to be changed from : ModuleName to include ModuleName

compiler/test/grainfmt/application.input.gr Outdated Show resolved Hide resolved
compiler/src/typed/typemod.re Outdated Show resolved Hide resolved
compiler/test/grainfmt/matches.input.gr Outdated Show resolved Hide resolved
stdlib/runtime/equal.gr Outdated Show resolved Hide resolved
stdlib/runtime/string.gr Outdated Show resolved Hide resolved
stdlib/runtime/string.gr Outdated Show resolved Hide resolved
@ospencer ospencer added this pull request to the merge queue Feb 22, 2024
Merged via the queue into main with commit 5f44d4e Feb 22, 2024
12 checks passed
@ospencer ospencer deleted the oscar/include-syntax branch February 22, 2024 05:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
No open projects
Status: Done
Development

Successfully merging this pull request may close these issues.

None yet

2 participants