- From: <bugzilla@wiggum.w3.org>
- Date: Wed, 14 Mar 2007 13:41:13 +0000
- To: public-qt-comments@w3.org
- CC:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=3818 ------- Comment #16 from tim@cbcl.co.uk 2007-03-14 13:41 ------- Since treat as throws away type information, use of "/" also throws away type information because: [/]Expr == [(fn:root(self::node()) treat as document-node())]Expr unless you alter the semantics of "treat as" to: statEnv |- Expr: T1 statEnv |- T1 <: T2 ------------------------------- statEnv |- Expr treat as T2 : T1 statEnv |- Expr: T1 statEnv |- not(T1 <: T2) ------------------------------- statEnv |- Expr treat as T2 : T2
Received on Wednesday, 14 March 2007 13:41:25 UTC