The expected result is false, but:

(1) -> R ==> Record(key: Symbol, entry: String)

T ==> AssociationList(Symbol, String)

t1 := construct([[x, "ix"]$R])$T

(1)

t2 := construct([[y, "iy"]$R])$T

(2)

(t1=t2)::Boolean

(3)

The reason is in the definition of equality in 'TBAGG':

       s:% = t:% ==
       eq?(s,t) => true
       #s ^= #t => false
       for k in keys s repeat
         (e := search(k, t)) case "failed" or (e::Entry) ^= s.k => false
       true

which will always return true. One should insert a "return" between => and false.

Martin