- From: <bugzilla@wiggum.w3.org>
- Date: Mon, 18 Sep 2006 23:54:08 +0000
- To: public-qt-comments@w3.org
- CC:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=3675 ------- 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