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.
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
