Incorporate dual-thread architecture to enable instant first-frame render (IFR)

- Drop jsaddle/jsaddle-warp from GHC and native nix package sets
- Switch miso source from pinned fetchFromGitHub rev to fetchFromFlake (master)
- Bump cabal.project miso tag to master
- Update flake.lock for new miso revision
- Fix withJS comment: jsaddle -> WASM

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

Author: dmjio

bun.lock

@@ -10,4 +10,4 @@ allow-newer:
 source-repository-package
   type: git
   location: https://github.com/dmjio/miso.git
-  tag: 1.12.0
+  tag: master

cabal.project

@@ -11,9 +11,6 @@ self: super:
 
   /* examples */
   miso-lynx-examples = self.callCabal2nix "miso-lynx-examples" source.examples {};
-  jsaddle = self.callCabal2nix "jsaddle" "${source.jsaddle}/jsaddle" {};
-  jsaddle-warp =
-    dontCheck (self.callCabal2nix "jsaddle-warp" "${source.jsaddle}/jsaddle-warp" {});
 
   /* cruft */
   crypton = dontCheck super.crypton;

flake.lock

@@ -10,7 +10,6 @@ self: super:
   miso-lynx = self.callCabal2nix "miso-lynx" source.miso-lynx {};
 
   /* deps */
-  jsaddle = self.callCabal2nix "jsaddle" "${source.jsaddle}/jsaddle" {};
   ghcjs-base = self.callCabal2nix "ghcjs-base" source.ghcjs-base {};
 
   /* examples */

js/miso-lynx.js

@@ -14,6 +14,7 @@ let
          (hasSuffix ".html" baseName) ||
          (hasSuffix ".png" baseName) ||
          (hasSuffix ".js" baseName) ||
+         (hasSuffix ".c" baseName) ||
          (hasSuffix ".ts" baseName) ||
          (hasSuffix ".json" baseName) ||
          (baseName == "README.md") ||
@@ -32,7 +33,6 @@ in
   miso-lynx = make-src-filter ../.;
   examples = make-src-filter ../examples;
   miso = fetchFromFlake (nodes.miso);
-  jsaddle = fetchFromFlake (nodes.jsaddle);
   ghcjs-base = fetchFromGitHub {
     owner = "dmjio";
     repo = "ghcjs-base";

nix/haskell/packages/ghc/default.nix

@@ -53,7 +53,7 @@ import Control.Monad (void)
 lynx :: Eq model => Events -> App model action -> IO ()
 lynx events vcomp = withJS (renderApp events "native" vcomp)
 -----------------------------------------------------------------------------
--- | Used when compiling with jsaddle to make miso's JavaScript present in
+-- | Used when compiling with WASM to make miso's JavaScript present in
 -- the execution context.
 withJS :: IO a -> IO ()
 withJS action = void $ do

nix/haskell/packages/native/default.nix

@@ -0,0 +1,2 @@
+declare var __BACKGROUND__: boolean;
+declare var __MAIN_THREAD__: boolean;

nix/source.nix

@@ -1,8 +1,3 @@
-import { mts } from './miso/mts';
-import { bts } from './miso/bts';
-import * as btsContext from './miso/bts/context';
-import * as mtsContext from './miso/mts/context';
-
 import {
   TextDecoder,
   TextEncoder,
@@ -19,32 +14,25 @@ globalThis['TextEncoder'] = TextEncoder;
 globalThis['BigInt'] = JSBI.BigInt;
 globalThis['JSBI'] = JSBI;
 
-if ('__BACKGROUND__' in globalThis) {
-  globalThis['native'] = {
-    drawingContext : btsContext.drawingContext,
-    eventContext : btsContext.eventContext,
-    componentContext : btsContext.componentContext
-  }
+import { bts } from './miso/bts';
+import { mts } from './miso/mts';
+import { drawingContext as btsDC, eventContext as btsEC, componentContext as btsCX } from './miso/bts/context';
+import { drawingContext as mtsDC, eventContext as mtsEC, componentContext as mtsCX } from './miso/mts/context';
+
+// both use nodeId
+globalThis['nodeId'] = 1;
+globalThis['initialDraw'] = true;
+
+if (__BACKGROUND__) {
+  globalThis['native'] = { drawingContext: btsDC, eventContext: btsEC, componentContext: btsCX };
   globalThis['patches'] = [];
-  globalThis['nodeId'] = 1;
   bts();
 } else {
-  globalThis['native'] = {
-    drawingContext : mtsContext.drawingContext,
-    eventContext : mtsContext.eventContext,
-    componentContext : mtsContext.componentContext
-  };
-}
-
-/* init mts() */
-globalThis['renderPage'] = function () {
-  mts();
+  globalThis['native'] = { drawingContext: mtsDC, eventContext: mtsEC, componentContext: mtsCX };
+  globalThis['renderPage'] = () => mts();
+  globalThis['runWorklet'] = (worklet, params) => worklet(params);
 }
 
 /* etc. */
 globalThis['processData'] = () => {};
 
-/* runWorklet boilerplate */
-globalThis['runWorklet'] = (worklet, params) => {
-  return worklet(params);
-}