W3C home > Mailing lists > Public > public-qt-comments@w3.org > September 2006

[Bug 3686] fn-matches2args-1 fails static typechecking.

From: <bugzilla@wiggum.w3.org>
Date: Mon, 11 Sep 2006 08:08:58 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1GMgqg-0000IC-NG@wiggum.w3.org>

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

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:30 UTC