W3C home > Mailing lists > Public > public-qt-comments@w3.org > April 2004

[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

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:19 UTC