Skip to content

Add "inko check" command

Yorick Peterse requested to merge check-support into master

This command will type-check Inko source code without compiling it, making it possible to integrate the compiler into linters/tooling such as ALE.

In addition, we add support for displaying diagnostics as JSON. This makes it easier for third-party tools to consume the output, without having to rely on regular expression matching.

Checklist

  • Added documentation
Edited by Yorick Peterse

Merge request reports