3189 2006-05-03 19:30:11 +0000 [FS] editorial: 5 Modules and Prologs 2007-11-04 06:00:04 +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 9584 0 jmdyck 2006-05-03 19:30:11 +0000 5 Modules and Prologs Notation 3 / rule 3 PrologDeclList =>stat statEnv The declaration of =>stat says there has to be an input statEnv and a "with URILiteral" Notation 3 / rule 4 PrologDeclList =>dyn dynEnv Similarly with the declaration of =>dyn. Also, in both rules, PrologDeclList does not appear in other judgments, so the inference process is free to bind it to any PrologDeclList in its universe, which is not what you want. 12269 1 jmdyck 2006-10-04 08:48:09 +0000 Sorry, where I said "with URILiteral", I should have said "with PrologDeclList". 14197 2 jim.melton 2007-02-26 00:12:02 +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).