diff options
| author | Yorick Peterse <yorick@yorickpeterse.com> | 2020-10-29 18:27:27 +0100 |
|---|---|---|
| committer | Yorick Peterse <yorick@yorickpeterse.com> | 2020-12-23 16:50:45 +0100 |
| commit | 8375ee2766c4d69462b8c883ddf76d58a86891e4 (patch) | |
| tree | 788aeba36d0c906359dd18a69225b8998bc508ec /doc | |
| parent | 557a1ed5da70cb443a8650766f4e8ea95e8c0da3 (diff) | |
| download | ale-8375ee2766c4d69462b8c883ddf76d58a86891e4.zip | |
Add linter for Inko
This adds a linter for Inko (https://inko-lang.org/). The linter makes
use of Inko's own compiler, and a newly introduced --check flag to only
check for errors; instead of also compiling source code.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ale-inko.txt | 22 | ||||
| -rw-r--r-- | doc/ale-supported-languages-and-tools.txt | 2 | ||||
| -rw-r--r-- | doc/ale.txt | 3 |
3 files changed, 27 insertions, 0 deletions
diff --git a/doc/ale-inko.txt b/doc/ale-inko.txt new file mode 100644 index 00000000..5ca14af6 --- /dev/null +++ b/doc/ale-inko.txt @@ -0,0 +1,22 @@ +=============================================================================== +ALE Inko Integration *ale-inko-options* + *ale-integration-inko* + +=============================================================================== +Integration Information + + Currently, the only supported linter for Inko is the Inko compiler itself. + +=============================================================================== +inko *ale-inko-inko* + +g:ale_inko_inko_executable *g:ale_inko_inko_executable* + *b:ale_inko_inko_executable* + Type: |String| + Default: `'inko'` + + This variable can be modified to change the executable path for `inko`. + + +=============================================================================== + vim:tw=78:ts=2:sts=2:sw=2:ft=help:norl: diff --git a/doc/ale-supported-languages-and-tools.txt b/doc/ale-supported-languages-and-tools.txt index 4f3afd85..613bf2b8 100644 --- a/doc/ale-supported-languages-and-tools.txt +++ b/doc/ale-supported-languages-and-tools.txt @@ -213,6 +213,8 @@ Notes: * `idris` * Ink * `ink-language-server` +* Inko + * `inko` !! * ISPC * `ispc`!! * Java diff --git a/doc/ale.txt b/doc/ale.txt index eb8f0275..a5613d33 100644 --- a/doc/ale.txt +++ b/doc/ale.txt @@ -1502,6 +1502,7 @@ g:ale_linters *g:ale_linters* \ 'go': ['gofmt', 'golint', 'go vet'], \ 'hack': ['hack'], \ 'help': [], + \ 'inko': ['inko'], \ 'perl': ['perlcritic'], \ 'perl6': [], \ 'python': ['flake8', 'mypy', 'pylint', 'pyright'], @@ -2656,6 +2657,8 @@ documented in additional help files. idris.................................|ale-idris-idris| ink.....................................|ale-ink-options| ink-language-server...................|ale-ink-language-server| + inko....................................|ale-inko-options| + inko..................................|ale-inko-inko| ispc....................................|ale-ispc-options| ispc..................................|ale-ispc-ispc| java....................................|ale-java-options| |