[Haskell-cafe] Test cases for type inference

[Martijn van Steenbergen]

Peter Verswyvelen wrote:
> For learning, I would like to develop my own implementation of type
> inference, based on the paper "Typing Haskell in Haskell".
> 
> At first sight, the source code of THIH contains a small number of
> tests, but I was wandering if a large test set exist?

I'm pretty sure GHC maintains a large set of test cases. Maybe you can 
use some of those?

Or maybe you can just pick a random project from hackage and run your 
type checker on that?

Martijn.