@@ -2,23 +2,21 @@ module Test.Golden.Cardano.Wasm.TypeScript where
22
33import Control.Monad (forM_ )
44import Control.Monad.IO.Class qualified as H
5- import Control.Monad.Trans.Control (control )
65import System.FilePath ((</>) )
7- import System.IO.Temp (withSystemTempDirectory )
86
97import Hedgehog as H
8+ import Hedgehog.Extras (workspace )
109import Hedgehog.Extras qualified as H
1110
1211hprop_cardano_wasm_typescript_declarations_match_generated :: Property
1312hprop_cardano_wasm_typescript_declarations_match_generated =
1413 H. propertyOnce $ do
15- control $ \ runInHedgehog ->
16- H. liftIO $ withSystemTempDirectory " cardano-wasm-ts-decls" $ \ dir -> do
17- runInHedgehog $ do
18- _ <- H. execFlex " cardano-wasm" " CARDANO_WASM" [" --output-dir" , dir]
19- forFilesInDir dir $ \ file -> do
20- H. annotate (dir </> file)
21- H. diffFileVsGoldenFile (dir </> file) (" lib-wrapper" </> file)
14+ workspace " cardano-wasm-ts-decls" $ \ workDir -> do
15+ dir <- H. createDirectoryIfMissing (workDir </> " lib-wrapper" )
16+ _ <- H. execFlex " cardano-wasm" " CARDANO_WASM" [" --output-dir" , dir]
17+ forFilesInDir dir $ \ file -> do
18+ H. annotate (dir </> file)
19+ H. diffFileVsGoldenFile (dir </> file) (" lib-wrapper" </> file)
2220
2321forFilesInDir :: (H. MonadTest m , H. MonadIO m ) => FilePath -> (FilePath -> m () ) -> m ()
2422forFilesInDir dir action = do
0 commit comments