.vim/bundle/ale/test/handler/test_idris_handler.vader

   1 Before:
   2   Save $TMPDIR
   3
   4   " Set TMPDIR so the temporary file checks work.
   5   let $TMPDIR = '/tmp'
   6
   7   runtime ale_linters/idris/idris.vim
   8
   9 After:
  10   Restore
  11
  12   call ale#linter#Reset()
  13
  14 Execute(The idris handler should parse messages that reference a single column):
  15   if has('win32')
  16     call ale#test#SetFilename($TEMP . '\foo.idr')
  17   else
  18     call ale#test#SetFilename('/tmp/foo.idr')
  19   endif
  20
  21   AssertEqual
  22   \ [
  23   \   {
  24   \     'lnum': 4,
  25   \     'col': 5,
  26   \     'type': 'E',
  27   \     'text': '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'
  28   \   }
  29   \ ],
  30   \ ale_linters#idris#idris#Handle(bufnr(''), [
  31   \   expand('%:p') . ':4:5:',
  32   \   'When checking right hand side of main with expected type',
  33   \   '        IO ()',
  34   \   '',
  35   \   'When checking an application of function Prelude.Monad.>>=:',
  36   \   '        Type mismatch between',
  37   \   '                IO () (Type of putStrLn _)',
  38   \   '        and',
  39   \   '                _ -> _ (Is putStrLn _ applied to too many arguments?)',
  40   \   '',
  41   \   '        Specifically:',
  42   \   '                Type mismatch between',
  43   \   '                        IO',
  44   \   '                and',
  45   \   '                        \uv => _ -> uv',
  46   \ ])
  47
  48 Execute(The idris handler should parse messages that reference a column range):
  49   call ale#test#SetFilename('/tmp/foo.idr')
  50
  51   AssertEqual
  52   \ [
  53   \   {
  54   \     'lnum': 11,
  55   \     'col': 11,
  56   \     'type': 'E',
  57   \     'text': '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'
  58   \   }
  59   \ ],
  60   \ ale_linters#idris#idris#Handle(bufnr(''), [
  61   \   expand('%:p') . ':11:11-13:',
  62   \   'When checking right hand side of Main.case block in main at /tmp/foo.idr:10:10 with expected type',
  63   \   '        IO ()',
  64   \   '',
  65   \   'Last statement in do block must be an expression',
  66   \ ])