[Bug 5459] [FS] Static type analysis for the fn:abs, fn:ceiling, fn:floor, fn:round, and fn:round-half-to-even functions

------- Comment #9 from oliver@cbcl.co.uk  2008-04-01 10:50 -------
> The only suggestion I could find that there even *are* multiple "versions" of
> fn:abs is in F+O section 1.4, where it says that a signature involving
> 'numeric' represents four signatures. But the XQuery and FS specs are fairly
> clear that fn:abs has only one signature and one implementation.

I had presumed from F&O 1.4 that there are four separate fn:abs functions (or
at least four separate signatures that are chosen from at compile time).  Which
parts of the specification imply otherwise?

If it is the case that fn:abs has four signatures then the rules given in FS
4.1.5 under "Dynamic Evaluation" deduces four different results for an argument
of type xs:integer (since it can be promoted to match any signature).

Should this be marked as a bug against Functions & Operators?