why this rule occurred?

• From: Phenix Shieh <phenix_shieh@hotmail.com>
• Date: Thu, 04 Apr 2002 10:34:13 +0800
• To: www-xml-query-comments@w3.org
• Message-ID: <F191t2UQYXBLCi46DcH00012a0d@hotmail.com>

In 4.6.1:value comparisons,the first Normalization section,after the 
Ed.Note,there are exists those lines of text:
***********************************
[Expr2 Type2 ValueEqOp; ]ValueOp  
== 
     (typeswitch (Expr2) as $v2  
     case () return ()  
     case return [ $v1; ValueEqOp; $v2; ]BinaryOp  
                   ^^^^
     case fs:UnknownSimpleType return  
         [ $v1; Type2 ValueEqOp; (cast ($v2) as Type2); $v2 ]BinaryOp  
     default return dm:error())  
***********************************
What dose these mean and why they are typed here?I think they should be in 
the  4.6.2:General Comparisons.Also,i think some thing goes wrong with this 
rule.For exaple,where is the definition of $v1?


_________________________________________________________________
享用世界上最大的 Web 电子邮件系统 —— MSN Hotmail。
http://www.hotmail.com/cn

Received on Wednesday, 3 April 2002 21:34:45 UTC