Skip to content

Support import "filename" as ModuleName syntax#482

Merged
LPTK merged 10 commits into
hkust-taco:hkmc2from
NeilKleistGao:import🍅
Apr 30, 2026

Hidden character warning

The head ref may contain hidden characters: "import\ud83c\udf45"
Merged

Support import "filename" as ModuleName syntax#482
LPTK merged 10 commits into
hkust-taco:hkmc2from
NeilKleistGao:import🍅

Conversation

@NeilKleistGao
Copy link
Copy Markdown
Member

Can be used in #461.

Copy link
Copy Markdown
Contributor

@LPTK LPTK left a comment

Choose a reason for hiding this comment

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

There's redundancy in the logic. Can't you just remove the parser changes? You need to add more negative test cases.

Comment thread hkmc2/shared/src/main/scala/hkmc2/syntax/ParseRule.scala Outdated
Comment thread hkmc2/shared/src/main/scala/hkmc2/semantics/Elaborator.scala
Comment thread hkmc2/shared/src/main/scala/hkmc2/semantics/Elaborator.scala Outdated
Comment thread hkmc2/shared/src/main/scala/hkmc2/syntax/ParseRule.scala Outdated
Comment thread hkmc2/shared/src/main/scala/hkmc2/syntax/ParseRule.scala Outdated
Copy link
Copy Markdown
Contributor

@LPTK LPTK left a comment

Choose a reason for hiding this comment

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

Otherwise LGTM.

Comment thread hkmc2/shared/src/main/scala/hkmc2/semantics/Elaborator.scala
Copy link
Copy Markdown
Contributor

@LPTK LPTK left a comment

Choose a reason for hiding this comment

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

LGTM, thanks!

@LPTK LPTK merged commit 642bda3 into hkust-taco:hkmc2 Apr 30, 2026
1 check passed
@LPTK LPTK deleted the import🍅 branch April 30, 2026 02:45
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.

2 participants