diff options
| author | Scott Bonds <scott@mixbook.com> | 2017-08-10 13:09:58 -0700 |
|---|---|---|
| committer | w0rp <w0rp@users.noreply.github.com> | 2017-08-10 21:09:58 +0100 |
| commit | 322910dc0b07c1b59bc968b1fb0d4c1d8bfb988e (patch) | |
| tree | 7a9bb2cf2c1c4fda1c43ea2d0378f7155f982859 /doc | |
| parent | dcf7cbe3661444b272346f9a3f1a7fd26b97dae3 (diff) | |
| download | ale-322910dc0b07c1b59bc968b1fb0d4c1d8bfb988e.zip | |
Add linter for Idris (#838)
* Add linter for Idris
* Fix parsing warnings and column ranges in Idris linter
* Make Idris linter configurable. Fix help tag.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ale-idris.txt | 23 | ||||
| -rw-r--r-- | doc/ale.txt | 3 |
2 files changed, 26 insertions, 0 deletions
diff --git a/doc/ale-idris.txt b/doc/ale-idris.txt new file mode 100644 index 00000000..c7500b0d --- /dev/null +++ b/doc/ale-idris.txt @@ -0,0 +1,23 @@ +=============================================================================== +ALE Idris Integration *ale-idris-options* + +=============================================================================== +idris *ale-idris-idris* + +g:ale_idris_idris_executable *g:ale_idris_idris_executable* + *b:ale_idris_idris_executable* + Type: |String| + Default: `'idris'` + + This variable can be changed to change the path to idris. + + +g:ale_idris_idris_options *g:ale_idris_idris_options* + *b:ale_idris_idris_options* + Type: |String| + Default: `'--total --warnpartial --warnreach --warnipkg'` + + This variable can be changed to modify flags given to idris. + +=============================================================================== + vim:tw=78:ts=2:sts=2:sw=2:ft=help:norl: diff --git a/doc/ale.txt b/doc/ale.txt index 869a5576..eb31b829 100644 --- a/doc/ale.txt +++ b/doc/ale.txt @@ -49,6 +49,8 @@ CONTENTS *ale-contents* html..................................|ale-html-options| htmlhint............................|ale-html-htmlhint| tidy................................|ale-html-tidy| + idris.................................|ale-idris-options| + idris...............................|ale-idris-idris| java..................................|ale-java-options| checkstyle..........................|ale-java-checkstyle| javac...............................|ale-java-javac| @@ -191,6 +193,7 @@ The following languages and tools are supported. * Handlebars: 'ember-template-lint' * Haskell: 'ghc', 'stack-ghc', 'stack-build', 'ghc-mod', 'stack-ghc-mod', 'hlint', 'hdevtools' * HTML: 'HTMLHint', 'proselint', 'tidy' +* Idris: 'idris' * Java: 'javac' * JavaScript: 'eslint', 'jscs', 'jshint', 'flow', 'prettier', 'prettier-eslint', 'xo' * JSON: 'jsonlint' |