@prisma/orm-family-sql 8.0.0-rc.18-dev.16 → 8.0.0-rc.18-dev.17

package/dist/contract-emitter.mjs

@@ -1,2 +1,2 @@
-import { t as sqlEmission } from "./dist-Cg2lL1hR.mjs";
+import { t as sqlEmission } from "./dist-DAHIT4AS.mjs";
 export { sqlEmission };

package/dist/contract-prisma7__provider.d.mts

@@ -37,14 +37,20 @@ type Prisma7LiteralDefaultForm =
 {
   readonly kind: 'json';
 } |
-/** A string, carried as the SQL expression of the default the database stores. */
+/** A string, read as the body of the column type's tag, as `` tag`body` `` reads in the current schema language. */
 {
-  readonly kind: 'sqlExpression';
-  /** The SQL literal for one written value, or `undefined` when the text is not a value of the column's type. */
-  readonly literal: (text: string) => string | undefined;
-  /** The SQL expression for a list default made of `literal` results. */
-  readonly list: (literals: readonly string[]) => string;
+  readonly kind: 'tag';
+  readonly tag: string;
+  /** The tag's body for the text Prisma 7 writes, which keeps what the value means on the column; `undefined` when the text is not a value Prisma 7 writes for the column. */
+  readonly body: (text: string) => string | undefined;
+  /** For text with more fraction digits than the column holds: the digits it holds and the text of the value the database stores instead. */
+  readonly finerThanColumn?: (text: string) => Prisma7FinerThanColumn | undefined;
 };
+/** A written value finer than its column: how many fraction digits the column holds and what the database stores instead. */
+interface Prisma7FinerThanColumn {
+  readonly heldDigits: number;
+  readonly stored: string;
+}
 /** Everything a target supplies to the Prisma 7 interpreter. */
 interface Prisma7TargetBinding {
   readonly target: TargetPackRef<'sql', string>;

package/dist/contract-prisma7__provider.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"contract-prisma7__provider.d.mts","names":[],"sources":["../../../../2-sql/2-authoring/contract-prisma7/dist/provider.d.mts"],"mappings":";;;;;;;;;;;;UAUU;WACC;WACA;;UAED;;WAEC,SAAS,SAAS,eAAe;;;;;WAKjC,aAAa,SAAS,eAAe;;;;UAItC;WACC;;WAEA;WACA,aAAa,SAAS;;;KAG5B;;;WAGM;;;;WAIA;;WAEA,UAAU;;WAEV,OAAO;;;UAGR;WACC,QAAQ;WACR,kBAAkB,OAAO,sBAAsB;;WAE/C;;WAEA,SAAS;;WAET;aACE;aACA;;;WAGF,YAAY,SAAS;;WAErB;;WAEA;aACE,aAAa;aACb,aAAa,mBAAmB;;;;;;;WAOlC,6BAA6B,gBAAgB;;WAE7C,uBAAuB;;WAEvB,qBAAqB,QAAQ,sBAAsB;;;;UAIpD;WACC,SAAS;WACT;WACA,uBAAuB;;iBAEjB,gBAAgB,oBAAoB,SAAS,yBAAyB"}
+{"version":3,"file":"contract-prisma7__provider.d.mts","names":[],"sources":["../../../../2-sql/2-authoring/contract-prisma7/dist/provider.d.mts"],"mappings":";;;;;;;;;;;;UAUU;WACC;WACA;;UAED;;WAEC,SAAS,SAAS,eAAe;;;;;WAKjC,aAAa,SAAS,eAAe;;;;UAItC;WACC;;WAEA;WACA,aAAa,SAAS;;;KAG5B;;;WAGM;;;;WAIA;WACA;;WAEA,OAAO;;WAEP,mBAAmB,iBAAiB;;;UAGrC;WACC;WACA;;;UAGD;WACC,QAAQ;WACR,kBAAkB,OAAO,sBAAsB;;WAE/C;;WAEA,SAAS;;WAET;aACE;aACA;;;WAGF,YAAY,SAAS;;WAErB;;WAEA;aACE,aAAa;aACb,aAAa,mBAAmB;;;;;;;WAOlC,6BAA6B,gBAAgB;;WAE7C,uBAAuB;;WAEvB,qBAAqB,QAAQ,sBAAsB;;;;UAIpD;WACC,SAAS;WACT;WACA,uBAAuB;;iBAEjB,gBAAgB,oBAAoB,SAAS,yBAAyB"}

