@reventlessdev/rescript-pulumi-aws 2.4.0-alpha.79 → 2.4.0-alpha.80

package/CHANGELOG.md

@@ -3,6 +3,16 @@
 All notable changes to this project will be documented in this file.
 See [Conventional Commits](https://conventionalcommits.org) for commit guidelines.
 
+# 2.4.0-alpha.80 (2026-08-18)
+
+### Bug Fixes
+
+* **aws:** make the unowned stub callable on the doors that call it ([931aa39](https://github.com/ReventlessDev/reventless-core/commit/931aa3968ae0e29befab7183125ed2453d4765cb))
+### Features
+
+* **aws:** compile every resolver against AppSync before the deploy attaches one ([635bc26](https://github.com/ReventlessDev/reventless-core/commit/635bc265c63e19f1a69f31dfefe116b523b1c39b))
+
+
 # 2.4.0-alpha.79 (2026-08-18)
 
 ### Bug Fixes

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/rescript-pulumi-aws",
-  "version": "2.4.0-alpha.79",
+  "version": "2.4.0-alpha.80",
   "description": "ReScript bindings for @pulumi/aws",
   "license": "Apache-2.0",
   "jest": {
@@ -22,8 +22,8 @@
     "@pulumi/aws": "~7.19.0",
     "@pulumi/aws-native": "^1.62.0",
     "sury": "11.0.0-alpha.4",
-    "@reventlessdev/rescript-aws-sdk": "3.0.0-alpha.12",
-    "@reventlessdev/rescript-pulumi-pulumi": "2.3.0-alpha.19"
+    "@reventlessdev/rescript-pulumi-pulumi": "2.3.0-alpha.19",
+    "@reventlessdev/rescript-aws-sdk": "3.0.0-alpha.12"
   },
   "devDependencies": {
     "esbuild": "^0.25.12",

package/src/AppSync/AppSync_Resolver_Functions.res

@@ -225,7 +225,13 @@ let ownerScopedResultResponse = (
   | (None, None) => resultResponseCode
   | _ =>
     let ownerPart = switch ownerField {
-    | None => "\n  const _owns = () => true;"
+    // Takes the row it ignores: APPSYNC_JS type-checks the resolver, so a
+  // zero-parameter stub called as `_owns(row)` is TS2554 ("Expected 0
+  // arguments, but got 1") and AppSync rejects the whole resolver at create
+  // time with "The code contains one or more errors". Only a door that emits
+  // the call conditionally is safe with a bare `() => true`, and that is not a
+  // property worth relying on across three templates.
+  | None => "\n  const _owns = (row) => true;"
     | Some(field) =>
       `
   // ── owner scoping (generated) ──${ownerGuardPreamble(~ownerField=field, ~elevatedGroups)}`
@@ -254,7 +260,13 @@ let ownerScopedFirstResultResponse = (
   | (None, None) => firstResultResponseCode
   | _ =>
     let ownerPart = switch ownerField {
-    | None => "\n  const _owns = () => true;"
+    // Takes the row it ignores: APPSYNC_JS type-checks the resolver, so a
+  // zero-parameter stub called as `_owns(row)` is TS2554 ("Expected 0
+  // arguments, but got 1") and AppSync rejects the whole resolver at create
+  // time with "The code contains one or more errors". Only a door that emits
+  // the call conditionally is safe with a bare `() => true`, and that is not a
+  // property worth relying on across three templates.
+  | None => "\n  const _owns = (row) => true;"
     | Some(field) =>
       `
   // ── owner scoping (generated) ──${ownerGuardPreamble(~ownerField=field, ~elevatedGroups)}`
@@ -288,22 +300,23 @@ ${resultResponseCode}
 // Relay Node resolver — pipeline functions for node(id: ID!) query
 // ---------------------------------------------------------------------------
 
-/** Pipeline function (NONE datasource): decodes global ID and stashes typeName + localId. */
+/** Pipeline function (NONE datasource): decodes global ID and stashes typeName + localId.
+
+    Written without a `try`: APPSYNC_JS rejects try statements outright
+    (`@aws-appsync/no-try`), so a guarded version of this cannot be deployed at
+    all. Nothing is lost by dropping it — `util.base64Decode` does not throw on
+    malformed input, it returns the bytes it made of it, so the catch could never
+    run. An id that decodes to no `type:localId` pair therefore fails the one way
+    that is left: both halves stash as null, which is also what the guarded
+    version reported for a decode it could not parse. */
 let nodeDecodeGlobalId =
   `${importUtil}
 export function request(ctx) {
-  const globalId = ctx.args.id;
-  try {
-    const decoded = util.base64Decode(globalId);
-    const colonIdx = decoded.indexOf(':');
-    if (colonIdx > 0) {
-      ctx.stash.typeName = decoded.substring(0, colonIdx);
-      ctx.stash.localId = decoded.substring(colonIdx + 1);
-    }
-  } catch (e) {
-    ctx.stash.typeName = null;
-    ctx.stash.localId = null;
-  }
+  const decoded = util.base64Decode(ctx.args.id);
+  const colonIdx = decoded.indexOf(':');
+  const parsed = colonIdx > 0;
+  ctx.stash.typeName = parsed ? decoded.substring(0, colonIdx) : null;
+  ctx.stash.localId = parsed ? decoded.substring(colonIdx + 1) : null;
   return { payload: null };
 }
 export function response(ctx) {
@@ -1335,7 +1348,13 @@ let refsByIds = (
   ~elevatedGroups: array<string>=[],
 ) => (tableName: string) => {
   let ownerGuard = switch ownerField {
-  | None => "\n  const _owns = () => true;"
+  // Takes the row it ignores: APPSYNC_JS type-checks the resolver, so a
+  // zero-parameter stub called as `_owns(row)` is TS2554 ("Expected 0
+  // arguments, but got 1") and AppSync rejects the whole resolver at create
+  // time with "The code contains one or more errors". Only a door that emits
+  // the call conditionally is safe with a bare `() => true`, and that is not a
+  // property worth relying on across three templates.
+  | None => "\n  const _owns = (row) => true;"
   | Some(field) => ownerGuardPreamble(~ownerField=field, ~elevatedGroups)
   }
   // Retirement, in the vocabulary the row itself uses: a member test for the

package/src/AppSync/AppSync_Resolver_Functions.res.mjs

@@ -113,7 +113,7 @@ function ownerScopedResultResponse(ownerField, elevatedGroups, retiredField, ret
     return resultResponseCode;
   }
   let ownerPart = ownerField !== undefined ? `
-  // ── owner scoping (generated) ──` + ownerGuardPreamble(ownerField, elevatedGroups) : "\n  const _owns = () => true;";
+  // ── owner scoping (generated) ──` + ownerGuardPreamble(ownerField, elevatedGroups) : "\n  const _owns = (row) => true;";
   let retiredPart = retiredGuardPreamble(retiredField, retiredValues, elevatedGroups, Stdlib_Option.isSome(ownerField));
   return `
 export function response(ctx) {
@@ -129,7 +129,7 @@ function ownerScopedFirstResultResponse(ownerField, elevatedGroups, retiredField
     return firstResultResponseCode;
   }
   let ownerPart = ownerField !== undefined ? `
-  // ── owner scoping (generated) ──` + ownerGuardPreamble(ownerField, elevatedGroups) : "\n  const _owns = () => true;";
+  // ── owner scoping (generated) ──` + ownerGuardPreamble(ownerField, elevatedGroups) : "\n  const _owns = (row) => true;";
   let retiredPart = retiredGuardPreamble(retiredField, retiredValues, elevatedGroups, Stdlib_Option.isSome(ownerField));
   return `
 export function response(ctx) {
@@ -148,18 +148,11 @@ export function request(ctx) { return {}; }
 
 let nodeDecodeGlobalId = importUtil + `
 export function request(ctx) {
-  const globalId = ctx.args.id;
-  try {
-    const decoded = util.base64Decode(globalId);
-    const colonIdx = decoded.indexOf(':');
-    if (colonIdx > 0) {
-      ctx.stash.typeName = decoded.substring(0, colonIdx);
-      ctx.stash.localId = decoded.substring(colonIdx + 1);
-    }
-  } catch (e) {
-    ctx.stash.typeName = null;
-    ctx.stash.localId = null;
-  }
+  const decoded = util.base64Decode(ctx.args.id);
+  const colonIdx = decoded.indexOf(':');
+  const parsed = colonIdx > 0;
+  ctx.stash.typeName = parsed ? decoded.substring(0, colonIdx) : null;
+  ctx.stash.localId = parsed ? decoded.substring(colonIdx + 1) : null;
   return { payload: null };
 }
 export function response(ctx) {
@@ -948,7 +941,7 @@ export function response(ctx) {
 function refsByIds(labelField, retiredField, retiredValues, namedWhenRetired, ownerField, $staropt$star) {
   return tableName => {
     let elevatedGroups = $staropt$star !== undefined ? $staropt$star : [];
-    let ownerGuard = ownerField !== undefined ? ownerGuardPreamble(ownerField, elevatedGroups) : "\n  const _owns = () => true;";
+    let ownerGuard = ownerField !== undefined ? ownerGuardPreamble(ownerField, elevatedGroups) : "\n  const _owns = (row) => true;";
     let retiredExpr;
     if (retiredField !== undefined) {
       if (retiredValues !== undefined) {