@reventlessdev/online-shop-aggregates-ordering 3.0.0-alpha.101 → 3.0.0-alpha.103

package/CHANGELOG.md

@@ -3,6 +3,21 @@
 All notable changes to this project will be documented in this file.
 See [Conventional Commits](https://conventionalcommits.org) for commit guidelines.
 
+# 3.0.0-alpha.103 (2026-06-29)
+
+**Note:** Version bump only for package @reventlessdev/online-shop-aggregates-ordering
+
+
+
+
+
+# 3.0.0-alpha.102 (2026-06-27)
+
+### Bug Fixes
+
+* **ordering-example:** resolve evolve exhaustiveness + GWT unused-open warnings ([c1e1476](https://github.com/ReventlessDev/reventless-core/commit/c1e1476eba7036fcf355f4190aa045e1c876edd7))
+
+
 # 3.0.0-alpha.101 (2026-06-27)
 
 **Note:** Version bump only for package @reventlessdev/online-shop-aggregates-ordering

package/lib/bs/.compiler.log

@@ -1,2 +1,2 @@
-#Start(1782549919675)
-#Done(1782549921006)
+#Start(1782764558688)
+#Done(1782764559995)

package/lib/bs/compiler-info.json

@@ -4,5 +4,5 @@
   "bsc_hash": "75e3a59c95cc953608fd3dd6ea6ed68141bba4414a20a52f114261b8a48385fa",
   "rescript_config_hash": "4c884bf958b93b21c77764e35498f269b81377cfcc324135f1ab7a1cc5b569cb",
   "runtime_path": "/home/runner/work/reventless-core/reventless-core/node_modules/@rescript/runtime",
-  "generated_at": "1782549921012"
+  "generated_at": "1782764559997"
 }

package/lib/bs/src/Order/Aggregate/Order_Behavior.res

@@ -19,6 +19,7 @@ let evolve = (state, event) =>
   | (Placed(_), Order.Placed({customerId, productIds})) => Placed({customerId, productIds})
   | (Placed(_), Order.Shipped) => Shipped
   | (Placed(_), Order.Cancelled(_)) => Cancelled
+  | (Placed(_), Order.Refunded(_)) => state // unreachable: refunds only follow a cancellation
   | (Cancelled, Order.Refunded(_)) => Refunded
   | (Shipped, _) => state
   | (Cancelled, _) => state

package/lib/bs/src/Order/Aggregate/Order_Behavior.res.mjs

@@ -51,15 +51,7 @@ function evolve(state, event) {
       case "Cancelled" :
         return "Cancelled";
       case "Refunded" :
-        throw {
-          RE_EXN_ID: "Match_failure",
-          _1: [
-            "Order_Behavior.res",
-            17,
-            2
-          ],
-          Error: new Error()
-        };
+        return state;
     }
   }
 }

package/lib/bs/tests/Order/SideEffect/Order_EmailNotification_GWT.res

@@ -8,7 +8,10 @@
 // install also resets the recorded-calls ref, so tests stay isolated without
 // pulling rescript-jest's `beforeEach` into the example's dependencies.
 
