From b6e4159d0d58026275e658834e70976a88ed62b6 Mon Sep 17 00:00:00 2001 From: Michael Kay Date: Tue, 3 Dec 2024 14:45:14 +0000 Subject: [PATCH] Update specifications/xquery-40/src/query-prolog.xml MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: Christian Grün --- specifications/xquery-40/src/query-prolog.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/specifications/xquery-40/src/query-prolog.xml b/specifications/xquery-40/src/query-prolog.xml index 006e352a4..6283be947 100644 --- a/specifications/xquery-40/src/query-prolog.xml +++ b/specifications/xquery-40/src/query-prolog.xml @@ -2127,7 +2127,7 @@ local:depth(doc("partlist.xml"))

A reference to a named record type cannot (in general) be directly replaced by the corresponding record definition during parsing. This is - because forwards references and self-references are allowed; replacing the name by the + because forward references and self-references are allowed; replacing the name by the definition is a process that might not terminate.

A recursive record type will only be instantiable if every field whose value may contain instances of the record type