Skip to content

Allow merging of Namespace and Module in TrieMapping - #16070

Merged
vzarytovskii merged 1 commit into
dotnet:mainfrom
nojaf:fix-15985
Oct 7, 2023
Merged

Allow merging of Namespace and Module in TrieMapping#16070
vzarytovskii merged 1 commit into
dotnet:mainfrom
nojaf:fix-15985

Conversation

@nojaf

@nojafnojaf commented Oct 3, 2023

Copy link
Copy Markdown
Contributor

Fixes#15985.

@safesparrow would you mind taking a look at this change?
The problem was in constructing the Trie. We didn't anticipate that a name could be used for both a module and a namespace. My fix is to treat the module as it exposes a type inside the namespace.
I think this is acceptable but would like to hear your opinion here.

@nojaf
nojaf requested a review from a team as a code ownerOctober 3, 2023 13:22
@vzarytovskii

Copy link
Copy Markdown
Member

@dotnet/fsharp-team-msft one more review please, @0101 perhaps?

@nojaf do you want to wait for review from Janusz before merge?

0101
0101 approved these changes Oct 4, 2023

@01010101 left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Looks good to me

@nojaf

nojaf commented Oct 5, 2023

Copy link
Copy Markdown
ContributorAuthor

I spoke with Janusz earlier this week, and he's planning to review it within this week. If you haven't received any updates by next week, I suggest merging it as-is. We can handle any feedback at a later stage.

@safesparrowsafesparrow left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

This fixes the issue, so happy for it to be merged. Thanks @nojaf

Longer term we might want to refactor the model to more accurately represent the language constructs, but that's not a blocker in any way.

Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

Graph based checking error with CompilationRepresentationFlags.ModuleSuffix

4 participants

@nojaf@vzarytovskii@0101@safesparrow