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

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.