Skip to content
  • chak@cse.unsw.edu.au.'s avatar
    InstEqContext2 fails now · 84faed9c
    chak@cse.unsw.edu.au. authored
    - This test fails with the overhauled rewrite rules.  This is (judging from
      -ddump-tc-trace) not because the new rules implementation goes wrong, but
      because the old implementation left out some improvement and hence passed
      this test by accident.
    84faed9c