Re: isXPath1 / isXPath2 -- not(/..)

On Sat, Dec 19, 2015 at 9:22 AM, Hermann Stamm-Wilbrandt <STAMMW@d...> wrote:

"(4=5)=/.."  

There seems to be something wrong with the type evaluation of Saxon 9.1J

When I evaluate this:

   /.. instance of item()

the result is:

  false()

As item() is the root of the type system and every possible value is an item(), the above result means that  /..  has type that isn't defined anywhere in the type system.

Seems this has something to do with the "highest possible derived type", or is just a bug.

Also, we do need a     type-of(expr)    function.

Any thoughts, please?


--

Cheers,

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? :)

-------------------------------------

Sanity is madness put to good use.

-------------------------------------

I finally figured out the only reason to be alive is to enjoy it.