[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