>>>>> "Florent" == Florent Georges <lists@xxxxxxxxxxxx> writes:

    >> Mostly the error wouldn't get raised and the transform would
    >> complete, but if it's possible to detect statically then the
    >> transform won't compile (in Saxon anyway).

    Florent>   If I am right, that is precisely why there are two
    Florent> kinds of errors: type errors and dynamic errors.

Well, there are three types. Static errors, dynamic errors and type errors.
-- 
Colin Adams
Preston Lancashire