Improve Type Error Messages

[William Candillon]

Consider the following query:
declare function local:foo($a as element(foo))
{
  $a/text()
};

local:foo(<bar>Hello</bar>)

It will throw the following error:

Query: <test.xq>, line 6, column 11: [XPTY0004] Cannot treat [NodeXQType elementNode nametest=[uri: , local: bar] content=[XQType ANY_TYPE_KIND*]] as [NodeXQType elementNode nametest=[uri: , local: foo] content=[XQType ANY_TYPE_KIND*]]

These kind of messages should be improved to more comprehensive messages.

[Dana Florescu (dflorescu)]

This does not raise an error anymore !