1820 2005-07-28 02:11:01 +0000 [FS] technical: 4.1.5 Function Calls: dynEnvDefault 2005-09-27 08:30:12 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Last Call drafts All All CLOSED FIXED P2 normal --- 1 jmdyck simeon public-qt-comments oldest_to_newest 5260 0 jmdyck 2005-07-28 02:11:01 +0000 4.1.5 Function Calls DEv / rule (1|2) "dynEnvDefault + varValue( Variable1 => Value1'; ...) |- Expr => Value'" This won't work, because dynEnvDefault doesn't have entries for the variables and functions defined in the Prolog. Instead of dynEnvDefault, you should have the dynEnv resulting from dynEnvDefault |- PrologDeclList =>dyn dynEnv For library modules, this is "stored" in the =>module_dynEnv relation, so rule 2 has an easy fix: s/dynEnvDefault/dynEnv1/ However, rule 1 does not appear to have a similar easy fix. 5721 1 simeon 2005-09-06 15:33:17 +0000 I agree. This is a big bug actually. I think the fix for library modules make sense. I think we should have something that also records the context for the prolog for the main module. Maybe a notation of the form: #MAIN =>module_statEnv statEnv would do the trick. - Jerome 6473 2 simeon 2005-09-27 08:30:02 +0000 The XSLT and XML Query working groups have adopted the resolution sketched in comment #1. Best, - Jerome