Allowing unsolved unification variables
Open
2. effect inference
4.1. repl
- Dominant language
- OCaml
- Stars
- 45
- Forks
- 28
- PR merge metrics
- No merged PRs in 30d
Description
Currently, unsolved unification variables of other kind than effect, cause an error during effect inference. This variables could be handled, by treating them as some abstract type. However, in REPL, this type could be set by subsequent commands, so the solution to this problem is not so trivial.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.