Abbreviate module types when printing error messages#1895
Merged
goldfirere merged 2 commits intoocaml-flambda:mainfrom rleshchinskiy:shorter-error-messagesOct 4, 2023
+246-139
Commits
Commits on Oct 3, 2023
- committed
Roman Leshchinskiy
Commits on Oct 4, 2023
- committedRoman Leshchinskiy