Function types versus arrays

[Neal Gafter]

On Thu, Feb 18, 2010 at 1:44 AM, Howard Lovatt <howard.lovatt at iee.org> wrote:
> Hi Neal,
>
> On 17 February 2010 16:26, Neal Gafter <neal at gafter.com> wrote:
>> Howard-
>>
>> Can you please show the implementation of
>> _Array_From_void_throws_ChangedCharSetException_SAXParseException_UnkownHostException__To_void_throws_AWTException_IOException_SAXException.instance?
>
> Sure:

This implementation is incorrect, because the two arrays must act as
one.  This method is supposed to implement the subtype relationship
between two array types.  Assigning to an element of one array value
must modify the corresponding element of the array value which is its
subtype.  But with your implementation, the two arrays are
disconnected.