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

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