- From: <bugzilla@wiggum.w3.org>
- Date: Mon, 11 Sep 2006 08:08:58 +0000
- To: public-qt-comments@w3.org
- CC:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=3686
------- Comment #7 from tim@cbcl.co.uk 2006-09-11 08:08 -------
Yes.
Am I correct in thinking that all built-in type constructors called with a
parameter of type anyAtomicType which is a non-empty sequence will either throw
an error (because the form of the input is in some way wrong) or return a value
of that type? If so, the type rules:
statEnv |- QName of func in { set of built-in constructors }
statEnv |- Expr : empty
-------------------------------------------------------------
statEnv |- QName(Expr) : empty
statEnv |- QName of func in { set of built-in constructors }
statEnv |- Expr : Type quantifier(Type) in { 1 }
-------------------------------------------------------------
statEnv |- QName(Expr) : Type
should clear up many of the problems we've highlighted.
Received on Monday, 11 September 2006 08:09:06 UTC