Skip to content

Mode error messages should use the solver error#2383

Merged
riaqn merged 2 commits intoocaml-flambda:mainfrom
riaqn:mode-error-message
Mar 20, 2024

Commits

Commits on Mar 20, 2024