Check that the resumption is used at most once for `aff effect`
Open
1. type inference
- Dominant language
- OCaml
- Stars
- 45
- Forks
- 28
- PR merge metrics
- No merged PRs in 30d
Description
Currently the `aff effect` construct merely trusts the programmer to use the resumption in an affine way. This should be enforced by the implementation.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.