[FS] 4.1.5 Function Calls: eval of imported function

• From: Michael Dyck <jmdyck@ibiblio.org>
• Date: Wed, 21 Apr 2004 14:25:12 -0700
• To: public-qt-comments@w3.org
• Message-id: <4086E6B8.51AD9E9@ibiblio.org>

XQuery 1.0 and XPath 2.0 Formal Semantics
W3C Working Draft 20 February 2004

4.1.5 Function Calls
Dynamic Evaluation
rule 2 (imported function)

The last premise is incorrect. It would re-evaluate the whole function
call in the imported module's environment. Instead, it should be more
like:
    dynEnv1 |- expanded-QName( Value1', ..., Valuen' ) => Value'

-Michael Dyck

Received on Wednesday, 21 April 2004 17:33:32 UTC