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

On Tue, Oct 20, 2009 at 10:07 AM, 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?

Thanks, Peter

Dear Peter, The sources of the Helium compiler contain quite a few test files for type inference and other issues like static checking. Go to http://www.cs.uu.nl/wiki/Helium go to Downloads and get the most recent version. Then unpack it. Then go to the directory heliumsystem/helium/test/typerrrors that contains a large number of type erroneous programs,and heliumsystem/helium/test/correct contains quite a few that should pass the test (but that does depend somewhat on how extensive the language you support is). hope this helps, Jurriaan

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe