1715 2005-07-18 19:56:42 +0000 [FS] editorial: 5.11 Module Import 2007-09-21 01:06:56 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Last Call drafts All All ASSIGNED need to create erratum and edit 1.1 doc (2006-04-17) P2 minor --- 1 jmdyck jmdyck per public-qt-comments oldest_to_newest 4826 0 jmdyck 2005-07-18 19:56:42 +0000 5.11 Module Import SCP / rule 1 / premise (2|3) "statEnv1 + varType(fs:local-variables(...))" "statEnv2 + localFunc(fs:local-functions(...))" This syntax is unspecified. SCP / rule 1 / premise 3 "statEnv2 + localFunc(...)" s/localFunc/funcType/ SCP / rule 1 / conclusion "import module (namespace NCName =)? ..." If NCName appears, it should be bound to the target namespace in statEnv.namespace. Notation 2 "The rules below depend on the following auxilliary judgments." Presumably, this should be followed by declarations of the "=>import_variables" and "=>import_functions" judgment forms. Such a Notation section should precede the DCP section though. "This judgment adds each ..." (twice) s/judgment/rule/ DCP / rule 2 dynEnv2 ; URI |- (expanded-QName2(Type2,1, ..., Type2,n)), ···," (expanded-QNamek(Typek,1, ..., Typek,n)) => ... This requires that all functions imported from a module have the same number of arguments (n), which is not what you want. You could fix this with subscripts-on-subscripts, but that would make the rule harder to read and understand. The better route, which actually makes the rule *easier* to read and understand, is to introduce a Formal symbol for (this kind of) function signature. "to the input dynamic context." "input"? Maybe s/input/importing/ DCP / rule 3 / premise (2|3) "fs:local-foo(statEnv2, URILiteral1)" Delete the subscript 1. "URILiteral ; dynEnvi |-" Change to "dynEnvi ; URILiteral |-" to match previous rules. dynEnv2, statEnv2 It's not clear why dynEnv2 isn't used, or where statEnv2 comes from. 5554 1 per 2005-08-29 03:11:51 +0000 *** Bug 1900 has been marked as a duplicate of this bug. *** 9278 2 simeon 2006-04-17 04:58:46 +0000 Fixed as suggested when possible, since some of those comments were taken over by events. - Jerome 11503 3 jmdyck 2006-09-08 02:06:33 +0000 The 2006-06 CR does not have fixes for some of the items, specifically: Notation 3 "The rules below depend on the following auxilliary judgments." But no auxiliary judgments are set out. Notation 3 / rule (2|4) This requires that all functions imported from a module have the same number of arguments (n), which is not what you want. (This comment dates back to April 2004.) Notation 4 / rule 2 It's not clear why dynEnv2 isn't used, or where statEnv2 comes from. (And by the way, premises 1 and 2 are identical.) 16745 4 jmdyck 2007-09-21 01:06:35 +0000 The second item of Comment #3 has been resolved by the fix for FS erratum E006.