effekt-lang / effekt-lang/effekt

Move fresh names from namer to codegen

Open
#74 0 comments 0 reactions 0 assignees View on GitHub
refactoring
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

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.