3 ms·
> The type inference is great, so you usually don't have to write any types Does OCaml still have the infuriating "Provided A but elsewhere wanted B" error wit
by dmitriid 5y ago
> The type inference is great, so you usually don't have to write any types
Does OCaml still have the infuriating "Provided A but elsewhere wanted B" error with no indication what this elsewhere is?
I was running into it surprisingly often when I last tried OCaml.
- Zababa 5y agoI didn't encounter the error myself for some time, but I don't know if it's because the language improved or I myself improved, so I can't give you a straight answer.