-- | Test the message parser
module Test.Parser(parserTests) where

import Test.Tasty
import Test.Tasty.HUnit

import Language.Haskell.Ghcid.Parser
import Language.Haskell.Ghcid.Types


parserTests :: TestTree
parserTests = testGroup "Parser tests"
    [testParseShowModules
    ,testParseShowPaths
    ,testParseLoad
    ,testParseLoadGhc82
    ,testParseLoadSpans
    ,testParseLoadCycles
    ,testParseLoadCyclesSelf
    ,testParseLoadEscapeCodes
    ,testMissingFile
    ]

testParseShowModules :: TestTree
testParseShowModules = testCase "Show Modules" $ parseShowModules
    ["Main             ( src/Main.hs, interpreted )"
    ,"AI.Neural.WiscDigit ( src/AI/Neural/WiscDigit.hs, interpreted )"
    ] @?=
    [("Main","src/Main.hs")
    ,("AI.Neural.WiscDigit","src/AI/Neural/WiscDigit.hs")
    ]

testParseShowPaths :: TestTree
testParseShowPaths = testCase "Show Paths" $ parseShowPaths
    ["current working directory:"
    ,"  C:\\Neil\\ghcid"
    ,"module import search paths:"
    ,"  ."
    ,"  src"
    ] @?=
    ("C:\\Neil\\ghcid",[".","src"])

testParseLoad :: TestTree
testParseLoad = testCase "Load Parsing" $ parseLoad
    ["[1 of 2] Compiling GHCi             ( GHCi.hs, interpreted )"
    ,"GHCi.hs:70:1: Parse error: naked expression at top level"
    ,"GHCi.hs:72:13:"
    ,"    No instance for (Num ([String] -> [String]))"
    ,"      arising from the literal `1'"
    ,"    Possible fix:"
    ,"      add an instance declaration for (Num ([String] -> [String]))"
    ,"    In the expression: 1"
    ,"    In an equation for `parseLoad': parseLoad = 1"
    ,"GHCi.hs:81:1: Warning: Defined but not used: `foo'"
    ,"C:\\GHCi.hs:82:1: warning: Defined but not used: \8216foo\8217" -- GHC 7.12 uses lowercase
    ,"src\\Haskell.hs:4:23:"
    ,"    Warning: {-# SOURCE #-} unnecessary in import of  `Boot'"
    ,"src\\Boot.hs-boot:2:8:"
    ,"    File name does not match module name:"
    ,"    Saw: `BootX'"
    ,"    Expected: `Boot'"
    ] @?=
    [Loading "GHCi" "GHCi.hs"
    ,Message Error   "GHCi.hs"           (70,1) (70,1)
        ["GHCi.hs:70:1: Parse error: naked expression at top level"]
    ,Message Error   "GHCi.hs"           (72,13) (72,13)
        ["GHCi.hs:72:13:"
        ,"    No instance for (Num ([String] -> [String]))"
        ,"      arising from the literal `1'","    Possible fix:"
        ,"      add an instance declaration for (Num ([String] -> [String]))"
        ,"    In the expression: 1"
        ,"    In an equation for `parseLoad': parseLoad = 1"]
    ,Message Warning "GHCi.hs"           (81,1) (81,1)
        ["GHCi.hs:81:1: Warning: Defined but not used: `foo'"]
    ,Message Warning "C:\\GHCi.hs"       (82,1) (82,1)
        ["C:\\GHCi.hs:82:1: warning: Defined but not used: \8216foo\8217"]
    ,Message Warning "src\\Haskell.hs"   (4,23) (4,23)
        ["src\\Haskell.hs:4:23:"
        ,"    Warning: {-# SOURCE #-} unnecessary in import of  `Boot'"]
    ,Message Error   "src\\Boot.hs-boot" (2,8) (2,8)
        ["src\\Boot.hs-boot:2:8:"
        ,"    File name does not match module name:"
        ,"    Saw: `BootX'"
        ,"    Expected: `Boot'"]
    ]

testParseLoadGhc82 :: TestTree
testParseLoadGhc82 = testCase "GHC 8.2 Load Parsing" $ parseLoad
    ["[18 of 24] Compiling Physics ( Physics.hs, interpreted )"
    ,"Physics.hs:30:18: error: parse error on input ‘^*’"
    ,"   |"
    ,"30 |           dx = ' ^* delta"
    ,"   |                  ^^"
    ,"Loaded GHCi configuration from C:\\Neil\\ghcid\\.ghci"
    ] @?=
    [Loading "Physics" "Physics.hs"
    ,Message Error "Physics.hs" (30,18) (30,18)
        ["Physics.hs:30:18: error: parse error on input ‘^*’"
        ,"   |"
        ,"30 |           dx = ' ^* delta"
        ,"   |                  ^^"]
    ,LoadConfig "C:\\Neil\\ghcid\\.ghci"
    ]

