-
Simon Peyton Jones authored
Very many of these changes are minor error-message wibbles, but there are some to do with higher-rank and impredicativity that are more substantial. I'm looking at those separately, but meanwhile validate works.
40f9546b