2023-09-16 21:22:01 +00:00
After:
unlet! g:detail
2017-02-14 22:47:53 +00:00
Execute(The ghc handler should handle hdevtools output):
2017-06-25 16:08:57 +00:00
call ale#test#SetFilename('foo.hs')
2017-02-14 22:47:53 +00:00
AssertEqual
\ [
2017-04-24 20:11:27 +00:00
\ {
\ 'lnum': 147,
\ 'type': 'W',
\ 'col': 62,
2022-10-29 11:56:09 +00:00
\ 'text': "• Couldn't match type ‘ a -> T.Text’ with ‘ T.Text’ Expected type: [T.Text]",
2017-11-26 18:24:10 +00:00
\ 'detail': join([
2022-10-29 11:56:09 +00:00
\ "• Couldn't match type ‘ a -> T.Text’ with ‘ T.Text’ ",
2017-11-26 18:24:10 +00:00
\ ' Expected type: [T.Text]',
\ ], "\n"),
2017-04-24 20:11:27 +00:00
\ },
2017-02-14 22:47:53 +00:00
\ ],
2017-06-25 16:08:57 +00:00
\ ale#handlers#haskell#HandleGHCFormat(bufnr(''), [
\ 'foo.hs:147:62: warning:',
2022-10-29 11:56:09 +00:00
\ "• Couldn't match type ‘ a -> T.Text’ with ‘ T.Text’ ",
2017-02-14 22:47:53 +00:00
\ ' Expected type: [T.Text]',
\ ])
2017-02-14 22:47:53 +00:00
Execute(The ghc handler should handle ghc 8 output):
2017-06-25 16:08:57 +00:00
call ale#test#SetFilename('src/Appoint/Lib.hs')
2017-02-14 22:47:53 +00:00
AssertEqual
\ [
2017-04-24 20:11:27 +00:00
\ {
\ 'lnum': 6,
\ 'type': 'E',
\ 'col': 1,
2017-07-06 23:28:22 +00:00
\ 'text': 'Failed to load interface for ‘ GitHub.Data’ Use -v to see a list of the files searched for.',
2017-11-26 18:24:10 +00:00
\ 'detail': join([
\ ' Failed to load interface for ‘ GitHub.Data’ ',
\ ' Use -v to see a list of the files searched for.',
\ ], "\n"),
2017-04-24 20:11:27 +00:00
\ },
\ {
\ 'lnum': 7,
\ 'type': 'W',
\ 'col': 1,
2017-07-06 23:28:22 +00:00
\ 'text': 'Failed to load interface for ‘ GitHub.Endpoints.PullRequests’ Use -v to see a list of the files searched for.',
2017-11-26 18:24:10 +00:00
\ 'detail': join([
\ ' Failed to load interface for ‘ GitHub.Endpoints.PullRequests’ ',
\ ' Use -v to see a list of the files searched for.',
\ ], "\n"),
2017-04-24 20:11:27 +00:00
\ },
2017-02-14 22:47:53 +00:00
\ ],
2017-06-25 16:08:57 +00:00
\ ale#handlers#haskell#HandleGHCFormat(bufnr(''), [
2017-02-14 22:47:53 +00:00
\ '',
2017-12-19 18:23:09 +00:00
\ ale#path#Simplify('src/Appoint/Lib.hs') . ':6:1: error:',
2017-02-14 22:47:53 +00:00
\ ' Failed to load interface for ‘ GitHub.Data’ ',
\ ' Use -v to see a list of the files searched for.',
\ '',
2017-12-19 18:23:09 +00:00
\ ale#path#Simplify('src/Appoint/Lib.hs') . ':7:1: warning:',
2017-02-14 22:47:53 +00:00
\ ' Failed to load interface for ‘ GitHub.Endpoints.PullRequests’ ',
\ ' Use -v to see a list of the files searched for.',
\ ])
2017-02-14 22:47:53 +00:00
Execute(The ghc handler should handle ghc 7 output):
2017-06-25 16:08:57 +00:00
call ale#test#SetFilename('src/Main.hs')
2017-02-14 22:47:53 +00:00
AssertEqual
\ [
2017-04-24 20:11:27 +00:00
\ {
\ 'lnum': 168,
\ 'type': 'E',
\ 'col': 1,
2017-07-06 23:28:22 +00:00
\ 'text': 'parse error (possibly incorrect indentation or mismatched brackets)',
2017-11-26 18:24:10 +00:00
\ 'detail': join([
\ ' parse error (possibly incorrect indentation or mismatched brackets)',
\ ], "\n"),
2017-07-06 23:28:22 +00:00
\ },
\ {
\ 'lnum': 84,
\ 'col': 1,
\ 'type': 'W',
2017-11-26 18:24:10 +00:00
\ 'text': 'Top-level binding with no type signature: myLayout :: Choose Tall (Choose (Mirror Tall) Full) a',
\ 'detail': join([
\ ' Top-level binding with no type signature:',
\ ' myLayout :: Choose Tall (Choose (Mirror Tall) Full) a',
\ ], "\n"),
2017-07-06 23:28:22 +00:00
\ },
\ {
\ 'lnum': 94,
\ 'col': 5,
\ 'type': 'E',
\ 'text': 'Some other error',
2017-11-26 18:24:10 +00:00
\ 'detail': join([
\ ' Some other error',
\ ], "\n"),
2017-04-24 20:11:27 +00:00
\ },
2017-02-14 22:47:53 +00:00
\ ],
2017-06-25 16:08:57 +00:00
\ ale#handlers#haskell#HandleGHCFormat(bufnr(''), [
2017-12-19 18:23:09 +00:00
\ ale#path#Simplify('src/Main.hs') . ':168:1:',
2017-02-14 22:47:53 +00:00
\ ' parse error (possibly incorrect indentation or mismatched brackets)',
2017-12-19 18:23:09 +00:00
\ ale#path#Simplify('src/Main.hs') . ':84:1:Warning:',
2017-11-26 18:24:10 +00:00
\ ' Top-level binding with no type signature:',
\ ' myLayout :: Choose Tall (Choose (Mirror Tall) Full) a',
2017-12-19 18:23:09 +00:00
\ ale#path#Simplify('src/Main.hs') . ':94:5:Error:',
2017-07-06 23:28:22 +00:00
\ ' Some other error',
2017-02-14 22:47:53 +00:00
\ ])
2017-11-13 22:47:19 +00:00
Execute(The ghc handler should handle stack 1.5.1 output):
call ale#test#SetFilename('src/Main.hs')
AssertEqual
\ [
\ {
\ 'lnum': 160,
\ 'col': 14,
\ 'type': 'E',
\ 'text': '• Expecting one fewer arguments to ‘ Exp’ Expected kind ‘ k0 -> *’ , but ‘ Exp’ has kind ‘ *’ • In the type ‘ Exp a’ | 160 | pattern F :: Exp a | ^^^^^',
2017-11-26 18:24:10 +00:00
\ 'detail': join([
\ ' • Expecting one fewer arguments to ‘ Exp’ ',
\ ' Expected kind ‘ k0 -> *’ , but ‘ Exp’ has kind ‘ *’ ',
\ ' • In the type ‘ Exp a’ ',
\ ' |',
\ ' 160 | pattern F :: Exp a',
\ ' | ^^^^^',
\ ], "\n"),
2017-11-13 22:47:19 +00:00
\ },
\ ],
\ ale#handlers#haskell#HandleGHCFormat(bufnr(''), [
2017-12-19 18:23:09 +00:00
\ ' ' . ale#path#Simplify('src/Main.hs') . ':160:14: error:',
2017-11-13 22:47:19 +00:00
\ ' • Expecting one fewer arguments to ‘ Exp’ ',
\ ' Expected kind ‘ k0 -> *’ , but ‘ Exp’ has kind ‘ *’ ',
\ ' • In the type ‘ Exp a’ ',
\ ' |',
\ ' 160 | pattern F :: Exp a',
\ ' | ^^^^^',
\ ])
2022-04-06 07:59:50 +00:00
Execute(The ghc handler should handle ghc panic):
let g:detail = [
\ '[15 of 15] Compiling SizedTypes.List',
\ 'ghc: panic! (the ''impossible'' happened)',
\ ' (GHC version 8.10.3:',
\ ' src/SizedTypes/List.hs:(46,19)-(50,0) Specified type does not refine Haskell type for `SizedTypes.List.out` (Plugged Init types new)',
\ ' The Liquid type',
\ ' .',
\ ' GHC.Types.Int -> (SizedTypes.List.List a) -> (_, (SizedTypes.List.List a))',
\ ' .',
\ ' is inconsistent with the Haskell type',
\ ' .',
\ ' forall p a ->',
\ 'p -> SizedTypes.List.List a -> (a, SizedTypes.List.List a)',
\ ' .',
\ ' defined at src/SizedTypes/List.hs:52:1-3',
\ ' .',
\ ' Specifically, the Liquid component',
\ ' .',
\ ' {VV##0 : GHC.Types.Int | VV##0 >= 0}',
\ ' .',
\ ' is inconsistent with the Haskell component',
\ ' .',
\ ' p',
\ ' .',
\ ' ',
\ ' HINT: Use the hole ''_'' instead of the mismatched component (in the Liquid specification)',
\ '',
\ 'Please report this as a GHC bug: https://www.haskell.org/ghc/reportabug',
\ '',
\ ''
\ ]
AssertEqual
\ [
\ {
\ 'lnum': 1,
\ 'col': 1,
\ 'type': 'E',
\ 'text': 'ghc panic!',
\ 'detail': join(g:detail[1:-3], "\n"),
\ },
\ ],
\ ale#handlers#haskell#HandleGHCFormat(bufnr(''), g:detail)
unlet g:detail