FOTS: cast tests end in Seg Fault

[Sorin Marian Nasoi]

"CastAsNamespaceSensitiveType-4", "CastAsNamespaceSensitiveType-5" test cases from "prod-CastExpr" end in Seg Fault:

Here are the actual tests that are run:
"CastAsNamespaceSensitiveType-4"

import module namespace xqxq = 'http://www.zorba-xquery.com/modules/xqxq';
variable $queryID := xqxq:prepare-main-module('xquery version ''3.0'';

declare namespace op = ''http://www.zorba-xquery.com/options/features'';
declare namespace f = ''http://www.zorba-xquery.com/features'';
declare option op:enable ''f:hof'';

      declare function local:clarkname($q as xs:NOTATION) as xs:string {
        $q
      };
      local:clarkname(xs:untypedAtomic("xs:integer"))

    ');

xqxq:evaluate($queryID)

"CastAsNamespaceSensitiveType-5"

import module namespace xqxq = 'http://www.zorba-xquery.com/modules/xqxq';
variable $queryID := xqxq:prepare-main-module('xquery version ''3.0'';

declare namespace op = ''http://www.zorba-xquery.com/options/features'';
declare namespace f = ''http://www.zorba-xquery.com/features'';
declare option op:enable ''f:hof'';

      declare function local:clarkname($q as xs:NOTATION) as xs:string {
        $q
      };
      local:clarkname(<tag>xs:integer</tag>)

    ');

xqxq:evaluate($queryID)

[Ghislain Fourny (gislenius)]

It seems to be a typo in the casting code (confusion between type code and type itself in the ErrorInfo object).

[Ghislain Fourny (gislenius)]

I think that the error code returned after fixing this typo is not the correct one though. I raised a bug (1076407).

[Ghislain Fourny (gislenius)]

https://bugs.launchpad.net/zorba/+bug/1076407