effekt-lang / effekt-lang/effekt
Private definitions
Open
feature
- Dominant language
- Scala
- Stars
- 469
- Forks
- 41
- Avg merge
- 1d 16h
- Merged PRs (30d)
- 23
Description
It would be great if _all_ toplevel definitions could carry some flags (such as `private`). This way, it would be easier to prevent (accidental) misuse of unsafe extern definitions.
It also serves as documentation and could help as heuristic in improved IDE support (autocompletion, etc.).
Another flag in the future would be `export "FFIname"`; one common instance of this is `main`.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.