Re: [sv-ec] RE: List of Mantis item for Monday June 29th Champions Meeting

From: <jonathan.bromley_at_.....>
Date: Sun Jun 21 2009 - 11:08:32 PDT
Shalom

> Mantis 2380:
> 
> 7.10.9 says "Associative arrays can be assigned only to another 
> associative array of a compatible type and with the same index type."
> 
> As currently worded, neither 7.10.9 nor Mantis 2380 describe what 
> "compatible type" means for associative arrays.

I guess that's true, but surely it doesn't greatly matter. 
6.22.2 clearly defines type equivalence of associative arrays, 
and this leads in turn to a clear definition of their 
assignment compatibility.  The offending sentence could
be completely omitted, or it could be rewritten:

  Associative arrays are assignment compatible 
  only with associative arrays of equivalent type.

Indeed, I don't think "compatible type" actually means
anything at all, if used in isolation.

But I don't think there is any serious ambiguity.  I suspect
we could find plenty other places in the LRM where careless
use of terms has had effects far more unfortunate than this.
-- 
Jonathan Bromley


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Sun Jun 21 11:09:43 2009

This archive was generated by hypermail 2.1.8 : Sun Jun 21 2009 - 11:10:28 PDT