[Haskell-cafe] Test cases for type inference

Martijn van Steenbergen martijn at van.steenbergen.nl
Wed Oct 21 08:07:37 EDT 2009

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?


More information about the Haskell-Cafe mailing list