Use V8 lazy compilation/validation for TH splices (#633)

asterius/src/Asterius/GHCi/Internals.hs

@@ -127,7 +127,8 @@ newGHCiJSSession = do
       defJSSessionOpts
         { nodeExtraArgs =
             [ "--experimental-wasm-return-call",
-              "--wasm-interpret-all",
+              "--wasm-lazy-compilation",
+              "--wasm-lazy-validation",
               "--wasm-max-mem-pages=65536"
             ],
           nodeExtraEnv =

asterius/src/Asterius/JSRun/NonMain.hs

@@ -55,6 +55,7 @@ distNonMain p extra_syms =
         inputHS = p,
         outputDirectory = takeDirectory p,
         outputBaseName = takeBaseName p,
+        validate = False,
         tailCalls = True,
         yolo = True,
         Asterius.Main.Task.hasMain = False,

asterius/src/Asterius/Main.hs

@@ -86,6 +86,7 @@ parseTask args = case err_msgs of
           str_opt "output-directory" $ \s t -> t {outputDirectory = s},
           str_opt "output-prefix" $ \s t -> t {outputBaseName = s},
           bool_opt "no-main" $ \t -> t {hasMain = False},
+          bool_opt "no-validate" $ \t -> t {validate = False},
           bool_opt "tail-calls" $ \t -> t {tailCalls = True},
           bool_opt "no-gc-sections" $ \t -> t {gcSections = False},
           bool_opt "bundle" $ \t -> t {bundle = True},
@@ -317,9 +318,10 @@ ahcDistMain logger task (final_m, report) = do
       when (optimizeLevel task > 0 || shrinkLevel task > 0) $ do
         logger "[INFO] Running binaryen optimization"
         Binaryen.optimize m_ref
-      logger "[INFO] Validating binaryen IR"
-      pass_validation <- Binaryen.validate m_ref
-      when (pass_validation /= 1) $ fail "[ERROR] binaryen validation failed"
+      when (validate task) $ do
+        logger "[INFO] Validating binaryen IR"
+        pass_validation <- Binaryen.validate m_ref
+        when (pass_validation /= 1) $ fail "[ERROR] binaryen validation failed"
       m_bin <- Binaryen.serializeModule m_ref
       logger $ "[INFO] Writing WebAssembly binary to " <> show out_wasm
       BS.writeFile out_wasm m_bin

asterius/src/Asterius/Main/Task.hs

@@ -13,6 +13,7 @@ module Asterius.Main.Task
     outputDirectory,
     outputBaseName,
     hasMain,
+    validate,
     tailCalls,
     gcSections,
     bundle,
@@ -51,7 +52,7 @@ data Task
         inputEntryMJS :: Maybe FilePath,
         outputDirectory :: FilePath,
         outputBaseName :: String,
-        hasMain, tailCalls, gcSections, bundle, debug, outputIR, run, verboseErr, yolo, consoleHistory :: Bool,
+        hasMain, validate, tailCalls, gcSections, bundle, debug, outputIR, run, verboseErr, yolo, consoleHistory :: Bool,
         extraGHCFlags :: [String],
         exportFunctions, extraRootSymbols :: [EntitySymbol],
         gcThreshold :: Int
@@ -68,6 +69,7 @@ defTask = Task
     outputBaseName = error "Asterius.Main.parseTask: missing outputBaseName",
     inputEntryMJS = Nothing,
     hasMain = True,
+    validate = True,
     tailCalls = False,
     gcSections = True,
     bundle = False,