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

package/dist/{interpreter-j1ewAXPb-BbCjJ0ta.mjs → interpreter-CkCfPqup-DF7bZvNM.mjs}

@@ -1,11 +1,11 @@
 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 { d as resolvedTypeParams } from "./types-BmXzMDQL.mjs";
-import { n as checkSqlDefaultBody, o as reservedSqlDefaultBody } from "./validators-BlqrBU7I.mjs";
+import { d as resolvedTypeParams } from "./types-jFnALKoT.mjs";
+import { n as checkSqlDefaultBody, o as reservedSqlDefaultBody } from "./validators-DvzOZLel.mjs";
 import { t as deriveValueSetFromEntity } from "./value-set-derivation-hook-Di9JZ0X7.mjs";
-import { a as storedAsListColumn, i as isValueObjectMember, n as buildSqlContractFromDefinition } from "./derived-checks-a_OpD3OE-BLAb_lZ9.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 { a as storedAsListColumn, i as isValueObjectMember, n as buildSqlContractFromDefinition } from "./derived-checks-C_y1rk6O-DdqjzGNy.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-DxpHr9Fk-CeWmMP7y.mjs";
 import { t as defaultTableName } from "./default-table-name-BfFY8qYR-lHNcVmY5.mjs";
 import { structuredError } from "@prisma/orm-framework/utils/structured-error";
 import { checkUncomposedNamespace, getAuthoringFieldPreset, getAuthoringTypeConstructor, hasRegisteredFieldNamespace, instantiateAuthoringEntityType, instantiateAuthoringTypeConstructor, isAuthoringEntityTypeDescriptor, isAuthoringModelAttributeDescriptor, validateAuthoringHelperArguments } from "@prisma/orm-framework/components/authoring";
@@ -15,7 +15,7 @@ import { crossRef } from "@prisma/orm-framework/contract/types";
 import { ifDefined } from "@prisma/orm-framework/utils/defined";
 import { codecForRef } from "@prisma/orm-framework/components/codec";
 import { blindCast } from "@prisma/orm-framework/utils/casts";
-import { NamespaceDeclarationAst } from "@prisma/orm-framework/psl-parser/syntax";
+import { ArrayLiteralAst, IdentifierAst, NamespaceDeclarationAst } from "@prisma/orm-framework/psl-parser/syntax";
 import { resolveToOneRelationNullable } from "@prisma/orm-framework/contract-authoring";
 import { assertDefined, invariant } from "@prisma/orm-framework/utils/assertions";
 import { describeTaggedLiteralFailure } from "@prisma/orm-framework/components/control";
@@ -23,7 +23,7 @@ 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-j1ewAXPb.mjs
+//#region ../../../2-sql/2-authoring/contract-psl/dist/interpreter-CkCfPqup.mjs
 function contractError(code, message, options) {
 	return structuredError(code, message, options);
 }
@@ -373,7 +373,10 @@ function valueObjectDefaultMismatches(input) {
 				shape(path, `the member is a list, so its value is a JSON array, not ${jsonKind(value)}`);
 				return;
 			}
-			for (const [index, element] of value.entries()) checkOne(element, member, `${path}[${index}]`, "an element of the member is not null");
+			for (const [index, element] of value.entries()) {
+				if (element === null && member.elementNullable) continue;
+				checkOne(element, member, `${path}[${index}]`, "an element of the member is not null");
+			}
 			return;
 		}
 		checkOne(value, member, path, "the member is not optional, so its value is not null");
@@ -411,7 +414,10 @@ function valueObjectDefaultMismatches(input) {
 			shape(input.fieldPath, `the default of a list of value objects is a JSON array, not ${jsonKind(input.value)}`);
 			return mismatches;
 		}
-		for (const [index, element] of input.value.entries()) checkObject(element, input.valueObjectName, `${input.fieldPath}[${index}]`);
+		for (const [index, element] of input.value.entries()) {
+			if (element === null && input.elementNullable) continue;
+			checkObject(element, input.valueObjectName, `${input.fieldPath}[${index}]`);
+		}
 		return mismatches;
 	}
 	if (!isJsonObject(input.value)) {
@@ -752,6 +758,24 @@ function readTaggedLiteral(literal, support, source) {
 		}
 	};
 }
