Re: [Haskell-cafe] Test cases for type inference

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.