[Ecls-list] BUG: incorrect checking of EQL types

[Eric Marsden]

>>>>> "rg" == Juan Jose Garcia-Ripoll <juanjose.garciaripoll at googlemail.com> writes:

  rg> I think we have discussed this before in the mailing list. EQL uses EQL for
  rg> type checking and two constants need not be EQL. For instance, two
  rg> bitvectors which are EQUAL are not EQL because they are read at different
  rg> times

  Gloups; I'm losing my memory, very sorry!

-- 
Eric Marsden