-describe("Order_EmailNotification SideEffect", () => {
+// `name` comes from the spec module the PPX auto-opens (`Order_EmailNotification`);
+// using it here names the suite after the spec and consumes that open — an egress
+// test otherwise references only the source aggregate's events (`Order.*`).
+describe(name ++ " SideEffect", () => {
   test("Placed triggers a confirmation email", () => {
     EmailService_Mock.install()
     givenEventForId(

package/lib/bs/tests/Order/SideEffect/Order_EmailNotification_GWT.res.mjs

@@ -29,7 +29,7 @@ let thenNoExternalCalls = include.thenNoExternalCalls;
 
 let thenExternalCalls = include.thenExternalCalls;
 
-describe("Order_EmailNotification SideEffect", () => {
+describe(Order_EmailNotification$OrderingPlugin.name + " SideEffect", () => {
   test("Placed triggers a confirmation email", undefined, () => {
     EmailService_Mock$OrderingPlugin.install();
     return thenExternalCalls(whenExecuted(givenEventForId(Id$Reventless.$$String.makeFromString("o1"), {

package/lib/ocaml/.compiler.log

@@ -1,2 +1,2 @@
-#Start(1782549919675)
-#Done(1782549921006)
+#Start(1782764558688)
+#Done(1782764559995)

package/lib/ocaml/Order_Behavior.res

@@ -19,6 +19,7 @@ let evolve = (state, event) =>
   | (Placed(_), Order.Placed({customerId, productIds})) => Placed({customerId, productIds})
   | (Placed(_), Order.Shipped) => Shipped
   | (Placed(_), Order.Cancelled(_)) => Cancelled
+  | (Placed(_), Order.Refunded(_)) => state // unreachable: refunds only follow a cancellation
   | (Cancelled, Order.Refunded(_)) => Refunded
   | (Shipped, _) => state
   | (Cancelled, _) => state

package/lib/ocaml/Order_EmailNotification_GWT.res

@@ -8,7 +8,10 @@
 // install also resets the recorded-calls ref, so tests stay isolated without
 // pulling rescript-jest's `beforeEach` into the example's dependencies.
 
-describe("Order_EmailNotification SideEffect", () => {
+// `name` comes from the spec module the PPX auto-opens (`Order_EmailNotification`);
+// using it here names the suite after the spec and consumes that open — an egress
+// test otherwise references only the source aggregate's events (`Order.*`).
+describe(name ++ " SideEffect", () => {
   test("Placed triggers a confirmation email", () => {
     EmailService_Mock.install()
     givenEventForId(

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/online-shop-aggregates-ordering",
-  "version": "3.0.0-alpha.101",
+  "version": "3.0.0-alpha.103",
   "description": "Online Shop example — Ordering plugin (Customer & Order aggregates)",
   "license": "Apache-2.0",
   "jest": {
@@ -21,18 +21,18 @@
   },
   "dependencies": {
     "sury": "^11.0.0-alpha.4",
-    "@reventlessdev/online-shop-aggregates-catalog-spec": "3.0.0-alpha.57",
-    "@reventlessdev/online-shop-aggregates-ordering-spec": "3.0.0-alpha.57",
+    "@reventlessdev/online-shop-aggregates-catalog-spec": "3.0.0-alpha.58",
+    "@reventlessdev/online-shop-aggregates-ordering-spec": "3.0.0-alpha.58",
     "@reventlessdev/rescript-pulumi-pulumi": "2.3.0-alpha.14",
-    "@reventlessdev/reventless-gwt": "1.0.0-alpha.74",
-    "@reventlessdev/reventless-infra": "3.0.0-alpha.81",
-    "@reventlessdev/reventless-local": "3.0.0-alpha.113",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.61"
+    "@reventlessdev/reventless-infra": "3.0.0-alpha.82",
+    "@reventlessdev/reventless-gwt": "1.0.0-alpha.75",
+    "@reventlessdev/reventless-local": "3.0.0-alpha.114",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.62"
   },
   "devDependencies": {
     "rescript": "^12.3.0",
     "sury-ppx": "11.0.0-alpha.2",
-    "@reventlessdev/reventless-ppx": "1.0.0-alpha.47"
+    "@reventlessdev/reventless-ppx": "1.0.0-alpha.48"
   },
   "peerDependencies": {
     "rescript": "^12.3.0"

package/src/Order/Aggregate/Order_Behavior.res

@@ -19,6 +19,7 @@ let evolve = (state, event) =>
   | (Placed(_), Order.Placed({customerId, productIds})) => Placed({customerId, productIds})
   | (Placed(_), Order.Shipped) => Shipped
   | (Placed(_), Order.Cancelled(_)) => Cancelled
+  | (Placed(_), Order.Refunded(_)) => state // unreachable: refunds only follow a cancellation
   | (Cancelled, Order.Refunded(_)) => Refunded
   | (Shipped, _) => state
   | (Cancelled, _) => state

package/src/Order/Aggregate/Order_Behavior.res.mjs

@@ -51,15 +51,7 @@ function evolve(state, event) {
       case "Cancelled" :
         return "Cancelled";
       case "Refunded" :
-        throw {
-          RE_EXN_ID: "Match_failure",
-          _1: [
-            "Order_Behavior.res",
-            17,
-            2
-          ],
-          Error: new Error()
-        };
+        return state;
     }
   }
 }

package/tests/Order/SideEffect/Order_EmailNotification_GWT.res

@@ -8,7 +8,10 @@
 // install also resets the recorded-calls ref, so tests stay isolated without
 // pulling rescript-jest's `beforeEach` into the example's dependencies.
 
-describe("Order_EmailNotification SideEffect", () => {
+// `name` comes from the spec module the PPX auto-opens (`Order_EmailNotification`);
+// using it here names the suite after the spec and consumes that open — an egress
+// test otherwise references only the source aggregate's events (`Order.*`).
+describe(name ++ " SideEffect", () => {
   test("Placed triggers a confirmation email", () => {
     EmailService_Mock.install()
     givenEventForId(

package/tests/Order/SideEffect/Order_EmailNotification_GWT.res.mjs

@@ -29,7 +29,7 @@ let thenNoExternalCalls = include.thenNoExternalCalls;
 
 let thenExternalCalls = include.thenExternalCalls;
 
-describe("Order_EmailNotification SideEffect", () => {
+describe(Order_EmailNotification$OrderingPlugin.name + " SideEffect", () => {
   test("Placed triggers a confirmation email", undefined, () => {
     EmailService_Mock$OrderingPlugin.install();
     return thenExternalCalls(whenExecuted(givenEventForId(Id$Reventless.$$String.makeFromString("o1"), {