testMissingFile = testCase "Starting ghci with a non-existent filename" $ parseLoad
    ["<no location info>: error: can't find file: bob.hs"
    ] @?=
    []

testParseLoadCyclesSelf = testCase "Module cycle with itself" $ parseLoad
    ["Module imports form a cycle:"
    ,"  module `Language.Haskell.Ghcid.Parser' (src\\Language\\Haskell\\Ghcid\\Parser.hs) imports itself"
    ] @?=
    [Message Error "src\\Language\\Haskell\\Ghcid\\Parser.hs" (0,0) (0,0)
        ["Module imports form a cycle:"
        ,"  module `Language.Haskell.Ghcid.Parser' (src\\Language\\Haskell\\Ghcid\\Parser.hs) imports itself"]
    ]

testParseLoadCycles = testCase "Module cycle" $ parseLoad
    ["[ 4 of 13] Compiling Language.Haskell.Ghcid.Parser ( src\\Language\\Haskell\\Ghcid\\Parser.hs, interpreted )"
    ,"Module imports form a cycle:"
    ,"         module `Language.Haskell.Ghcid.Util' (src\\Language\\Haskell\\Ghcid\\Util.hs)"
    ,"        imports `Language.Haskell.Ghcid' (src\\Language\\Haskell\\Ghcid.hs)"
    ,"  which imports `Language.Haskell.Ghcid.Util' (src\\Language\\Haskell\\Ghcid\\Util.hs)"
    ] @?=
    let msg = ["Module imports form a cycle:"
              ,"         module `Language.Haskell.Ghcid.Util' (src\\Language\\Haskell\\Ghcid\\Util.hs)"
              ,"        imports `Language.Haskell.Ghcid' (src\\Language\\Haskell\\Ghcid.hs)"
              ,"  which imports `Language.Haskell.Ghcid.Util' (src\\Language\\Haskell\\Ghcid\\Util.hs)"] in
    [Loading "Language.Haskell.Ghcid.Parser" "src\\Language\\Haskell\\Ghcid\\Parser.hs"
    ,Message Error "src\\Language\\Haskell\\Ghcid\\Util.hs" (0,0) (0,0) msg
    ,Message Error "src\\Language\\Haskell\\Ghcid.hs" (0,0) (0,0) msg
    ]

testParseLoadEscapeCodes = testCase "Escape codes as enabled by -fdiagnostics-color=always" $ parseLoad
    ["\ESC[;1msrc\\Language\\Haskell\\Ghcid\\Types.hs:11:1: \ESC[;1m\ESC[35mwarning:\ESC[0m\ESC[0m\ESC[;1m [\ESC[;1m\ESC[35m-Wunused-imports\ESC[0m\ESC[0m\ESC[;1m]\ESC[0m\ESC[0m\ESC[;1m"
    ,"    The import of `Data.Data' is redundant"
    ,"      except perhaps to import instances from `Data.Data'"
    ,"    To import instances alone, use: import Data.Data()\ESC[0m\ESC[0m"
    ,"\ESC[;1m\ESC[34m   |\ESC[0m\ESC[0m"
    ,"\ESC[;1m\ESC[34m11 |\ESC[0m\ESC[0m \ESC[;1m\ESC[35mimport Data.Data\ESC[0m\ESC[0m"
    ,"\ESC[;1m\ESC[34m   |\ESC[0m\ESC[0m\ESC[;1m\ESC[35m ^^^^^^^^^^^^^^^^\ESC[0m\ESC[0m"
    ,"\ESC[0m\ESC[0m\ESC[0m"
    ,"\ESC[;1msrc\\Language\\Haskell\\Ghcid\\Util.hs:11:1: \ESC[;1m\ESC[31merror:\ESC[0m\ESC[0m\ESC[;1m\ESC[0m\ESC[0m\ESC[;1m"
    ,"    Could not find module `Language.Haskell.Ghcid.None'\ESC[0m\ESC[0m"
    ,"\ESC[;1m\ESC[34m   |\ESC[0m\ESC[0m"
    ,"\ESC[;1m\ESC[34m11 |\ESC[0m\ESC[0m \ESC[;1m\ESC[31mimport Language.Haskell.Ghcid.None\ESC[0m\ESC[0m"
    ,"\ESC[;1m\ESC[34m   |\ESC[0m\ESC[0m\ESC[;1m\ESC[31m ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\ESC[0m\ESC[0m"
    ,"\ESC[0m\ESC[0m\ESC[0m"
    ] @?=
    [Message Warning "src\\Language\\Haskell\\Ghcid\\Types.hs" (11,1) (11,1)
        ["\ESC[;1msrc\\Language\\Haskell\\Ghcid\\Types.hs:11:1: \ESC[;1m\ESC[35mwarning:\ESC[0m\ESC[0m\ESC[;1m [\ESC[;1m\ESC[35m-Wunused-imports\ESC[0m\ESC[0m\ESC[;1m]\ESC[0m\ESC[0m\ESC[;1m"
        ,"    The import of `Data.Data' is redundant"
        ,"      except perhaps to import instances from `Data.Data'"
        ,"    To import instances alone, use: import Data.Data()\ESC[0m\ESC[0m"
        ,"\ESC[;1m\ESC[34m   |\ESC[0m\ESC[0m","\ESC[;1m\ESC[34m11 |\ESC[0m\ESC[0m \ESC[;1m\ESC[35mimport Data.Data\ESC[0m\ESC[0m"
        ,"\ESC[;1m\ESC[34m   |\ESC[0m\ESC[0m\ESC[;1m\ESC[35m ^^^^^^^^^^^^^^^^\ESC[0m\ESC[0m"]
    ,Message Error "src\\Language\\Haskell\\Ghcid\\Util.hs" (11,1) (11,1)
        ["\ESC[;1msrc\\Language\\Haskell\\Ghcid\\Util.hs:11:1: \ESC[;1m\ESC[31merror:\ESC[0m\ESC[0m\ESC[;1m\ESC[0m\ESC[0m\ESC[;1m"
        ,"    Could not find module `Language.Haskell.Ghcid.None'\ESC[0m\ESC[0m"
        ,"\ESC[;1m\ESC[34m   |\ESC[0m\ESC[0m","\ESC[;1m\ESC[34m11 |\ESC[0m\ESC[0m \ESC[;1m\ESC[31mimport Language.Haskell.Ghcid.None\ESC[0m\ESC[0m"
        ,"\ESC[;1m\ESC[34m   |\ESC[0m\ESC[0m\ESC[;1m\ESC[31m ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\ESC[0m\ESC[0m"]
    ]

