W3C home > Mailing lists > Public > public-qt-comments@w3.org > April 2008

[Bug 5651] [FS] Static typing rules for fn:boolean.

From: <bugzilla@farnsworth.w3.org>
Date: Thu, 24 Apr 2008 20:43:19 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1Jp8Hn-0001Q4-Fa@farnsworth.w3.org>

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


jmdyck@ibiblio.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED




------- Comment #3 from jmdyck@ibiblio.org  2008-04-24 20:43 -------
(In reply to comment #0)
> FS 7.2.4 gives static typing rules for fn:boolean.  Surely these typing rules
> should be applied to fn:not too?

Yes, I think they should, since fn:not makes an implicit call to fn:boolean,
which can raise a type error. I propose that we tweak the rule in FS 7.2.4 to
handle fn:not as well.
Received on Thursday, 24 April 2008 20:43:49 UTC

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