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