diff options
| author | w0rp <devw0rp@gmail.com> | 2019-02-06 18:05:13 +0000 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2019-02-06 18:05:13 +0000 |
| commit | 3e11cbd18da3852fab5dee3f743bc60dc87f0775 (patch) | |
| tree | 0ca2b5c0e3a8a60b48ffbe569a12f6ac9687cd65 /ale_linters/idris | |
| parent | 4d426bf2873c6e1cd2c71e478c756903307628d3 (diff) | |
| download | ale-3e11cbd18da3852fab5dee3f743bc60dc87f0775.zip | |
Update syntax checking
* Line continuation characters should be on the same lines.
* .vim file line indentation should be a multiple of 4.
Diffstat (limited to 'ale_linters/idris')
| -rw-r--r-- | ale_linters/idris/idris.vim | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/ale_linters/idris/idris.vim b/ale_linters/idris/idris.vim index feac0f10..42b88158 100644 --- a/ale_linters/idris/idris.vim +++ b/ale_linters/idris/idris.vim @@ -49,11 +49,11 @@ function! ale_linters#idris#idris#Handle(buffer, lines) abort let l:errors = matchlist(l:match[5], '\v([wW]arning|[eE]rror) - ?(.*)') if len(l:errors) > 0 - let l:ghc_type = l:errors[1] - let l:text = l:errors[2] + let l:ghc_type = l:errors[1] + let l:text = l:errors[2] else - let l:ghc_type = '' - let l:text = l:match[5][:0] is# ' ' ? l:match[5][1:] : l:match[5] + let l:ghc_type = '' + let l:text = l:match[5][:0] is# ' ' ? l:match[5][1:] : l:match[5] endif if l:ghc_type is? 'Warning' |