[Haskell-cafe] Test cases for type inference

[jur]

>
> On Tue, Oct 20, 2009 at 10:07 AM, Peter Verswyvelen  
> <bugfact at gmail.com> 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe