Fix for Safari

pointfree-wasm · Oct 12, 2024 · 2ab5b3b · 2ab5b3b
1 parent ed24db7
commit 2ab5b3b
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -87,6 +87,9 @@ jobs:
 
         $(wasm32-wasi-ghc --print-libdir)/post-link.mjs -i $(wasm32-wasi-cabal list-bin pointfree-wasm:exe:pointfree-wasm) -o gh-pages-result/pointfree-wasm.js
 
+        # Remove import that Safari doesn’t like.
+        sed -i -re 's/^([ \t]*).*import\("node:timers"\).*$/\1throw new Error("node not supported");/' gh-pages-result/pointfree-wasm.js
+
     - name: Deploy on Github Pages
       uses: peaceiris/actions-gh-pages@v3
       if: ${{ matrix.deploy && (github.ref == 'refs/heads/master') }}