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/ale-idris.txt | |
| 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/ale-idris.txt')
| -rw-r--r-- | doc/ale-idris.txt | 23 |
1 files changed, 23 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: |