RE: [XQuery] MS-XQ-LC1-075

Not if you check for heterogeneous types during static type inferencing.

And the expression below can easily be rewritten to

@price - (data(@discount), 0)[1]

Best regards
Michael

> -----Original Message-----
> From: Michael Kay [mailto:mhk@mhk.me.uk]
> Sent: Monday, February 16, 2004 3:42 AM
> To: Michael Rys; public-qt-comments@w3.org
> Subject: RE: [XQuery] MS-XQ-LC1-075
> 
> >
> > Section 3.3.1 Constructing Sequences
> > Technical
> >
> > We should not allow heterogeneous sequences of nodes and
> > atomic values. This adds lots of complexity and inefficiency
> > with very little user value.
> >
> 
> I think there is user value. Consider for example the expression
> 
> @price - (@discount, 0)[1]
> 
> I think it would be a shame if this were disallowed. It could also
cause
> one of those dynamic errors that only emerges when you have written a
> large number of test cases, or three weeks into live running if you
are
> careless with your testing.
> 
> Michael Kay

Received on Monday, 16 February 2004 13:00:15 UTC