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

[Adam Lally]

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 element type is Baz
>      Type Foo, feature Bar - range type FSArray whose element type is
> Subtype_of_Baz
>
> (Should be element Type = Subtype_of_Baz?)
>
> 3) Type Foo, feature Bar - range type FSArray with
> multipleReferencesAllowed = false
>      Type Foo, feature Bar - range type FSArray with
> multipleReferencesAllowed = true
>
> (Should throw an exception?)
>

I would vote for exceptions in all three cases (agreeing with Thilo's
logic about #2).

-Adam