package/dist/contract-prisma7__provider.mjs

@@ -1,11 +1,11 @@
-import { r as lowerAuthoredIndex } from "./index-naming-BOcJT1B3-CeEoP8t3.mjs";
-import { f as unquotedSqlBaseNameOfCodec, u as sqlDataTypeOfCodec } from "./data-type-DU0mtme5.mjs";
-import { n as declaredBackingObjectName, r as declaredIndexesServeForeignKey } from "./foreign-key-materialization-DibQ9Hjg.mjs";
-import { p as validateSqlStorageConsistency, u as validateModelStorageReferences } from "./validators-DlpO67uZ.mjs";
+import { r as lowerAuthoredIndex } from "./index-naming-BOcJT1B3-18gQUduD.mjs";
+import { l as sqlDataTypeOfCodec, m as unquotedSqlBaseNameOfCodec } from "./sql-data-type-Dabuwxet-BljsNjBu.mjs";
+import { n as declaredBackingObjectName, r as declaredIndexesServeForeignKey } from "./foreign-key-materialization-DfNPQL9G.mjs";
+import { p as validateSqlStorageConsistency, u as validateModelStorageReferences } from "./validators-Bvfk0aN7.mjs";
 import { t as deriveValueSetFromEntity } from "./value-set-derivation-hook-Di9JZ0X7.mjs";
-import { n as buildSqlContractFromDefinition, t as applySqlSpecifierControlPolicy } from "./derived-checks-Cgx_VgS3-CmFqNFgU.mjs";
-import { c as instantiateFieldTypeConstructor, h as readDataTypeDefault } from "./psl-field-resolution-SPNDr-jr-CH_gs3Oy.mjs";
-import { a as normalizeReferentialAction, n as buildEntityTypesByDiscriminator, r as indexFkRelations, t as applyBackrelationCandidates } from "./interpreter-CvmBTYyI-DNl-jr2E.mjs";
+import { n as buildSqlContractFromDefinition, t as applySqlSpecifierControlPolicy } from "./derived-checks-CrvMQTJF-DlxFFtNM.mjs";
+import { c as instantiateFieldTypeConstructor, h as readDataTypeDefault } from "./psl-field-resolution-o9sXqIlE-BJnlxQ4z.mjs";
+import { a as normalizeReferentialAction, n as buildEntityTypesByDiscriminator, r as indexFkRelations, t as applyBackrelationCandidates } from "./interpreter-CFj2aTEP-BHL3TOqk.mjs";
 import { isStructuredError } from "@prisma/orm-framework/utils/structured-error";
 import { ifDefined } from "@prisma/orm-framework/utils/defined";
 import { entryForTag, getAuthoringTypeConstructor, instantiateAuthoringEntityType } from "@prisma/orm-framework/components/authoring";
@@ -203,22 +203,13 @@ function lowerPrisma7Default(input) {
 	if (argument === void 0 || expression === void 0) return unknown("needs one value.", attribute.span);
 	const call = FunctionCallAst.cast(expression.syntax);
 	if (call !== void 0) return lowerFunction(call, input, label, unknown);
-	const rawLiteral = input.literalForm?.kind === "sqlExpression" ? sqlExpressionDefault(expression, input.literalForm, input.field.list) : void 0;
-	if (rawLiteral === "unreadable") return unknown("holds a value this contract source does not read.", attribute.span);
-	if (rawLiteral !== void 0) return {
-		storage: {
-			kind: "function",
-			expression: rawLiteral.expression
-		},
-		onCreate: void 0
-	};
 	const scalar = scalarValue$1(expression, input, unknown);
 	if (scalar === void 0) return void 0;
 	return {
 		storage: {
 			kind: "literal",
 			value: scalar,
-			canonical: true
+			inStoredForm: true
 		},
 		onCreate: void 0
 	};
@@ -243,6 +234,8 @@ function scalarValue$1(expression, input, unknown) {
 		}
 		return values;
 	}
+	const finer = finerThanColumn(elements ?? [expression], elements !== void 0, input);
+	if (finer !== void 0) return unknown(finer, span);
 	const written = writtenLiteralFor(expression, elements, input);
 	if (written === void 0) return unreadableValue(expression, input, unknown);
 	const jsonNull = jsonNullDefault(written, expression, input);
