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 Jan 6, 2025
1 parent 5a96b57 commit b6e4159
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 @@ -2127,7 +2127,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 b6e4159

Please sign in to comment.