> I've finished implementing support for types with user-defined equality > predicates. Anyone want to review this one? > > Any opinions on whether this should be included in Mercury 0.7? I think we should leave it to 0.8. Zoltan.