Make == for associative arrays test for equality, not identity. _aaEq was added to runtime/internal/aaA.d which forwards to TypeInfo_AssociativeArray.equals in genobj.d. On the codegen side, DtoAAEquals was added to gen/aa.cpp and is called from EqualExp::toElem in gen/toir.cpp. I assume that the frontend will produce an error if == is used on associative arrays of different type. This fixes DMD bug 1429.

--- a/runtime/internal/aaA.d	Sun Jun 21 00:12:29 2009 +0200
+++ b/runtime/internal/aaA.d	Sun Jun 21 19:05:24 2009 +0200
@@ -705,6 +705,11 @@
 }
 
 
+int _aaEq(AA aa, AA ab, TypeInfo_AssociativeArray ti)
+{
+    return ti.equals(&aa, &ab);
+}
+
 /***********************************
  * Construct an associative array of type ti from
  * length pairs of key/value pairs.