Re: What is the expected behavior of type system merge for these cases?

Thilo Goetz wrote: Marshall Schor wrote: Thilo Goetz wrote: Hi Marshall, Marshall Schor wrote: OK. Am implementing tests and then the fixes :-) please don't commit anything to trunk until we're done with this release. Else we might have to branch now, and I'd

Re: What is the expected behavior of type system merge for these cases?

Marshall Schor wrote: > Thilo Goetz wrote: >> Hi Marshall, >> >> Marshall Schor wrote: >> >>> OK. Am implementing tests and then the fixes :-) >>> >> >> please don't commit anything to trunk until we're done >> with this release. Else we might have to branch now, >> and I'd like to avoid t

Re: What is the expected behavior of type system merge for these cases?

Thilo Goetz wrote: Hi Marshall, Marshall Schor wrote: OK. Am implementing tests and then the fixes :-) please don't commit anything to trunk until we're done with this release. Else we might have to branch now, and I'd like to avoid that if we can. oops - sorry - didn't see this

Re: What is the expected behavior of type system merge for these cases?

Hi Marshall, Marshall Schor wrote: > OK. Am implementing tests and then the fixes :-) please don't commit anything to trunk until we're done with this release. Else we might have to branch now, and I'd like to avoid that if we can. > > 2 more cases have come up: > > 1) One descriptor specif

Re: What is the expected behavior of type system merge for these cases?

OK. Am implementing tests and then the fixes :-) 2 more cases have come up: 1) One descriptor specifies multipleReferencesAllowed as false, the other "omits" this. The spec says omitting is the same as false. So this will be OK. 2) One descriptor specifies an element Range Type restrictio

Re: What is the expected behavior of type system merge for these cases?

On 8/13/07, Marshall Schor <[EMAIL PROTECTED]> wrote: > 1) Type Foo, feature Bar - range type FSArray whose element type is Baz > Type Foo, feature Bar - range type FSArray whose element type is NotBaz > > (Should throw an exception?) > > 2) Type Foo, feature Bar - range type FSArray, whose el

Re: What is the expected behavior of type system merge for these cases?

Marshall Schor wrote: > 1) Type Foo, feature Bar - range type FSArray whose element type is Baz > Type Foo, feature Bar - range type FSArray whose element type is NotBaz > > (Should throw an exception?) Yes. > > 2) Type Foo, feature Bar - range type FSArray, whose element type is Baz >

What is the expected behavior of type system merge for these cases?

1) Type Foo, feature Bar - range type FSArray whose element type is Baz Type Foo, feature Bar - range type FSArray whose element type is NotBaz (Should throw an exception?) 2) Type Foo, feature Bar - range type FSArray, whose element type is Baz Type Foo, feature Bar - range type FSArray