testParseLoadSpans :: TestTree
testParseLoadSpans = testCase "Load Parsing when -ferror-spans is enabled" $ parseLoad
    ["[1 of 2] Compiling GHCi             ( GHCi.hs, interpreted )"
    ,"GHCi.hs:70:1-2: Parse error: naked expression at top level"
    ,"GHCi.hs:72:13-14:"
    ,"    No instance for (Num ([String] -> [String]))"
    ,"      arising from the literal `1'"
    ,"    Possible fix:"
    ,"      add an instance declaration for (Num ([String] -> [String]))"
    ,"    In the expression: 1"
    ,"    In an equation for `parseLoad': parseLoad = 1"
    ,"GHCi.hs:81:1-15: Warning: Defined but not used: `foo'"
    ,"C:\\GHCi.hs:82:1-17: warning: Defined but not used: \8216foo\8217" -- GHC 7.12 uses lowercase
    ,"src\\Haskell.hs:4:23-24:"
    ,"    Warning: {-# SOURCE #-} unnecessary in import of  `Boot'"
    ,"src\\Boot.hs-boot:2:8-5:"
    ,"    File name does not match module name:"
    ,"    Saw: `BootX'"
    ,"    Expected: `Boot'"
    ,"/src/TrieSpec.hs:(192,7)-(193,76): Warning:"
    ,"    A do-notation statement discarded a result of type ‘[()]’"
    ] @?=
    [Loading "GHCi" "GHCi.hs"
    ,Message Error   "GHCi.hs"           (70,1) (70,2)
        ["GHCi.hs:70:1-2: Parse error: naked expression at top level"]
    ,Message Error   "GHCi.hs"           (72,13) (72,14)
        ["GHCi.hs:72:13-14:"
        ,"    No instance for (Num ([String] -> [String]))"
        ,"      arising from the literal `1'"
        ,"    Possible fix:"
        ,"      add an instance declaration for (Num ([String] -> [String]))"
        ,"    In the expression: 1"
        ,"    In an equation for `parseLoad': parseLoad = 1"]
    ,Message Warning "GHCi.hs"           (81,1) (81,15)
        ["GHCi.hs:81:1-15: Warning: Defined but not used: `foo'"]
    ,Message Warning "C:\\GHCi.hs"       (82,1) (82,17)
        ["C:\\GHCi.hs:82:1-17: warning: Defined but not used: \8216foo\8217"]
    ,Message Warning "src\\Haskell.hs"   (4,23) (4,24)
        ["src\\Haskell.hs:4:23-24:"
        ,"    Warning: {-# SOURCE #-} unnecessary in import of  `Boot'"]
    ,Message Error   "src\\Boot.hs-boot" (2,8) (2,5)
        ["src\\Boot.hs-boot:2:8-5:"
        ,"    File name does not match module name:"
        ,"    Saw: `BootX'"
        ,"    Expected: `Boot'"]
    ,Message Warning "/src/TrieSpec.hs"  (192,7) (193,76)
        ["/src/TrieSpec.hs:(192,7)-(193,76): Warning:"
        ,"    A do-notation statement discarded a result of type ‘[()]’"]
    ]