blob: 6eca32f02ef0fc73b01e01edf6b5009e2d86d4ef [file] [log] [blame]
(:*******************************************************:)
(: Test: K-SeqExprCast-1200 :)
(: Written by: Frans Englich :)
(: Date: 2006-10-05T18:29:39+02:00 :)
(: Purpose: Casting from xs:gMonth to xs:gMonth is allowed and should always succeed. :)
(:*******************************************************:)
xs:gMonth("--11") cast as xs:gMonth
eq
xs:gMonth("--11")