-
chak@cse.unsw.edu.au. authored
Adding a test that checks for SPJ's recent fix entitled "quantify over unbound type vars in RULE lhs's"
f6dc3979
Adding a test that checks for SPJ's recent fix entitled "quantify over unbound type vars in RULE lhs's"