Method identifiers
Open
0. parsing
1. type inference
- Dominant language
- OCaml
- Stars
- 45
- Forks
- 28
- PR merge metrics
- No merged PRs in 30d
Description
It would be nice to allow accessing to a function representing a method without η-expanding it. We agreed on the following syntax (in the grammar of identifiers).
1. `(.m)` for a method `m` assigned to a type that should be inferred by a type-checker.
2. `(.m of T)` for a method `m` assigned to a type `T`.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.