]> Git — Sourcephile - haskell/symantic-parser.git/blob - tests/Golden/Machine.hs
iface: remove `satisfyOrFail`
[haskell/symantic-parser.git] / tests / Golden / Machine.hs
1 {-# LANGUAGE DataKinds #-} -- For using P.viewMachine
2 {-# LANGUAGE FlexibleContexts #-} -- For machines
3 {-# LANGUAGE GADTs #-} -- For machines
4 {-# LANGUAGE TypeApplications #-} -- For P.viewMachine
5 module Golden.Machine where
6
7 import Data.Bool (Bool(..))
8 import Data.Char (Char)
9 import Control.Monad (Monad(..))
10 import Data.Int (Int)
11 import Data.Function (($), (.))
12 import Data.Functor ((<$>))
13 import Data.Semigroup (Semigroup(..))
14 import Data.String (String, IsString(..))
15 import Data.Text (Text)
16 import System.IO (IO)
17 import Test.Tasty
18 import Test.Tasty.Golden
19 import Text.Show (Show(..))
20 import qualified Data.List as List
21
22 import Golden.Utils
23 import Grammar
24 import qualified Symantic.Parser as P
25
26 goldens :: TestTree
27 goldens = testGroup "Machine" $
28 (\f -> List.zipWith f (machines @Text) [1::Int ..]) $ \mach g ->
29 let machineFile = getGoldenDir $ "Machine/G"<>show g<>".expected.txt" in
30 goldenVsStringDiff ("G"<>show g) goldenDiff machineFile $ do
31 resetTHNameCounter
32 m <- mach
33 return $ fromString $ show $
34 P.viewMachine @'False m
35
36 machines ::
37 P.InputToken inp ~ Char =>
38 P.Positionable (P.InputPosition inp) =>
39 P.Machinable (P.InputToken inp) repr =>
40 [IO (repr inp '[] String)]
41 machines = P.optimizeMachine . P.optimizeGrammar <$> grammars