-
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!
4226903d