>>>>> "Michael" == Michael Kay <mike@xxxxxxxxxxxx> writes:

    Michael> Actually, the spec says that in the dynamic context for
    Michael> the use-when expression, "available documents" is empty,
    Michael> which means that fn:doc() should always return an error
    Michael> "document not found".

Oh yes.
I thought it was odd that doc(0 should be allowed and not document()!

    Michael> But it looks as if neither of the two existing
    Michael> implementations (mine will be out shortly!) impose that
    Michael> restriction.

No. Mine adheres to all the restrictions (until someone shows me
otherwise).
I just forgot about it when writing the message.
-- 
Colin Paul Adams
Preston Lancashire