- From: <bugzilla@wiggum.w3.org>
- Date: Thu, 28 Jul 2005 01:49:04 +0000
- To: public-qt-comments@w3.org
- Cc:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=1583 ------- 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