GitHub - bfetscher/poly-gen

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 21 Commits
.gitignore		.gitignore
ModExample.hs		ModExample.hs
ModSkeleton.hs		ModSkeleton.hs
README		README
TestModule.o		TestModule.o
gen-module.rkt		gen-module.rkt
gen-n.rkt		gen-n.rkt
instances.txt		instances.txt
non-poly.rkt		non-poly.rkt
np-sizes-flat.rktd		np-sizes-flat.rktd
np-sizes.rktd		np-sizes.rktd
pl-sizes-flat.rktd		pl-sizes-flat.rktd
pl-sizes.rktd		pl-sizes.rktd
poly-lam.rkt		poly-lam.rkt
sizes.rkt		sizes.rkt
unparse.rkt		unparse.rkt

Repository files navigation

poly-gen
========

A couple scripts to generate Haskell modules for testing GHC.
(Based on the language in "Testing an Optimising Compiler by Generating 
Random Lambda Terms" [Palka et al, 2011].)

To use, from the command line:
racket gen-module.rkt <number of test expressions>

It is not fast, so use a small number!