Generate equality tests for ADTs
eholk opened this issue · 0 comments
eholk commented
Right now you can't just use == on an ADT. You can get around this by writing your own equality predicate, but this is some of the most tedious code you will ever write. We should automatically generate these predicates like we generate some ADT print functions.