-
chak@cse.unsw.edu.au. authored
- TcGadt RIP - The non-side effecting unification code is now in types/Unify.lhs along with the refinement code needed for GADT record selectors.
3d597043
- TcGadt RIP - The non-side effecting unification code is now in types/Unify.lhs along with the refinement code needed for GADT record selectors.