@@ -260,6 +253,23 @@ function scalarValue$1(expression, input, unknown) {
 	});
 	return read.ok ? read.value : unknown(refusalReason(read.refusal), span);
 }
+/**
+* Why a written date and time is refused when it has more fraction digits than the column holds:
+* Prisma 7 let the database round it, so the reason names the value the database stores.
+*/
+function finerThanColumn(values, isList, input) {
+	const form = input.literalForm;
+	if (form?.kind !== "tag" || form.finerThanColumn === void 0) return void 0;
+	for (const [index, value] of values.entries()) {
+		const text = StringLiteralExprAst.cast(value.syntax)?.value();
+		const finer = text === void 0 ? void 0 : form.finerThanColumn(text);
+		if (text === void 0 || finer === void 0) continue;
+		const at = isList ? ` at element ${index + 1}` : "";
+		const writtenDigits = /\.(\d+)/.exec(text)?.[1]?.length ?? 0;
+		const held = finer.heldDigits === 0 ? "none" : String(finer.heldDigits);
+		return `holds "${text}"${at}, with ${writtenDigits} ${writtenDigits === 1 ? "digit" : "digits"} after the decimal point, but the column holds ${held}. PostgreSQL stores it as "${finer.stored}"; write that instead.`;
+	}
+}
 /** The storage value of an enum member name, when the field is typed by a Prisma 7 enum. */
 function enumMemberValue(expression, input) {
 	const member = IdentifierAst.cast(expression.syntax)?.name();
@@ -297,34 +307,29 @@ function unreadableValue(expression, input, unknown) {
 	if (ArrayLiteralAst.cast(expression.syntax) !== void 0) return unknown("lists may only hold literals or enum members.", span);
 	return unknown("holds a value this contract source does not read.", span);
 }
-function sqlExpressionDefault(expression, form, isList) {
-	const array = isList ? ArrayLiteralAst.cast(expression.syntax) : void 0;
-	if (array === void 0) {
-		const text = StringLiteralExprAst.cast(expression.syntax)?.value();
-		if (text === void 0) return void 0;
-		const literal = form.literal(text);
-		return literal === void 0 ? "unreadable" : { expression: literal };
-	}
-	const literals = [];
-	for (const element of array.elements()) {
-		const text = StringLiteralExprAst.cast(element.syntax)?.value();
-		const literal = text === void 0 ? void 0 : form.literal(text);
-		if (literal === void 0) return "unreadable";
-		literals.push(literal);
-	}
-	return { expression: form.list(literals) };
-}
 /** The written literal a Prisma 7 expression is, or `undefined` when it is not a literal at all. */
 function writtenLiteral(expression, input) {
 	const text = StringLiteralExprAst.cast(expression.syntax)?.value();
-	if (text !== void 0) return input.literalForm?.kind === "json" ? {
-		kind: "tag",
-		tag: "json",
-		text
-	} : {
-		kind: "string",
-		text
-	};
+	if (text !== void 0) {
+		const form = input.literalForm;
+		if (form?.kind === "json") return {
+			kind: "tag",
+			tag: "json",
+			text
+		};
+		if (form?.kind === "tag") {
+			const body = form.body(text);
+			return body === void 0 ? void 0 : {
+				kind: "tag",
+				tag: form.tag,
+				text: body
+			};
+		}
+		return {
+			kind: "string",
+			text
+		};
+	}
 	const number = NumberLiteralExprAst.cast(expression.syntax)?.token()?.text;
 	if (number !== void 0) return {
 		kind: "number",
@@ -363,7 +368,7 @@ function refusalReason(refusal) {
 		case "no-cast": return `holds a ${refusal.valueType} value${at}, which ${refusal.receivingType} has no cast from; ${describeCasts(refusal.casts)}.`;
 		case "no-list-cast": return `holds a list, which ${refusal.receivingType} has no cast from; ${describeCasts(refusal.casts)}.`;
 		case "no-element-cast": return `holds a ${refusal.valueType} value${at}, which the list cast of ${refusal.receivingType} does not take; it takes ${refusal.elementTypes.join(", ")}.`;
-		case "refused-by-codec": return `holds a value${at} that ${refusal.codecId} does not read: ${refusal.message}`;
+		case "refused-by-column": return `holds a value${at} that ${refusal.codecId} does not read: ${refusal.message}`;
 	}
 }
 function describeCasts(casts) {