Remove 'a from wordLang AST onwards
- Dominant language
- Standard ML
- Stars
- 1.2k
- Forks
- 104
- Avg merge
- 2d 21h
- Merged PRs (30d)
- 16
Description
@myreen pointed out that the only use of 'a in the AST (from wordLang onwards) is for constants.
It should be possible to represent these with nums instead, and have the entire compiler be non-dependent on 'a.
However, this is a very expensive refactor (the semantics still needs to know 'a, and some compiler passes will need to change so that they depend on a word size config).
Contributor guide
No contributing guide indexed for this repository
Research direction
Start by mapping the wordLang AST and compiler passes that still depend on 'a, then compare them with the semantics, which the issue says still needs 'a. Identify how constants could use nums and where passes would need a word-size configuration. Done means the compiler from wordLang onward no longer depends on 'a while the stated semantics dependency remains understood.
Written by the indexing model from the issue text.
Assessment
- Domain
- compilers
- Issue type
- Refactor
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100