Add test to ensure the generated TypeScript file matches

Author: palas

cardano-wasm/cardano-wasm.cabal

@@ -61,3 +61,26 @@ executable cardano-wasm
     build-depends:
       ghc-experimental,
       utf8-string,
+
+test-suite cardano-wasm-test
+  import: project-config
+  hs-source-dirs: test
+  main-is: cardano-wasm-test.hs
+  type: exitcode-stdio-1.0
+  build-depends:
+    hedgehog,
+    hedgehog-extras,
+    tasty,
+    tasty-hedgehog,
+
+  ghc-options:
+    -threaded
+    -rtsopts
+    "-with-rtsopts=-N -T"
+
+  build-tool-depends:
+    cardano-wasm:cardano-wasm,
+    tasty-discover:tasty-discover,
+
+  other-modules:
+    Test.Golden.Cardano.Wasm.TypeScript

cardano-wasm/test/Test/Golden/Cardano/Wasm/TypeScript.hs

@@ -0,0 +1,11 @@
+module Test.Golden.Cardano.Wasm.TypeScript where
+
+import Hedgehog (Property)
+import Hedgehog.Extras (defaultExecConfig, exec)
+import Hedgehog.Extras qualified as H
+
+hprop_cardano_wasm_typescript_declarations_match_generated :: Property
+hprop_cardano_wasm_typescript_declarations_match_generated =
+  H.propertyOnce $ do
+    result <- exec defaultExecConfig "cardano-wasm" []
+    H.diffVsGoldenFile result "example/cardano-api.d.ts"

cardano-wasm/test/cardano-wasm-test.hs

@@ -0,0 +1 @@
+{-# OPTIONS_GHC -F -pgmF tasty-discover -optF --hide-successes #-}