Re: decision on value testing

On Tue, Dec 13, 2005 at 01:50:33PM +0000, Steve Harris wrote:
> 
> On Mon, Dec 12, 2005 at 01:14:52PM -0500, Eric Prud'hommeaux wrote:
> > PROPOSED: adopt current text of section 11, Tests, striking the red
> >           text and adding including the green text.
> > 
> > I think this reflects the changes since the LC document. I think that
> > the diffs in red and green is the best way to review the changes.
> 
> What red text and what green text? I see a smattering of red text, and
> quite a bit of green, but I'm not sure its the green text you mean.

In section 11, there is text with a red background and text with a
green background. First example is the addtion of xsd:boolean (in
green) to the supported datatypes.

> Also, is it possible to have a truth table and/or text for logical not?
> The definition in http://www.w3.org/TR/xpath-functions/#func-not ignores
> type errors.

http://www.w3.org/TR/xpath-functions/#func-boolean
[[
...
In all other cases, fn:boolean raises a type error [err:FORG0006].
]]

We also have:
[[
Any expression other than logical or (||) or logical and (&&) that
encounters a type error will produce a type error.
]]
-- 
-eric

office: +81.466.49.1170 W3C, Keio Research Institute at SFC,
                        Shonan Fujisawa Campus, Keio University,
                        5322 Endo, Fujisawa, Kanagawa 252-8520
                        JAPAN
        +1.617.258.5741 NE43-344, MIT, Cambridge, MA 02144 USA
cell:   +81.90.6533.3882

(eric@w3.org)
Feel free to forward this message to any list for any purpose other than
email address distribution.