• chak@cse.unsw.edu.au.'s avatar
    Remove GADT refinements, part 1 · 4226903d
    chak@cse.unsw.edu.au. authored
    - A while ago, I changed the type checker to use equality constraints together
      with implication constraints to track local type refinement due to GADT
      pattern matching.  This patch is the first of a number of surgical strikes
      to remove the resulting dead code of the previous GADT refinement machinery.
      Hurray to code simplification!
TcPat.lhs 39.2 KB