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/dafny | |
| 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/dafny')
| -rw-r--r-- | ale_linters/dafny/dafny.vim | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ale_linters/dafny/dafny.vim b/ale_linters/dafny/dafny.vim index 8bbf1b13..b5b90675 100644 --- a/ale_linters/dafny/dafny.vim +++ b/ale_linters/dafny/dafny.vim @@ -13,6 +13,7 @@ function! ale_linters#dafny#dafny#Handle(buffer, lines) abort \ 'type': l:match[4] =~# '^Error' ? 'E' : 'W' \ }) endfor + return l:output endfunction |