[Bug 4271] [FS} Type checking () op Arg

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





------- Comment #1 from simeon@us.ibm.com  2007-02-20 00:53 -------
Tim,

This is a personal answer to this.

Even though () + "a string" could be returning () in some implementations. I
would think it makes sense to return a static type error for such cases.

One reason is that it seems natural to me for a statically-typed implementation
to warn the user about it.

A stronger technical reason is that some implementation may indeed return a
type error and that you want the static type system to prevent that at compile
time.

- Jerome

Received on Tuesday, 20 February 2007 00:53:54 UTC