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: Fri, 08 Sep 2006 12:36:02 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1GLfaU-00051j-Nc@wiggum.w3.org>

http://www.w3.org/Bugs/Public/show_bug.cgi?id=3675


frans.englich@telia.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|andrew.eisenberg@us.ibm.com |frans.englich@telia.com




------- Comment #3 from frans.englich@telia.com  2006-09-08 12:36 -------
I believe that one would work, because:

"The type none matches no values. none is the identity for choice, that is
(Type | none) = Type."(2.4.3 Content models)

So, I think the static type of the operand is the static type of (1 div $x).

Therefore, I think this would not yield a type error:

zero-or-one((error(), 1))

I can't deny nor confirm that zero-or-one(error()) is a type error, but if it
is, it could be because there is no rule that lets 'none' match an arbitrary
type, perhaps.. Though, I also think it would make sense that it is not a type
error.

But I am neither a static typing guy; I've mailed Jérôme to see if he can have
a look at this report.


Frans
Received on Friday, 8 September 2006 12:36:13 UTC

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