- From: Phenix Shieh <phenix_shieh@hotmail.com>
- Date: Mon, 05 Aug 2002 11:42:56 +0800
- To: www-xml-query-comments@w3.org
hi,everyone. In XQuery Formal Semantic 26 Mar. 2002 version,section 4.13.1Referring datatypes,I find that the rule [ element of type QName ] refers the staticEnv.varType to get the QName's corresponding type definition. I cannot figure out why use varType environment,instead of typeDecl environment. Here is the quotation of typeDecl and varType context definition in the FS:Section 4.1.1.1 Static Context says "statEnvs.typeDecl: maps type names (QName) onto their type definitions(a type)".But "statEnvs.varType maps variable or parameter names to their static type". So,I think the semantic of "element of type QName" should look up the statEnvs.typeDecl,not the varType context. I'm looking forward to anyone's reply. Phenix Shieh _________________________________________________________________ Ãâ·ÑÏÂÔØ MSN Explorer: http://explorer.msn.com/lccn/
Received on Sunday, 4 August 2002 23:43:28 UTC