-
chak@cse.unsw.edu.au. authored
- Makes this horrid function a bit better - and shorter! - Also gets rid of another API function of TcTyFuns
b5a8dd88
- Makes this horrid function a bit better - and shorter! - Also gets rid of another API function of TcTyFuns