Skip to content

Commit

Permalink
Update specifications/xquery-40/src/query-prolog.xml
Browse files Browse the repository at this point in the history
Co-authored-by: Christian Grün <christian.gruen@gmail.com>
  • Loading branch information
michaelhkay and ChristianGruen committed Dec 3, 2024
1 parent 575fe97 commit 98e1a0b
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion specifications/xquery-40/src/query-prolog.xml
Original file line number Diff line number Diff line change
Expand Up @@ -2109,7 +2109,7 @@ local:depth(doc("partlist.xml"))

<note><p>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.</p></note>

<p>A recursive record type will only be instantiable if every field whose value may contain instances of the record type
Expand Down

0 comments on commit 98e1a0b

Please sign in to comment.