[XSL-LIST Mailing List Archive Home] [By Thread] [By Date]

[xsl] Seemingly incorrect example of function subtyping in XDM 3.0

Subject: [xsl] Seemingly incorrect example of function subtyping in XDM 3.0
From: Dimitre Novatchev <dnovatchev@xxxxxxxxx>
Date: Tue, 25 Feb 2014 21:45:26 -0800

In the W3C XDM 3.0 Proposed recommendation at the end of section:
 "2.8.1 Functions"  (http://www.w3.org/TR/xpath-datamodel-30/#function-items)

the last example says:

    "function(item()) as item() is a subtype of function(xs:string) as item()"

I believe that the correct statement is:

    "function(xs:string) as item()     is a subtype of
function(item()) as item() "

Could someone, please, confirm whether the example in the XDM 3.0 Spec
is correct, and if yes, then what is the chain of rules that leads to
this statement?

Dimitre Novatchev
Truly great madness cannot be achieved without significant intelligence.
To invent, you need a good imagination and a pile of junk
Never fight an inanimate object
To avoid situations in which you might make mistakes may be the
biggest mistake of all
Quality means doing it right when no one is looking.
You've achieved success in your field when you don't know whether what
you're doing is work or play
To achieve the impossible dream, try going to sleep.
Facts do not cease to exist because they are ignored.
Typing monkeys will write all Shakespeare's works in 200yrs.Will they
write all patents, too? :)
I finally figured out the only reason to be alive is to enjoy it.

Current Thread