diff options
author | w0rp <devw0rp@gmail.com> | 2017-10-01 18:41:41 +0100 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2017-10-01 18:41:41 +0100 |
commit | 4634b1be93adbeb1cbed2b9f25025b45d0c5015b (patch) | |
tree | 48dec8f838215d070d52c15a3bbb6ba03c4ee1d0 /test/handler/test_idris_handler.vader | |
parent | 5731616cd27c6000a0ee788611b9299eebb9cf7f (diff) | |
download | ale-4634b1be93adbeb1cbed2b9f25025b45d0c5015b.zip |
Fix Flow and Idris tests for Windows
Diffstat (limited to 'test/handler/test_idris_handler.vader')
-rw-r--r-- | test/handler/test_idris_handler.vader | 46 |
1 files changed, 25 insertions, 21 deletions
diff --git a/test/handler/test_idris_handler.vader b/test/handler/test_idris_handler.vader index b1fb2a01..6a032ea6 100644 --- a/test/handler/test_idris_handler.vader +++ b/test/handler/test_idris_handler.vader @@ -12,7 +12,11 @@ After: call ale#linter#Reset() Execute(The idris handler should parse messages that reference a single column): - call ale#test#SetFilename('/tmp/foo.idr') + if has('win32') + call ale#test#SetFilename($TEMP . '\foo.idr') + else + call ale#test#SetFilename('/tmp/foo.idr') + endif AssertEqual \ [ @@ -24,21 +28,21 @@ Execute(The idris handler should parse messages that reference a single column): \ } \ ], \ ale_linters#idris#idris#Handle(bufnr(''), [ - \ '/tmp/foo.idr:4:5:', - \ 'When checking right hand side of main with expected type', - \ ' IO ()', - \ '', - \ 'When checking an application of function Prelude.Monad.>>=:', - \ ' Type mismatch between', - \ ' IO () (Type of putStrLn _)', - \ ' and', - \ ' _ -> _ (Is putStrLn _ applied to too many arguments?)', - \ '', - \ ' Specifically:', - \ ' Type mismatch between', - \ ' IO', - \ ' and', - \ ' \uv => _ -> uv', + \ expand('%:p') . ':4:5:', + \ 'When checking right hand side of main with expected type', + \ ' IO ()', + \ '', + \ 'When checking an application of function Prelude.Monad.>>=:', + \ ' Type mismatch between', + \ ' IO () (Type of putStrLn _)', + \ ' and', + \ ' _ -> _ (Is putStrLn _ applied to too many arguments?)', + \ '', + \ ' Specifically:', + \ ' Type mismatch between', + \ ' IO', + \ ' and', + \ ' \uv => _ -> uv', \ ]) Execute(The idris handler should parse messages that reference a column range): @@ -54,9 +58,9 @@ Execute(The idris handler should parse messages that reference a column range): \ } \ ], \ ale_linters#idris#idris#Handle(bufnr(''), [ - \ '/tmp/foo.idr:11:11-13:', - \ 'When checking right hand side of Main.case block in main at /tmp/foo.idr:10:10 with expected type', - \ ' IO ()', - \ '', - \ 'Last statement in do block must be an expression', + \ expand('%:p') . ':11:11-13:', + \ 'When checking right hand side of Main.case block in main at /tmp/foo.idr:10:10 with expected type', + \ ' IO ()', + \ '', + \ 'Last statement in do block must be an expression', \ ]) |