[xquery-talk] Is cast as node() valid syntax?

[Alex]

Hi,

Does the following XQuery have valid syntax:

<out>{ fn:doc("input.xml")/* cast as node()* }</out>

Saxon 8.0b returns the following error:
  XQuery syntax error on line 1 in `...("input.xml")/* cast as node()`:
    expected "<name>", found "<node-type>()"

If this is incorrect, what is the right way to cast to a node type or 
node type sequence? Please note that cast for the above XQuery is 
redundant, but it might be required in more complex situations.

thanks,
Alex

--