e149692cc9
subrepo: subdir: "dotfiles/.vim/plugged/ale" merged: "e4b205440" upstream: origin: "https://github.com/dense-analysis/ale.git" branch: "master" commit: "e4b205440" git-subrepo: version: "0.4.3" origin: "???" commit: "???"
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:
|