- From: <bugzilla@wiggum.w3.org>
- Date: Tue, 10 Oct 2006 15:04:17 +0000
- To: public-qt-comments@w3.org
- CC:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=3771 ------- Comment #1 from simeon@us.ibm.com 2006-10-10 15:04 ------- I don't think this is the intended semantics. This looks like a pretty serious problem for statically typed implementation. Considering how late we are in the process, I think I would recommend a ugly fix, which would let a combination of attribute and text nodes type check in the beginning of the type. Something like the following: statEnv |- Type <: (attribute|text)*, (element|document|text|processing-instruction|comment|xs:string|xs:float| ...|xs:NOTATION)* statEnv |- (FS-URI,"item-sequence-to-node-sequence") (Type) : attribute*, (element|text|processing-instruction|comment)*
Received on Tuesday, 10 October 2006 15:04:25 UTC