blob: 1f45aa0d33251d77781fb3fee2b14e0754460401 [file] [log] [blame]
(:*******************************************************:)
(: Test: K-SeqExprCast-61 :)
(: Written by: Frans Englich :)
(: Date: 2006-10-05T18:29:37+02:00 :)
(: Purpose: Casting to xs:notation is not allowed. :)
(:*******************************************************:)
"notation is abstract" cast as xs:NOTATION