@prisma/orm-family-sql 8.0.0-rc.14-dev.1 → 8.0.0-rc.14-dev.2

package/dist/{interpreter-IKKTyZNv-D12J5Dcx.mjs → interpreter-Bcc3MIC5-C4dZrobt.mjs}

@@ -1,44 +1,38 @@
 import { n as isAuthoredIndexInput } from "./index-naming-Cj1Anq-T-C9TevpPR.mjs";
 import { n as providesPslEntityPlacement } from "./entity-handle-lowering-hook-B3atrRKX.mjs";
+import { s as sqlTextFromCanonical, t as SQL_EXPRESSION_DATA_TYPE_ID } from "./sql-expression-BXx0Ilj-.mjs";
+import { n as checkSqlDefaultBody, o as reservedSqlDefaultBody } from "./validators-BlqrBU7I.mjs";
 import { t as deriveValueSetFromEntity } from "./value-set-derivation-hook-Di9JZ0X7.mjs";
-import { n as buildSqlContractFromDefinition } from "./derived-checks-C6psACIj-DfqUVmZz.mjs";
+import { n as buildSqlContractFromDefinition } from "./derived-checks-C6psACIj-BSBDa2_9.mjs";
 import { a as getAttribute, c as interpretModelAttribute, d as modelAttributeSpecsFrom, f as sqlAttributeSpecs, i as formatDbAttributeMigrationMessage, l as lowerDefaultFunctionWithRegistry, n as createSqlBinder, o as getNamedArgument, p as storageName, r as fieldSpecContext, s as interpretFieldAttribute, t as PSL_CHECK_ON_STI_VARIANT, u as mapFieldNamesToColumns } from "./sql-attribute-specs-Bs9QDuS7-DmIRJUz9.mjs";
 import { t as defaultTableName } from "./default-table-name-BfFY8qYR-lHNcVmY5.mjs";
-import { isStructuredError, structuredError } from "@prisma/orm-framework/utils/structured-error";
-import { checkUncomposedNamespace, getAuthoringFieldPreset, hasRegisteredFieldNamespace, instantiateAuthoringEntityType, instantiateAuthoringTypeConstructor, isAuthoringEntityTypeDescriptor, isAuthoringModelAttributeDescriptor, isAuthoringTypeConstructorDescriptor, isDataTypeLoweringEntry, loweringEntryKey, validateAuthoringHelperArguments } from "@prisma/orm-framework/components/authoring";
+import { structuredError } from "@prisma/orm-framework/utils/structured-error";
+import { checkUncomposedNamespace, getAuthoringFieldPreset, hasRegisteredFieldNamespace, instantiateAuthoringEntityType, instantiateAuthoringTypeConstructor, isAuthoringEntityTypeDescriptor, isAuthoringModelAttributeDescriptor, isAuthoringTypeConstructorDescriptor, validateAuthoringHelperArguments } from "@prisma/orm-framework/components/authoring";
 import { UNBOUND_NAMESPACE_ID } from "@prisma/orm-framework/components/ir";
 import { InternalError } from "@prisma/orm-framework/utils/internal-error";
 import { crossRef } from "@prisma/orm-framework/contract/types";
 import { ifDefined } from "@prisma/orm-framework/utils/defined";
+import { materializeCodec } from "@prisma/orm-framework/components/codec";
 import { blindCast } from "@prisma/orm-framework/utils/casts";
 import { NamespaceDeclarationAst } from "@prisma/orm-framework/psl-parser/syntax";
 import { resolveToOneRelationNullable } from "@prisma/orm-framework/contract-authoring";
-import { materializeCodec } from "@prisma/orm-framework/components/codec";
 import { assertDefined, invariant } from "@prisma/orm-framework/utils/assertions";
 import { describeTaggedLiteralFailure } from "@prisma/orm-framework/components/control";
 import { notOk, ok } from "@prisma/orm-framework/utils/result";
 import { createPslDiagnosticCollector, diagnosticSource, findBlockDescriptor, interpretExtensionBlocks, nodePslSpan, typeReferenceNode } from "@prisma/orm-framework/psl-parser";
 import { UNBOUND_PSL_NAMESPACE_NAME, UNSPECIFIED_PSL_NAMESPACE_ID } from "@prisma/orm-framework/components/psl-ast";
 import { claimedBlockKeywords, enumMemberAttributeDiagnostics, fkRelationPairKey, instantiatePslFieldPreset, mapPslHelperArgs, reportUncomposedNamespace, reportUnknownFieldPreset, requiredOneToOneBackrelationDiagnostic, uncomposedNamespaceDiagnostic, unsupportedBlockDiagnostic } from "@prisma/orm-framework/psl-parser/interpret";
