diff options
| author | w0rp <devw0rp@gmail.com> | 2018-09-04 16:51:18 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2018-09-04 16:51:18 +0100 |
| commit | d476578a402763f2c6e4e0ada2eb345d0ac938d7 (patch) | |
| tree | 77f5a61c6eada15821391ecb4f78b87fa8e406db /ale_linters/idris | |
| parent | 8f2e1c393f74326979e1c74af8dc9b6ca8004778 (diff) | |
| download | ale-d476578a402763f2c6e4e0ada2eb345d0ac938d7.zip | |
Improve ALE project style checking
* The project style linter now runs while you type.
* Now the scripts for checking the project require blank lines.
* Many style issues have been found and fixed.
Diffstat (limited to 'ale_linters/idris')
| -rw-r--r-- | ale_linters/idris/idris.vim | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ale_linters/idris/idris.vim b/ale_linters/idris/idris.vim index b3275b40..feac0f10 100644 --- a/ale_linters/idris/idris.vim +++ b/ale_linters/idris/idris.vim @@ -12,7 +12,7 @@ endfunction function! ale_linters#idris#idris#Handle(buffer, lines) abort " This was copied almost verbatim from ale#handlers#haskell#HandleGHCFormat - + " " Look for lines like the following: " foo.idr:2:6:When checking right hand side of main with expected type " bar.idr:11:11-13: @@ -30,6 +30,7 @@ function! ale_linters#idris#idris#Handle(buffer, lines) abort else let l:corrected_lines[-1] .= l:line endif + let l:corrected_lines[-1] = substitute(l:corrected_lines[-1], '\s\+', ' ', 'g') endif endfor |