summaryrefslogtreecommitdiff
path: root/test/command_callback/test_idris_command_callbacks.vader
diff options
context:
space:
mode:
Diffstat (limited to 'test/command_callback/test_idris_command_callbacks.vader')
-rw-r--r--test/command_callback/test_idris_command_callbacks.vader21
1 files changed, 0 insertions, 21 deletions
diff --git a/test/command_callback/test_idris_command_callbacks.vader b/test/command_callback/test_idris_command_callbacks.vader
deleted file mode 100644
index ce7cd270..00000000
--- a/test/command_callback/test_idris_command_callbacks.vader
+++ /dev/null
@@ -1,21 +0,0 @@
-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'