test/linter/test_idris.vader


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

Before:
  call ale#assert#SetUpLinterTest('idris', 'idris')

After:
  unlet! b:command_tail

  call ale#assert#TearDownLinterTest()

Execute(The executable should be used in the command):
  AssertLinter 'idris',
  \ ale#Escape('idris') . ' --total --warnpartial --warnreach --warnipkg --check %s'

  let b:ale_idris_idris_executable = 'foobar'

  AssertLinter 'foobar',
  \ ale#Escape('foobar') . ' --total --warnpartial --warnreach --warnipkg --check %s'

Execute(The options should be configurable):
  let b:ale_idris_idris_options = '--something'

  AssertLinter 'idris', ale#Escape('idris') . ' --something --check %s'