-
chak@cse.unsw.edu.au. authored
- checkTauTvUpdate now distinguishes between whether (1) a type variables occurs only in type family parameters (in which case unification is to be deferred) (2) other variable occurences (which case we fail with a cannot create infinite type message, as before)
1b6b0ba3