Type synonyms
Open
- Dominant language
- OCaml
- Stars
- 45
- Forks
- 28
- PR merge metrics
- No merged PRs in 30d
Description
Type synonyms are not implemented yet. Adding them is not as trivial as it might seem, because they interact with the unification algorithm, and therefore with the type inference. The simplest approach would be to unfold their definition, when translating from Surface to Unif, but leave some metadata that would help to fold them back, during pretty-printing. This approach scales well to type synonyms with parameters, provided that they are always fully applied.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.