--- Comment #7 from Stewart Gordon <> 2012-03-20 15:45:53 PDT ---
(In reply to comment #5)
> Does (In reply to comment #4)
>> AA keys don't have to be immutable, they just have to be a type 
>> that implicitly converts to immutable.  This is the same 
>> requirement for parameters of strongly pure functions.
> Does this mean AA keys should be stored as immutable internally?

Yes.  A given key in the AA should never change on any level.  Having the key
type fully immutable (even if declared merely as tail-immutable) would enable
it to be passed around by reference as immutable.

Configure issuemail:
------- You are receiving this mail because: -------

Reply via email to