DN-FO-18: Empty sequence should not be allowed as argument to max(), min(), and avg()

The functions max(), min(), and avg() are defined to accept a first
argument of type:

      xdt:anyAtomicType*

On the other side, asking for the maximum, minimum or the average of an
empty sequence clearly doesn't make sense. Other programming languages
also require that the argument of max should be a non-empty list (e.g.
Haskell's prelude.hs)

The type of the first argument of these functions must be:

      xdt:anyAtomicType+





=====
Cheers,

Dimitre Novatchev.
http://fxsl.sourceforge.net/ -- the home of FXSL

__________________________________
Do you Yahoo!?
The New Yahoo! Shopping - with improved product search
http://shopping.yahoo.com

Received on Saturday, 11 October 2003 04:08:59 UTC