322910dc0b
* Add linter for Idris * Fix parsing warnings and column ranges in Idris linter * Make Idris linter configurable. Fix help tag.
23 lines
1,007 B
Text
23 lines
1,007 B
Text
===============================================================================
|
|
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:
|