@reventlessdev/reventless-gwt 1.0.0-alpha.75 → 1.0.0-alpha.77

package/tests/FormatterGoldenTest.res.mjs

@@ -0,0 +1,162 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as Outcome$ReventlessGwt from "../src/Outcome.res.mjs";
+import * as FormatterTap$ReventlessGwt from "../src/FormatterTap.res.mjs";
+import * as FormatterHuman$ReventlessGwt from "../src/FormatterHuman.res.mjs";
+
+let evA = JSON.parse(`{"TAG":"ProductAdded","_0":{"productId":"p1","name":"Widget"}}`);
+
+let evB = JSON.parse(`{"TAG":"ProductRenamed","_0":{"productId":"p1","name":"Gadget"}}`);
+
+let stateActive = JSON.parse(`{"status":"active"}`);
+
+let stateArchived = JSON.parse(`{"status":"archived"}`);
+
+let appendExpected = JSON.parse(`{"query":[]}`);
+
+let appendActual = JSON.parse(`{"query":[{"eventTypes":["ProductAdded"]}]}`);
+
+let goldens = [
+  {
+    name: "EventsMismatch",
+    mismatch: {
+      TAG: "EventsMismatch",
+      expected: [evA],
+      actual: [evB]
+    },
+    format: "EventsMismatch:\n  expected: [{\n  \"TAG\": \"ProductAdded\",\n  \"_0\": {\n    \"productId\": \"p1\",\n    \"name\": \"Widget\"\n  }\n}]\n  actual:   [{\n  \"TAG\": \"ProductRenamed\",\n  \"_0\": {\n    \"productId\": \"p1\",\n    \"name\": \"Gadget\"\n  }\n}]",
+    human: "  expected: [ProductAdded({productId: \"p1\", name: \"Widget\"})]\n  actual:   [ProductRenamed({productId: \"p1\", name: \"Gadget\"})]",
+    tap: "  kind: \"EventsMismatch\"\n  expected: \"[ProductAdded({productId: \\\"p1\\\", name: \\\"Widget\\\"})]\"\n  actual: \"[ProductRenamed({productId: \\\"p1\\\", name: \\\"Gadget\\\"})]\""
+  },
+  {
+    name: "ErrorMismatch",
+    mismatch: {
+      TAG: "ErrorMismatch",
+      expected: "CategoryAlreadyExists",
+      actual: undefined,
+      actualEvents: [evA]
+    },
+    format: "ErrorMismatch:\n  expected error: \"CategoryAlreadyExists\"\n  actual error:   (none)\n  actual events:  [{\n  \"TAG\": \"ProductAdded\",\n  \"_0\": {\n    \"productId\": \"p1\",\n    \"name\": \"Widget\"\n  }\n}]",
+    human: "  expected: Error(\"CategoryAlreadyExists\")\n  actual:   Ok([ProductAdded({productId: \"p1\", name: \"Widget\"})])",
+    tap: "  kind: \"ErrorMismatch\"\n  expected: \"Error(\\\"CategoryAlreadyExists\\\")\"\n  actual: \"Ok([ProductAdded({productId: \\\"p1\\\", name: \\\"Widget\\\"})])\""
+  },
+  {
+    name: "StateMismatch",
+    mismatch: {
+      TAG: "StateMismatch",
+      key: "p1",
+      expected: stateActive,
+      actual: stateArchived
+    },
+    format: "StateMismatch (key: p1):\n  expected: {\n  \"status\": \"active\"\n}\n  actual:   {\n  \"status\": \"archived\"\n}",
+    human: "  key:      \"p1\"\n  expected: {status: \"active\"}\n  actual:   {status: \"archived\"}",
+    tap: "  kind: \"StateMismatch\"\n  key: \"p1\"\n  expected: \"{status: \\\"active\\\"}\"\n  actual: \"{status: \\\"archived\\\"}\""
+  },
+  {
+    name: "NoEventExpected",
+    mismatch: {
+      TAG: "NoEventExpected",
+      actual: [evA]
+    },
+    format: "NoEventExpected: expected no events, got:\n  [{\n  \"TAG\": \"ProductAdded\",\n  \"_0\": {\n    \"productId\": \"p1\",\n    \"name\": \"Widget\"\n  }\n}]",
+    human: "  expected no events\n  actual:   [ProductAdded({productId: \"p1\", name: \"Widget\"})]",
+    tap: "  kind: \"NoEventExpected\"\n  actual: \"[ProductAdded({productId: \\\"p1\\\", name: \\\"Widget\\\"})]\""
+  },
+  {
+    name: "TranslateError",
+    mismatch: {
+      TAG: "TranslateError",
+      expected: "boom",
+      actual: "kaboom"
+    },
+    format: "TranslateError:\n  expected: boom\n  actual:   kaboom",
+    human: "  expected: boom\n  actual:   kaboom",
+    tap: "  kind: \"TranslateError\"\n  expected: \"boom\"\n  actual: \"kaboom\""
+  },
+  {
+    name: "Throw",
+    mismatch: {
+      TAG: "Throw",
+      error: "unexpected",
+      stack: "at foo"
+    },
+    format: "Throw: unexpected\nat foo",
+    human: "  error: unexpected\nat foo",
+    tap: "  kind: \"Throw\"\n  error: \"unexpected\"\n  stack: \"at foo\""
+  },
+  {
+    name: "TodoMismatch",
+    mismatch: {
+      TAG: "TodoMismatch",
+      expected: [[
+          "case-1",
+          evA
+        ]],
+      actual: [[
+          "case-2",
+          evB
+        ]]
+    },
+    format: "TodoMismatch:\n  expected: [(case-1, {\n  \"TAG\": \"ProductAdded\",\n  \"_0\": {\n    \"productId\": \"p1\",\n    \"name\": \"Widget\"\n  }\n})]\n  actual:   [(case-2, {\n  \"TAG\": \"ProductRenamed\",\n  \"_0\": {\n    \"productId\": \"p1\",\n    \"name\": \"Gadget\"\n  }\n})]",
+    human: "  expected: [(case-1, ProductAdded({productId: \"p1\", name: \"Widget\"}))]\n  actual:   [(case-2, ProductRenamed({productId: \"p1\", name: \"Gadget\"}))]",
+    tap: "  kind: \"TodoMismatch\"\n  expected: \"[(case-1, ProductAdded({productId: \\\"p1\\\", name: \\\"Widget\\\"}))]\"\n  actual: \"[(case-2, ProductRenamed({productId: \\\"p1\\\", name: \\\"Gadget\\\"}))]\""
+  },
+  {
+    name: "AppendConditionMismatch",
+    mismatch: {
+      TAG: "AppendConditionMismatch",
+      expected: appendExpected,
+      actual: appendActual
+    },
+    format: "AppendConditionMismatch:\n  expected: {\n  \"query\": []\n}\n  actual:   {\n  \"query\": [\n    {\n      \"eventTypes\": [\n        \"ProductAdded\"\n      ]\n    }\n  ]\n}",
+    human: "  expected: {query: []}\n  actual:   {query: [{eventTypes: [\"ProductAdded\"]}]}",
+    tap: "  kind: \"AppendConditionMismatch\"\n  expected: \"{query: []}\"\n  actual: \"{query: [{eventTypes: [\\\"ProductAdded\\\"]}]}\""
+  },
+  {
+    name: "QueryRowsMismatch",
+    mismatch: {
+      TAG: "QueryRowsMismatch",
+      expected: [evA],
+      actual: [evB]
+    },
+    format: "QueryRowsMismatch:\n  expected: [{\n  \"TAG\": \"ProductAdded\",\n  \"_0\": {\n    \"productId\": \"p1\",\n    \"name\": \"Widget\"\n  }\n}]\n  actual:   [{\n  \"TAG\": \"ProductRenamed\",\n  \"_0\": {\n    \"productId\": \"p1\",\n    \"name\": \"Gadget\"\n  }\n}]",
+    human: "  expected: [ProductAdded({productId: \"p1\", name: \"Widget\"})]\n  actual:   [ProductRenamed({productId: \"p1\", name: \"Gadget\"})]",
+    tap: "  kind: \"QueryRowsMismatch\"\n  expected: \"[ProductAdded({productId: \\\"p1\\\", name: \\\"Widget\\\"})]\"\n  actual: \"[ProductRenamed({productId: \\\"p1\\\", name: \\\"Gadget\\\"})]\""
+  },
+  {
+    name: "PublishedActionsMismatch",
+    mismatch: {
+      TAG: "PublishedActionsMismatch",
+      expected: [evA],
+      actual: [evB]
+    },
+    format: "PublishedActionsMismatch:\n  expected: [{\n  \"TAG\": \"ProductAdded\",\n  \"_0\": {\n    \"productId\": \"p1\",\n    \"name\": \"Widget\"\n  }\n}]\n  actual:   [{\n  \"TAG\": \"ProductRenamed\",\n  \"_0\": {\n    \"productId\": \"p1\",\n    \"name\": \"Gadget\"\n  }\n}]",
+    human: "  expected: [ProductAdded({productId: \"p1\", name: \"Widget\"})]\n  actual:   [ProductRenamed({productId: \"p1\", name: \"Gadget\"})]",
+    tap: "  kind: \"PublishedActionsMismatch\"\n  expected: \"[ProductAdded({productId: \\\"p1\\\", name: \\\"Widget\\\"})]\"\n  actual: \"[ProductRenamed({productId: \\\"p1\\\", name: \\\"Gadget\\\"})]\""
+  }
+];
+
+globalThis.describe("Formatter golden outputs (per-mismatch rendering)", () => {
+  goldens.forEach(g => {
+    globalThis.test(g.name + ` — Outcome.format`, () => {
+      globalThis.expect(Outcome$ReventlessGwt.format(g.mismatch)).toEqual(g.format);
+    });
+    globalThis.test(g.name + ` — FormatterHuman.renderMismatch`, () => {
+      globalThis.expect(FormatterHuman$ReventlessGwt.renderMismatch(g.mismatch)).toEqual(g.human);
+    });
+    globalThis.test(g.name + ` — FormatterTap.renderMismatchYaml`, () => {
+      globalThis.expect(FormatterTap$ReventlessGwt.renderMismatchYaml(g.mismatch)).toEqual(g.tap);
+    });
+  });
+});
+
+export {
+  evA,
+  evB,
+  stateActive,
+  stateArchived,
+  appendExpected,
+  appendActual,
+  goldens,
+}
+/* evA Not a pure module */

