effekt-lang / effekt-lang/effekt
Move fresh names from namer to codegen
- Dominant language
- Scala
- Stars
- 469
- Forks
- 41
- Avg merge
- 1d 16h
- Merged PRs (30d)
- 23
Description
Namer already generates fresh names (if there are multiple definitions in the same scope).
This is way overloaded definitions can be uniquely addressed.
However, this is confusing responsibilities. Making generated names unique should be a part of code-generation.
The job of namer is to resolve names to unique _symbols_, not to also introduce unique _names_.
Contributor guide
No contributing guide indexed for this repository
Research direction
Start by locating the namer and codegen phases, then trace where fresh names are generated and where names are resolved to unique symbols. The work is done when generated-name uniqueness belongs to code generation, namer only resolves symbols, and overloaded definitions in one scope remain uniquely addressable.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- scala
- Domain
- compilers
- Issue type
- Refactor
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100