W3C home > Mailing lists > Public > public-qt-comments@w3.org > July 2005

[Bug 1583] [FS] technical: 4.1.5 Function Calls: refactor

From: <bugzilla@wiggum.w3.org>
Date: Thu, 28 Jul 2005 01:49:04 +0000
To: public-qt-comments@w3.org
Message-Id: <E1DxxWC-0007rQ-Ae@wiggum.w3.org>


------- Additional Comments From jmdyck@ibiblio.org  2005-07-28 01:49 -------
(In reply to comment #1)
>   * For imported functions:
>   Note that this case also checks that the parameteres can be promoted
>   in the context of the imported module.

I think XQuery 3.1.5 is saying that the conversion (incl. promotion) is done
once, but the resulting value must "match the expected type" twice (in both
modules). (Though I'm not sure if there's a case where the two interpretations
would have different outcomes.)

If my reading is correct, then you'd replace
>   statEnv1 |- Value1 against Type1 promotes to Value1'
>   ...
>   statEnv1 |- Valuen against Typen promotes to Valuen'
with 'matches' premises. But in either case, I think Type1 and Typen should be
Type1' and Typen' (the types in the signature in the defining module).
Received on Thursday, 28 July 2005 01:49:08 UTC

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