-
chak@cse.unsw.edu.au. authored
- Implements normalisation of class constraints containing synonym family applications or skolems refined by local equalities. - Clean up of TcSimplify.reduceContext by using the new equality solver. - Removed all the now unused code of the old algorithm. - This completes the implementation of the new algorithm, but it is largely untested => many regressions.
e8917205