-//#region ../../../2-sql/2-authoring/contract-psl/dist/interpreter-IKKTyZNv.mjs
+//#region ../../../2-sql/2-authoring/contract-psl/dist/interpreter-Bcc3MIC5.mjs
 function contractError(code, message, options) {
 	return structuredError(code, message, options);
 }
-/** A `` json`...` `` body that is not a JSON document. */
-const PSL_INVALID_JSON_LITERAL = "PSL_INVALID_JSON_LITERAL";
-/** A written value the entry, a cast, or the column's codec refuses. */
+/** A written value the column's codec refuses. */
 const PSL_INVALID_DEFAULT_LITERAL = "PSL_INVALID_DEFAULT_LITERAL";
-/** A written value whose data type the column's type neither is nor casts from. */
-const PSL_DEFAULT_TYPE_INCOMPATIBLE = "PSL_DEFAULT_TYPE_INCOMPATIBLE";
-/** The code the JSON reader raises, so the PSL diagnostic for a bad document is its own. */
-const INVALID_JSON_CODE = "CONTRACT.INVALID_JSON_LITERAL";
-/** The value entries of a stack, by data type id. */
-function valueEntries(support) {
-	return Object.entries(support.entries).flatMap(([key, entry]) => isDataTypeLoweringEntry(entry) ? [] : [[key, entry]]);
-}
+/** A single value written as the default of a column that holds a list. */
+const PSL_DEFAULT_LIST_EXPECTED = "PSL_DEFAULT_LIST_EXPECTED";
 /** The entry a tag names, or `undefined` when no pack registered that tag. */
 function entryForTag(support, tag) {
-	for (const [key, entry] of valueEntries(support)) if (entry.written.kind === "tag" && entry.written.tag === tag) return {
+	for (const [key, entry] of Object.entries(support.entries)) if (entry.written.kind === "tag" && entry.written.tag === tag) return {
 		key,
 		entry
 	};
@@ -48,15 +42,15 @@ function knownTags(support) {
 	return Object.values(support.entries).flatMap((entry) => entry.written.kind === "tag" ? [entry.written.tag] : []);
 }
 function entryForPlain(support, syntax) {
-	for (const [key, entry] of valueEntries(support)) if (entry.written.kind === "plain" && entry.written.syntax === syntax) return {
+	for (const [key, entry] of Object.entries(support.entries)) if (entry.written.kind === "plain" && entry.written.syntax === syntax) return {
 		key,
 		entry
 	};
 }
-/** The text an entry reads: a tag's body, a string's value, or the word a boolean is written as. */
+/** The text an entry reads: a tag's text, a string's value, or the word a boolean is written as. */
 function plainText(written) {
 	switch (written.kind) {
-		case "tag": return written.body;
+		case "tag": return written.text;
 		case "string": return written.text;
 		case "boolean": return String(written.value);
 		case "number": return written.text;
@@ -65,9 +59,6 @@ function plainText(written) {
 function messageOf(error) {
 	return error instanceof Error ? error.message : String(error);
 }
-function isJsonRefusal(error) {
-	return isStructuredError(error) && error.code === INVALID_JSON_CODE;
-}
 /** Read one written value through the entry for its syntax. */
 function readValue(support, written, elementIndex) {
 	const refuse = (refusal) => ({
@@ -92,7 +83,6 @@ function readValue(support, written, elementIndex) {
 		const classified = form.classify(text);
 		if (classified === void 0) return refuse({
 			kind: "unreadable",
-			json: false,
 			message: `no data type of this target holds the number ${text}`
 		});
 		return {
@@ -112,7 +102,6 @@ function readValue(support, written, elementIndex) {
 	} catch (error) {
 		return refuse({
 			kind: "unreadable",
-			json: isJsonRefusal(error),
 			message: messageOf(error)
 		});
 	}
@@ -145,7 +134,6 @@ function castInto(support, columnType, typed, elementIndex) {
 			ok: false,
 			refusal: {
 				kind: "unreadable",
-				json: isJsonRefusal(error),
 				message: messageOf(error),
 				elementIndex
 			}
@@ -215,7 +203,6 @@ function readDataTypeDefault(input) {
 				ok: false,
 				refusal: {
 					kind: "unreadable",
-					json: false,
 					message: "a list holds values, not other lists",
 					elementIndex
 				}
@@ -255,7 +242,6 @@ function readListIntoScalar(input) {
 			ok: false,
 			refusal: {
 				kind: "unreadable",
-				json: false,
 				message: "a list holds values, not other lists",
 				elementIndex
 			}
@@ -281,7 +267,6 @@ function readListIntoScalar(input) {
 			ok: false,
 			refusal: {
 				kind: "unreadable",
-				json: isJsonRefusal(error),
 				message: messageOf(error),
 				elementIndex: void 0
 			}
@@ -301,27 +286,27 @@ function lowerDataTypeDefault(input) {
 	switch (refusal.kind) {
 		case "unreadable": return {
 			ok: false,
-			code: refusal.json ? PSL_INVALID_JSON_LITERAL : PSL_INVALID_DEFAULT_LITERAL,
+			code: "PSL_INVALID_LITERAL",
 			message: `${where}: ${refusal.message}`
 		};
 		case "unknown-tag": return {
 			ok: false,
-			code: "PSL_UNKNOWN_DEFAULT_LITERAL_TAG",
+			code: "PSL_UNKNOWN_LITERAL_TAG",
 			message: `Unknown literal tag "${refusal.tag}". Known tags: ${refusal.known.join(", ")}.`
 		};
 		case "unwritable": return {
 			ok: false,
-			code: PSL_DEFAULT_TYPE_INCOMPATIBLE,
+			code: "PSL_VALUE_TYPE_INCOMPATIBLE",
 			message: `${where}: this target has no data type for a ${refusal.syntax} value`
 		};
 		case "not-a-list": return {
 			ok: false,
-			code: PSL_DEFAULT_TYPE_INCOMPATIBLE,
+			code: PSL_DEFAULT_LIST_EXPECTED,
 			message: `${where}: this column holds a list, so its default is a list literal, as in [1, 2]`
 		};
 		case "no-cast": return {
 			ok: false,
-			code: PSL_DEFAULT_TYPE_INCOMPATIBLE,
+			code: "PSL_VALUE_TYPE_INCOMPATIBLE",
 			message: `${where}: ${refusal.columnType} has no cast from ${refusal.valueType}; ${describeCasts(refusal.casts)}`
 		};
 		case "undecodable": return {
@@ -623,44 +608,31 @@ function resolveFieldTypeDescriptor(input) {
 		descriptor
 	};
 }
+const PSL_INVALID_DEFAULT_SQL = "PSL_INVALID_DEFAULT_SQL";
 const TAGGED_LITERAL_CANONICALIZATION_CODES = {
 	nul: "PSL_TAGGED_LITERAL_NUL",
 	"too-large": "PSL_TAGGED_LITERAL_TOO_LARGE"
 };
-function lowerTaggedLiteral(literal, support, context, source) {
+function readTaggedLiteral(literal, support, source) {
 	const reject = (code, message) => ({
 		ok: false,
-		kind: "owned",
 		diagnostic: {
 			code,
 			message,
 			...source.at(literal.span)
 		}
 	});
-	const entry = support.entries[loweringEntryKey(literal.tag)] ?? entryForTag(support, literal.tag)?.entry;
-	if (entry === void 0) return reject("PSL_UNKNOWN_DEFAULT_LITERAL_TAG", `Unknown literal tag "${literal.tag}". Known tags: ${knownTags(support).join(", ")}.`);
+	if (entryForTag(support, literal.tag) === void 0) return reject("PSL_UNKNOWN_LITERAL_TAG", `Unknown literal tag "${literal.tag}". Known tags: ${knownTags(support).join(", ")}.`);
 	const { canonicalization } = literal;
 	if (!canonicalization.ok) return reject(TAGGED_LITERAL_CANONICALIZATION_CODES[canonicalization.reason], describeTaggedLiteralFailure(canonicalization.reason));
-	if (!isDataTypeLoweringEntry(entry)) return {
+	return {
 		ok: true,
 		written: {
 			kind: "tag",
 			tag: literal.tag,
-			body: canonicalization.body
+			text: canonicalization.body
 		}
 	};
-	const result = entry.lower({
-		literal: {
-			tag: literal.tag,
-			body: canonicalization.body,
-			span: literal.span
-		},
-		context
-	});
-	return result.ok ? result : {
-		...result,
-		kind: "external"
-	};
 }
 function lowerDefaultForField(input) {
 	const node = getAttribute(input.field.attributes, "default")?.node;
@@ -687,12 +659,6 @@ function lowerDefaultForField(input) {
 	});
 	if (interpreted === void 0) return {};
 	const value = interpreted.value;
-	const context = {
-		sourceId: input.sources.sourceFileFor(node.syntax).filename,
-		modelName: input.modelName,
-		fieldName: input.fieldName,
-		columnCodecId: input.columnDescriptor.codecId
-	};
 	const readAsLiteral = (written) => {
 		const lowered = lowerDataTypeDefault({
 			written,
@@ -729,21 +695,28 @@ function lowerDefaultForField(input) {
 			kind: "number",
 			text: element.text
 		};
-		const lowered = lowerTaggedLiteral(element, input.dataTypeSupport, context, source);
-		if (!lowered.ok) {
-			if (lowered.kind === "owned") input.diagnostics.push(lowered.diagnostic);
-			else input.diagnostics.pushExternal(lowered.diagnostic);
+		const literal = readTaggedLiteral(element, input.dataTypeSupport, source);
+		if (!literal.ok) {
+			input.diagnostics.push(literal.diagnostic);
 			return { ok: false };
 		}
-		if (!("written" in lowered)) {
+		return literal.written;
+	};
+	const sqlExpressionDefault = (text, span) => {
+		const reserved = reservedSqlDefaultBody(text);
+		const refusal = reserved === void 0 ? checkSqlDefaultBody(text) : `Write @default(${reserved}()) instead of sql\`${reserved}()\`; ${reserved}() is a Prisma default function, not raw SQL.`;
+		if (refusal !== void 0) {
 			input.diagnostics.push({
-				code: PSL_INVALID_DEFAULT_LITERAL,
-				message: `Literal tag "${element.tag}" produces a default of its own and cannot be an element of a list literal.`,
-				...source.at(element.span)
+				code: PSL_INVALID_DEFAULT_SQL,
+				message: refusal,
+				...source.at(span)
 			});
-			return { ok: false };
+			return {};
 		}
-		return lowered.written;
+		return { defaultValue: {
+			kind: "function",
+			expression: text
+		} };
 	};
 	if (input.columnDescriptor.valueSet !== void 0) {
 		if (typeof value === "string") return { defaultValue: {
@@ -782,6 +755,16 @@ function lowerDefaultForField(input) {
 		kind: "number",
 		text: value.text
 	});
+	if ("tag" in value) {
+		const literal = readTaggedLiteral(value, input.dataTypeSupport, source);
+		if (!literal.ok) {
+			input.diagnostics.push(literal.diagnostic);
+			return {};
+		}
+		const read = readValue(input.dataTypeSupport, literal.written, void 0);
+		if (read.ok && read.typed.type === SQL_EXPRESSION_DATA_TYPE_ID) return sqlExpressionDefault(sqlTextFromCanonical(read.typed.value), value.span);
+		return readAsLiteral(literal.written);
+	}
 	if (typeof value === "object") {
 		const context = {
 			sourceId: input.sources.sourceFileFor(node.syntax).filename,
@@ -789,7 +772,7 @@ function lowerDefaultForField(input) {
 			fieldName: input.fieldName,
 			columnCodecId: input.columnDescriptor.codecId
 		};
-		const lowered = "tag" in value ? lowerTaggedLiteral(value, input.dataTypeSupport, context, source) : lowerDefaultFunctionWithRegistry({
+		const lowered = lowerDefaultFunctionWithRegistry({
 			call: value,
 			registry: input.defaultFunctionRegistry,
 			context,
@@ -800,7 +783,6 @@ function lowerDefaultForField(input) {
 			else input.diagnostics.pushExternal(lowered.diagnostic);
 			return {};
 		}
-		if ("written" in lowered) return readAsLiteral(lowered.written);
 		if (lowered.value.kind === "storage") return { defaultValue: lowered.value.defaultValue };
 		const generatorDescriptor = input.generatorDescriptorById.get(lowered.value.generated.id);
 		if (!generatorDescriptor) {
@@ -3457,4 +3439,4 @@ function interpretPslDocumentToSqlContract(input) {
 //#endregion
 export { interpretPslDocumentToSqlContract as a, resolveFieldTypeDescriptor as c, indexFkRelations as i, buildEntityTypesByDiscriminator as n, normalizeReferentialAction as o, entryForTag as r, readDataTypeDefault as s, applyBackrelationCandidates as t };
 
-//# sourceMappingURL=interpreter-IKKTyZNv-D12J5Dcx.mjs.map
+//# sourceMappingURL=interpreter-Bcc3MIC5-C4dZrobt.mjs.map