3880 2006-10-29 02:55:05 +0000 [FS] editorial: 4.1.1 Literals 2007-11-04 06:00:06 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Candidate Recommendation All All ASSIGNED P2 minor --- 1 jmdyck jmdyck public-qt-comments oldest_to_newest 12647 0 jmdyck 2006-10-29 02:55:05 +0000 4.1.1 Literals Notation "The judgment ... Holds" s/H/h/ dynEnv |- Literal has atomic value AtomicValue This should use a static rather than dynamic environment, otherwise you run into problems trying to consult dynEnv from a rule where only statEnv is available, e.g., 5.2 / SCP / rule 1 5.4 / SCP / rule 1 14224 1 jim.melton 2007-02-26 00:19:58 +0000 The fix for this bug does not appear in the Recommendation of 23 January 2007. It will be considered for a future publication (either an Errata document or some possible future version of the specification).