tests/Golden/Splice.hs

   1 {-# OPTIONS_GHC -Wno-missing-signatures #-}
   2 {-# OPTIONS_GHC -Wno-incomplete-uni-patterns #-}
   3 module Golden.Splice where
   4
   5 import Data.Function (($))
   6 import Data.Functor ((<$>))
   7 import Data.Int (Int)
   8 import Data.List ((++))
   9 import Data.String (String, IsString(..))
  10 import Data.Text (Text)
  11 import System.FilePath (dropExtensions, takeBaseName, (</>), (<.>))
  12 import System.IO (IO)
  13 import Test.Tasty
  14 import Test.Tasty.Golden (goldenVsStringDiff)
  15 import Text.Show (Show(..))
  16 import qualified Data.List as List
  17 import qualified Language.Haskell.TH as TH
  18 import qualified Language.Haskell.TH.HideName as TH
  19 import qualified System.Process as Process
  20
  21 import qualified Symantic.Parser as SP
  22 import Golden.Utils
  23 import qualified Grammar
  24
  25 goldens :: TestTree
  26 goldens = testGroup "Splice"
  27   [ let spliceFile = getGoldenDir $ "Splice/"</>"G"++show gNum<.>"expected"<.>"txt" in
  28     goldenVsStringDiff (takeBaseName (dropExtensions spliceFile)) goldenDiff spliceFile $ do
  29       tExp <- splice
  30       fromString <$> Process.readProcess "ormolu"
  31         [ "--no-cabal"
  32         -- , "--no-dot-ormolu"
  33         , "-o", "-XBangPatterns"
  34         , "-o", "-XMagicHash"
  35         , "-o", "-XTypeApplications"
  36         , "-o", "-XUnboxedTuples"
  37         ]
  38         (show (TH.ppr (TH.hideName (TH.unType tExp))))
  39   | (gNum, splice) <- List.zip [1::Int ..] splices
  40   ]
  41
  42 splices :: [IO (TH.TExp (Text -> SP.Parsed Text String))]
  43 splices = (<$> Grammar.grammars) $ \g -> TH.runQ $ do
  44   mach <- TH.runIO $ do
  45     resetTHNameCounter
  46     SP.optimizeMachine $ SP.optimizeGrammar g
  47   TH.examineCode $ SP.generateCode mach
  48
  49 [ s1,s2,s3,s4,s5,s6,s7,s8,s9
  50  ,s10,s11,s12,s13,s14,s15,s16,s17,s18,s19
  51  ,s20
  52  ] = splices