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

[Bug 3675] fn:error(..) as an argument to another function/operator

From: <bugzilla@wiggum.w3.org>
Date: Mon, 18 Sep 2006 23:54:08 +0000
To: public-qt-comments@w3.org
Message-Id: <E1GPSwC-00069Q-F1@wiggum.w3.org>


------- Comment #4 from simeon@us.ibm.com  2006-09-18 23:54 -------
Apologies for the late response.

The type 'none' is a subtype of every type. See subtyping Section 8.3.2-- t1 is
a subtype of t2 iff every value v, v matches t1 implies v matches t2. Since no
value matches 'none', none <: t for every t.

So the function zero-or-one(error()) type checks which I believe is the
behavior that people would expect.

- Jerome
Received on Monday, 18 September 2006 23:54:20 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:14 UTC