Join GitHub today
More precise error message when large functions and/or modules types cannot be unified #7860
It would be nice if the compiler would be able to "zoom" in the diff between two complex structures (modules/functions) which cannot unify.
For instance, I've just got the following error on 4.07.1:
The actual issue is that