+function rejectStrictListNullDefault(input) {
+	if (input.field.elementOptional) return false;
+	for (const arg of input.node.argList()?.args() ?? []) {
+		const expression = arg.value();
+		const list = expression ? ArrayLiteralAst.cast(expression.syntax) : void 0;
+		for (const element of list?.elements() ?? []) {
+			const identifier = IdentifierAst.cast(element.syntax);
+			if (identifier?.token()?.text !== "null") continue;
+			input.diagnostics.push({
+				code: "PSL_INVALID_DEFAULT_APPLICABILITY",
+				message: `Field "${input.modelName}.${input.field.name}" has strict list elements and cannot use null in a literal list default. Make the element type nullable or remove null from the default.`,
+				...diagnosticSource(input.sources, identifier.syntax).at()
+			});
+			return true;
+		}
+	}
+	return false;
+}
 function lowerDefaultForField(input) {
 	const node = getAttribute(input.field.attributes, "default")?.node;
 	if (node === void 0) return {};
@@ -777,6 +801,25 @@ function lowerDefaultForField(input) {
 	});
 	if (interpreted === void 0) return {};
 	const value = interpreted.value;
+	if (Array.isArray(value) && value.includes(null) && rejectStrictListNullDefault({
+		...input,
+		node
+	})) return {};
+	if (value === null) {
+		if (!input.field.optional) {
+			input.diagnostics.push({
+				code: "PSL_INVALID_DEFAULT_APPLICABILITY",
+				message: `Field "${input.modelName}.${input.fieldName}" is non-nullable and cannot use null as its literal default. Make the field nullable or use a non-null default.`,
+				...source.at()
+			});
+			return {};
+		}
+		return { defaultValue: {
+			kind: "literal",
+			value: null,
+			canonical: true
+		} };
+	}
 	const readsListElements = (written) => input.isListColumn || input.field.list && written.kind === "list";
 	const readAsLiteral = (written) => {
 		const lowered = lowerDataTypeDefault({
@@ -795,12 +838,19 @@ function lowerDefaultForField(input) {
 			});
 			return {};
 		}
+		let restoredValue = lowered.value;
+		if (Array.isArray(value) && value.includes(null) && Array.isArray(lowered.value)) {
+			let index = 0;
+			const nonNullValues = lowered.value;
+			restoredValue = value.map((element) => element === null ? null : nonNullValues[index++] ?? null);
+		}
 		if (input.valueObjectDefault !== void 0) {
 			const mismatches = valueObjectDefaultMismatches({
 				fieldPath: `${input.modelName}.${input.fieldName}`,
-				value: lowered.value,
+				value: restoredValue,
 				list: input.field.list,
 				nullable: input.field.optional,
+				elementNullable: input.field.elementOptional,
 				...input.valueObjectDefault,
 				codecLookup: input.codecLookup
 			});
@@ -813,7 +863,7 @@ function lowerDefaultForField(input) {
 		}
 		return { defaultValue: {
 			kind: "literal",
-			value: lowered.value,
+			value: restoredValue,
 			canonical: true
 		} };
 	};
@@ -859,7 +909,7 @@ function lowerDefaultForField(input) {
 			value
 		} };
 		if (Array.isArray(value)) {
-			const members = value.filter((element) => typeof element === "string");
+			const members = value.filter((element) => element === null || typeof element === "string");
 			if (members.length === value.length) return { defaultValue: {
 				kind: "literal",
 				value: members
@@ -869,6 +919,7 @@ function lowerDefaultForField(input) {
 	if (Array.isArray(value)) {
 		const elements = [];
 		for (const element of value) {
+			if (element === null) continue;
 			const written = writtenElement(element);
 			if ("ok" in written) return {};
 			elements.push(written);
@@ -978,6 +1029,16 @@ function lowerEnumDefaultForField(input) {
 	});
 	if (interpreted === void 0) return {};
 	const member = interpreted.value;
+	if (Array.isArray(member)) {
+		if (member.includes(null) && rejectStrictListNullDefault({
+			...input,
+			node
+		})) return {};
+		return { defaultValue: {
+			kind: "literal",
+			value: blindCast(member.map((entry) => entry === null ? null : enumHandle.enumMembers.find((candidate) => candidate.name === entry)?.value))
+		} };
+	}
 	invariant(typeof member === "string", "the enum @default grammar admits only member identifiers, so the parsed value is a string");
 	const match = enumHandle.enumMembers.find((m) => m.name === member);
 	if (!match) return {};
@@ -1099,7 +1160,7 @@ function lowerNoCheckForField(input) {
 	const span = getAttribute(input.field.attributes, "noCheck")?.span ?? input.field.span;
 	const subject = `Field "${input.model.name}.${input.field.name}"`;
 	const derivable = [];
-	if (input.isListColumn) derivable.push("elementNotNull");
+	if (input.isListColumn && !input.elementNullable) derivable.push("elementNotNull");
 	if (input.isDomainEnum) derivable.push("membership");
 	const authored = [interpreted.first, interpreted.second].filter((kind) => kind === "membership" || kind === "elementNotNull");
 	if (authored.length === 0) {
@@ -1114,7 +1175,7 @@ function lowerNoCheckForField(input) {
 		return derivable;
 	}
 	for (const kind of authored) if (!derivable.includes(kind)) {
-		const explanation = kind === "membership" ? "membership checks are derived only from enum value sets" : "element-non-null checks are derived only for list columns";
+		const explanation = kind === "membership" ? "membership checks are derived only from enum value sets" : "element-non-null checks are derived only for lists whose elements are semantically non-null";
 		input.diagnostics.push({
 			code: "PSL_INVALID_ATTRIBUTE_ARGUMENT",
 			message: `${subject} @noCheck(${kind}) does not apply — ${explanation}`,
@@ -1338,6 +1399,7 @@ function collectResolvedFields(input) {
 			sources: input.sources,
 			binder: input.binder,
 			isListColumn,
+			elementNullable: field.elementOptional,
 			isDomainEnum: enumHandle !== void 0,
 			diagnostics
 		}) : void 0;
@@ -1354,6 +1416,7 @@ function collectResolvedFields(input) {
 			...ifDefined("uniqueName", uniqueName),
 			...ifDefined("many", isListField ? true : void 0),
 			...ifDefined("noCheck", noCheckKinds),
+			...ifDefined("elementNullable", field.elementOptional ? true : void 0),
 			...ifDefined("valueObjectTypeName", valueObjectName)
 		});
 	}
@@ -2708,6 +2771,7 @@ function buildModelNodeFromPsl(input) {
 					descriptor: resolvedField.descriptor,
 					nullable: resolvedField.nullable,
 					...ifDefined("many", resolvedField.many),
+					...ifDefined("elementNullable", resolvedField.many ? resolvedField.elementNullable === true : void 0),
 					...ifDefined("default", resolvedField.defaultValue),
 					...ifDefined("executionDefaults", resolvedField.executionDefaults)
 				};
@@ -2753,7 +2817,8 @@ function buildValueObjectNodes(input) {
 			const common = {
 				fieldName: field.name,
 				nullable: field.optional,
-				...ifDefined("many", field.list ? true : void 0)
+				...ifDefined("many", field.list ? true : void 0),
+				...ifDefined("elementNullable", field.list ? field.elementOptional : void 0)
 			};
 			const fieldTypeReference = typeReferenceNode(field);
 			const fieldTypeResolution = fieldTypeReference === void 0 ? void 0 : binder.symbolForNode(fieldTypeReference);
@@ -2997,7 +3062,8 @@ function materializeMtiVariantStorageLinks(modelNodes, baseDeclarations, stiVari
 					fieldName: baseField.fieldName,
 					columnName: pkColumn,
 					descriptor: baseField.descriptor,
-					nullable: false
+					nullable: false,
+					many: false
 				});
 			}
 			if (linkFields.length === 0) return node;
@@ -3581,4 +3647,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-j1ewAXPb-BbCjJ0ta.mjs.map
+//# sourceMappingURL=interpreter-CkCfPqup-DF7bZvNM.mjs.map