marc/ale
Archived
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

dafny: update filename handling

Browse source 
cf. #3475, #3390
This commit is contained in:
D. Ben Knoble 2021-01-23 12:34:36 -05:00
parent 9fd9435cd5
commit bacb8bb902
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
ale_linters/dafny/dafny.vim
View file

@ -16,7 +16,7 @@ function! ale_linters#dafny#dafny#Handle(buffer, lines) abort
for l:match in ale#util#GetMatches(a:lines, '\v(.*)\((\d+),(\d+)\): (Verification of .{-} timed out after \d+ seconds)') for l:match in ale#util#GetMatches(a:lines, '\v(.*)\((\d+),(\d+)\): (Verification of .{-} timed out after \d+ seconds)')
call add(l:output, { call add(l:output, {
\ 'bufnr': a:buffer, \ 'filename': l:match[1],
\ 'col': l:match[3] + 0, \ 'col': l:match[3] + 0,
\ 'lnum': l:match[2] + 0, \ 'lnum': l:match[2] + 0,
\ 'text': l:match[4], \ 'text': l:match[4],

2
test/handler/test_dafny_handler.vader
View file

@ -22,7 +22,7 @@ Execute(The Dafny handler should parse output correctly):
\ 'type': 'W' \ 'type': 'W'
\ }, \ },
\ { \ {
\ 'bufnr': 0, \ 'filename': 'File.dfy',
\ 'col': 45, \ 'col': 45,
\ 'lnum': 123, \ 'lnum': 123,
\ 'text': "Verification of 'Impl$$_22_Proof.__default.PutKeepsMapsFull' timed out after 2 seconds", \ 'text': "Verification of 'Impl$$_22_Proof.__default.PutKeepsMapsFull' timed out after 2 seconds",