Type synonyms
Open
enhancement
front end
- Dominant language
- Standard ML
- Stars
- 44
- Forks
- 5
- PR merge metrics
- No merged PRs in 30d
Description
We do not currently permit type synonyms, e.g. `type syn = old_type`.
Suggested by QuviQ.
Contributor guide
No contributing guide indexed for this repository
Research direction
The issue names no files, tests, or entry points. First map where type declarations and type checking are implemented in this repository, then define completion by accepting and correctly handling `type syn = old_type`, with tests covering the new syntax and behavior.
Written by the indexing model from the issue text.
Assessment
- Domain
- compilers
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 30/100