mirror of
https://github.com/Mesabloo/diagnose.git
synced 2024-10-26 19:29:32 +03:00
Remove color parameter from tests
This commit is contained in:
parent
21d08763e4
commit
7634d15502
@ -103,7 +103,7 @@ let diagnostic = addFile def "somefile.zc" "let id<a>(x : a) : a := x\n + 1"
|
|||||||
let diagnostic' = addReport diagnostic beautifulExample
|
let diagnostic' = addReport diagnostic beautifulExample
|
||||||
|
|
||||||
-- Print with unicode characters, colors and the default style
|
-- Print with unicode characters, colors and the default style
|
||||||
printDiagnostic stdout True True 4 defaultStyle diagnostic'
|
printDiagnostic stdout True 4 defaultStyle diagnostic'
|
||||||
```
|
```
|
||||||
|
|
||||||
More examples are given in the [`test/rendering`](./test/rendering) folder (execute `stack test` to see the output).
|
More examples are given in the [`test/rendering`](./test/rendering) folder (execute `stack test` to see the output).
|
||||||
|
@ -241,7 +241,7 @@ import Error.Diagnose.Style as Export
|
|||||||
-- > -- Creates a new diagnostic with no default hints from the bundle returned by megaparsec
|
-- > -- Creates a new diagnostic with no default hints from the bundle returned by megaparsec
|
||||||
-- > diag' = addFile diag filename content
|
-- > diag' = addFile diag filename content
|
||||||
-- > -- Add the file used when parsing with the same filename given to 'MP.runParser'
|
-- > -- Add the file used when parsing with the same filename given to 'MP.runParser'
|
||||||
-- > in printDiagnostic stderr True True 4 diag'
|
-- > in printDiagnostic stderr True 4 diag'
|
||||||
-- > Right res -> print res
|
-- > Right res -> print res
|
||||||
--
|
--
|
||||||
-- This example will return the following error message (assuming default instances for @'Error.Diagnose.Compat.Megaparsec.HasHints' 'Data.Void.Void' msg@):
|
-- This example will return the following error message (assuming default instances for @'Error.Diagnose.Compat.Megaparsec.HasHints' 'Data.Void.Void' msg@):
|
||||||
@ -282,7 +282,7 @@ import Error.Diagnose.Style as Export
|
|||||||
-- > -- Creates a new diagnostic with no default hints from the bundle returned by megaparsec
|
-- > -- Creates a new diagnostic with no default hints from the bundle returned by megaparsec
|
||||||
-- > diag' = addFile diag filename content
|
-- > diag' = addFile diag filename content
|
||||||
-- > -- Add the file used when parsing with the same filename given to 'MP.runParser'
|
-- > -- Add the file used when parsing with the same filename given to 'MP.runParser'
|
||||||
-- > in printDiagnostic stderr True True 4 diag'
|
-- > in printDiagnostic stderr True 4 diag'
|
||||||
-- > Right res -> print res
|
-- > Right res -> print res
|
||||||
--
|
--
|
||||||
-- This will output the following error on @stderr@:
|
-- This will output the following error on @stderr@:
|
||||||
|
@ -44,12 +44,12 @@ main = do
|
|||||||
content3
|
content3
|
||||||
|
|
||||||
case res1 of
|
case res1 of
|
||||||
Left diag -> printDiagnostic stdout True True 4 defaultStyle (addFile diag filename (Text.unpack content1) :: Diagnostic String)
|
Left diag -> printDiagnostic stdout True 4 defaultStyle (addFile diag filename (Text.unpack content1) :: Diagnostic String)
|
||||||
Right res -> print res
|
Right res -> print res
|
||||||
case res2 of
|
case res2 of
|
||||||
Left diag -> printDiagnostic stdout True True 4 defaultStyle (addFile diag filename (Text.unpack content2) :: Diagnostic String)
|
Left diag -> printDiagnostic stdout True 4 defaultStyle (addFile diag filename (Text.unpack content2) :: Diagnostic String)
|
||||||
Right res -> print res
|
Right res -> print res
|
||||||
putStrLn "------------- res3 ----------------"
|
putStrLn "------------- res3 ----------------"
|
||||||
case res3 of
|
case res3 of
|
||||||
Left diag -> printDiagnostic stdout True True 4 defaultStyle (addFile diag filename (Text.unpack content3) :: Diagnostic String)
|
Left diag -> printDiagnostic stdout True 4 defaultStyle (addFile diag filename (Text.unpack content3) :: Diagnostic String)
|
||||||
Right res -> print res
|
Right res -> print res
|
||||||
|
@ -29,10 +29,10 @@ main = do
|
|||||||
res2 = first (errorDiagnosticFromBundle Nothing "Parse error on input" Nothing) $ MP.runParser @Void (MP.some MP.decimal <* MP.eof) filename content2
|
res2 = first (errorDiagnosticFromBundle Nothing "Parse error on input" Nothing) $ MP.runParser @Void (MP.some MP.decimal <* MP.eof) filename content2
|
||||||
|
|
||||||
case res1 of
|
case res1 of
|
||||||
Left diag -> printDiagnostic stdout True True 4 defaultStyle (addFile diag filename (Text.unpack content1) :: Diagnostic String)
|
Left diag -> printDiagnostic stdout True 4 defaultStyle (addFile diag filename (Text.unpack content1) :: Diagnostic String)
|
||||||
Right res -> print res
|
Right res -> print res
|
||||||
case res2 of
|
case res2 of
|
||||||
Left diag -> printDiagnostic stdout True True 4 defaultStyle (addFile diag filename (Text.unpack content2) :: Diagnostic String)
|
Left diag -> printDiagnostic stdout True 4 defaultStyle (addFile diag filename (Text.unpack content2) :: Diagnostic String)
|
||||||
Right res -> print res
|
Right res -> print res
|
||||||
|
|
||||||
putStrLn "---------------------------------------------------"
|
putStrLn "---------------------------------------------------"
|
||||||
|
@ -29,8 +29,8 @@ parser2 = op' "\\" *> letter
|
|||||||
|
|
||||||
main :: IO ()
|
main :: IO ()
|
||||||
main = do
|
main = do
|
||||||
either (printDiagnostic stderr True True 4 defaultStyle) print $ diagParse parser1 "issues/2.txt" "\\1"
|
either (printDiagnostic stderr True 4 defaultStyle) print $ diagParse parser1 "issues/2.txt" "\\1"
|
||||||
either (printDiagnostic stderr True True 4 defaultStyle) print $ diagParse parser2 "issues/2.txt" "\\1"
|
either (printDiagnostic stderr True 4 defaultStyle) print $ diagParse parser2 "issues/2.txt" "\\1"
|
||||||
|
|
||||||
-- smaller example
|
-- smaller example
|
||||||
op' :: String -> Parser String
|
op' :: String -> Parser String
|
||||||
|
@ -32,13 +32,13 @@ main = do
|
|||||||
res3 = first (errorDiagnosticFromParseError Nothing "Parse error on input" Nothing) $ P.parse (test1 <* P.eof) filename content3
|
res3 = first (errorDiagnosticFromParseError Nothing "Parse error on input" Nothing) $ P.parse (test1 <* P.eof) filename content3
|
||||||
|
|
||||||
case res1 of
|
case res1 of
|
||||||
Left diag -> printDiagnostic stdout True True 4 defaultStyle (addFile diag filename (Text.unpack content1) :: Diagnostic String)
|
Left diag -> printDiagnostic stdout True 4 defaultStyle (addFile diag filename (Text.unpack content1) :: Diagnostic String)
|
||||||
Right res -> print res
|
Right res -> print res
|
||||||
case res2 of
|
case res2 of
|
||||||
Left diag -> printDiagnostic stdout True True 4 defaultStyle (addFile diag filename (Text.unpack content2) :: Diagnostic String)
|
Left diag -> printDiagnostic stdout True 4 defaultStyle (addFile diag filename (Text.unpack content2) :: Diagnostic String)
|
||||||
Right res -> print res
|
Right res -> print res
|
||||||
case res3 of
|
case res3 of
|
||||||
Left diag -> printDiagnostic stdout True True 4 defaultStyle (addFile diag filename (Text.unpack content3) :: Diagnostic String)
|
Left diag -> printDiagnostic stdout True 4 defaultStyle (addFile diag filename (Text.unpack content3) :: Diagnostic String)
|
||||||
Right res -> print res
|
Right res -> print res
|
||||||
|
|
||||||
-- all issue reproduction
|
-- all issue reproduction
|
||||||
|
Loading…
Reference in New Issue
Block a user