GADTs
Open
enhancement
front end
- Dominant language
- Standard ML
- Stars
- 44
- Forks
- 5
- PR merge metrics
- No merged PRs in 30d
Description
GADTs (generalised algebraic data types) can be quite a useful feature, but we must ensure we can infer their types effectively.
Suggested by QuviQ.
Contributor guide
No contributing guide indexed for this repository
Research direction
The issue does not identify files, tests, or an entry point. Start by locating the type-inference implementation and its existing type-system tests, then determine the required GADT inference behavior and add coverage showing when the feature is complete.
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
- Needs clarification
- Newbie friendliness
- 25/100