package/tests/MappingGwtTest.res

@@ -33,6 +33,7 @@ module CategoryBehavior = {
   module Spec = CategorySpec
   type state = NotCreated | Created
   let initialState = NotCreated
+  let snapshot = None
 
   let evolve = (_state, event: CategorySpec.event) =>
     switch event {
@@ -70,6 +71,7 @@ module ProductBehavior = {
   module Spec = ProductSpec
   type state = Pristine | Mirrored
   let initialState = Pristine
+  let snapshot = None
 
   let evolve = (_state, event: ProductSpec.event) =>
     switch event {

package/tests/MappingGwtTest.res.mjs

@@ -66,6 +66,7 @@ let moduleUrl$1 = "";
 let CategoryBehavior = {
   Spec: undefined,
   initialState: "NotCreated",
+  snapshot: undefined,
   evolve: evolve,
   decide: decide,
   moduleUrl: moduleUrl$1
@@ -133,6 +134,7 @@ let moduleUrl$3 = "";
 let ProductBehavior = {
   Spec: undefined,
   initialState: "Pristine",
+  snapshot: undefined,
   evolve: evolve$1,
   decide: decide$1,
   moduleUrl: moduleUrl$3
@@ -299,6 +301,7 @@ let CategorySource = Mapping_GWT$ReventlessGwt.FromBehavior({
   initialState: "NotCreated",
   evolve: evolve,
   decide: decide,
+  snapshot: undefined,
   moduleUrl: moduleUrl$1
 });
 
@@ -335,6 +338,7 @@ let ProductTarget = Mapping_GWT$ReventlessGwt.FromBehavior({
   initialState: "Pristine",
   evolve: evolve$1,
   decide: decide$1,
+  snapshot: undefined,
   moduleUrl: moduleUrl$3
 });
 

package/tests/WatchDebounceTest.res

@@ -49,10 +49,11 @@ describe("Watch.debounce coalescing", () => {
     expect(calls.contents)->toEqual([Watch.Unlink])
   })
 
-  testPromise("interleaved .res.mjs unlinks don't steal the representative path", async () => {
+  testPromise("interleaved .res.mjs unlinks never surface; each distinct .res source does", async () => {
     // The real directory-mv burst chokidar emits: source AND generated files
-    // unlink interleaved. The coalesced path must be a `.res` source, not the
-    // last-seen `.res.mjs` (which would misclassify as a non-structural change).
+    // unlink interleaved. Only `.res` sources are emitted (never a `.res.mjs`),
+    // and every *distinct* source is emitted — two moved modules must both drive
+    // a rebuild, not collapse to one representative.
     let calls = ref([])
     let fire = Watch.debounce(40, (e, p) => calls := Array.concat(calls.contents, [(e, p)]))
     fire(Watch.Unlink, "/p/src/old/A.res")
@@ -62,10 +63,37 @@ describe("Watch.debounce coalescing", () => {
     fire(Watch.Add, "/p/src/new/A.res")
     fire(Watch.Add, "/p/src/new/A.res.mjs")
     await delay(120)
-    expect(calls.contents->Array.length)->toEqual(1)
-    let (e, p) = calls.contents->Array.getUnsafe(0)
-    expect(e)->toEqual(Watch.Unlink)
-    expect(Watch.isStructuralSource(e, p))->toEqual(true)
+    let paths = calls.contents->Array.map(((_, p)) => p)
+    expect(calls.contents->Array.every(((e, p)) => Watch.isStructuralSource(e, p)))->toEqual(true)
+    expect(paths->Array.includes("/p/src/old/A.res"))->toEqual(true)
+    expect(paths->Array.includes("/p/src/old/A_Behavior.res"))->toEqual(true)
+    expect(paths->Array.some(p => p->String.endsWith(".mjs")))->toEqual(false)
+    expect(calls.contents->Array.length)->toEqual(2)
+  })
+
+  testPromise("a burst spanning two packages emits an unlink per package (A4.1)", async () => {
+    // Regression: the old single-`bestPath` debounce clean-rebuilt only one
+    // package on a multi-package burst, stranding the other with stale .res.mjs.
+    let calls = ref([])
+    let fire = Watch.debounce(40, (e, p) => calls := Array.concat(calls.contents, [(e, p)]))
+    fire(Watch.Unlink, "/pkgA/src/Foo.res")
+    fire(Watch.Unlink, "/pkgB/src/Bar.res")
+    await delay(120)
+    let paths = calls.contents->Array.map(((_, p)) => p)
+    expect(paths->Array.includes("/pkgA/src/Foo.res"))->toEqual(true)
+    expect(paths->Array.includes("/pkgB/src/Bar.res"))->toEqual(true)
+    expect(calls.contents->Array.length)->toEqual(2)
+  })
+
+  testPromise("a structural signal suppresses a co-occurring plain change", async () => {
+    // A structural rebuild does its own re-run, so a plain edit in the same
+    // window must not also emit a separate Change (which would double-run).
+    let calls = ref([])
+    let fire = Watch.debounce(40, (e, _p) => calls := Array.concat(calls.contents, [e]))
+    fire(Watch.Change, "/p/src/Edited.res")
+    fire(Watch.Unlink, "/p/src/old/Moved.res")
+    await delay(120)
+    expect(calls.contents)->toEqual([Watch.Unlink])
   })
 
   testPromise("a lone change stays a change (incremental re-run)", async () => {

package/tests/WatchDebounceTest.res.mjs

@@ -55,7 +55,7 @@ globalThis.describe("Watch.debounce coalescing", () => {
     await delay(120);
     globalThis.expect(calls.contents).toEqual(["Unlink"]);
   });
-  globalThis.test("interleaved .res.mjs unlinks don't steal the representative path", async () => {
+  globalThis.test("interleaved .res.mjs unlinks never surface; each distinct .res source does", async () => {
     let calls = {
       contents: []
     };
@@ -72,11 +72,42 @@ globalThis.describe("Watch.debounce coalescing", () => {
     fire("Add", "/p/src/new/A.res");
     fire("Add", "/p/src/new/A.res.mjs");
     await delay(120);
-    globalThis.expect(calls.contents.length).toEqual(1);
-    let match = calls.contents[0];
-    let e = match[0];
-    globalThis.expect(e).toEqual("Unlink");
-    globalThis.expect(Watch$ReventlessGwt.isStructuralSource(e, match[1])).toEqual(true);
+    let paths = calls.contents.map(param => param[1]);
+    globalThis.expect(calls.contents.every(param => Watch$ReventlessGwt.isStructuralSource(param[0], param[1]))).toEqual(true);
+    globalThis.expect(paths.includes("/p/src/old/A.res")).toEqual(true);
+    globalThis.expect(paths.includes("/p/src/old/A_Behavior.res")).toEqual(true);
+    globalThis.expect(paths.some(p => p.endsWith(".mjs"))).toEqual(false);
+    globalThis.expect(calls.contents.length).toEqual(2);
+  });
+  globalThis.test("a burst spanning two packages emits an unlink per package (A4.1)", async () => {
+    let calls = {
+      contents: []
+    };
+    let fire = Watch$ReventlessGwt.debounce(40, (e, p) => {
+      calls.contents = calls.contents.concat([[
+          e,
+          p
+        ]]);
+    });
+    fire("Unlink", "/pkgA/src/Foo.res");
+    fire("Unlink", "/pkgB/src/Bar.res");
+    await delay(120);
+    let paths = calls.contents.map(param => param[1]);
+    globalThis.expect(paths.includes("/pkgA/src/Foo.res")).toEqual(true);
+    globalThis.expect(paths.includes("/pkgB/src/Bar.res")).toEqual(true);
+    globalThis.expect(calls.contents.length).toEqual(2);
+  });
+  globalThis.test("a structural signal suppresses a co-occurring plain change", async () => {
+    let calls = {
+      contents: []
+    };
+    let fire = Watch$ReventlessGwt.debounce(40, (e, _p) => {
+      calls.contents = calls.contents.concat([e]);
+    });
+    fire("Change", "/p/src/Edited.res");
+    fire("Unlink", "/p/src/old/Moved.res");
+    await delay(120);
+    globalThis.expect(calls.contents).toEqual(["Unlink"]);
   });
   globalThis.test("a lone change stays a change (incremental re-run)", async () => {
     let calls = {