Robby Findler e788c6f49e adjust define-judgment-form so that it ... a) avoids creating big intermediate lists of the same things over and over (this closes PR 12380) b) generates less code (by generating calls to local functions) c) normalizes its output (sorts by the printed representation)		2011-11-20 22:50:07 -06:00
..
bmps-macosx	Adds missing test image	2011-09-08 10:43:23 -05:00
bmps-unix
compiler
run-err-tests	Tests defined-checks directly	2011-08-30 15:10:50 -05:00
syn-err-tests	added support for where & side-condition & judgment-holds to define-relation	2011-11-20 21:34:22 -06:00
bitmap-test-util.rkt	Makes tests executable from outside their directory	2011-08-05 07:19:21 -05:00
bitmap-test.rkt	Adds support for `judgment-holds' clauses in metafunctions	2011-09-08 09:11:52 -05:00
check-syntax-test.rkt	Adds define-term form	2011-08-30 15:10:50 -05:00
color-test.rkt
core-layout-test.rkt
defined-checks-test.rkt	Tests defined-checks directly	2011-08-30 15:10:50 -05:00
hole-test.rkt
keyword-macros-test.rkt	Fixes keyword tests	2011-07-16 18:19:22 -05:00
lw-test-util.rkt
lw-test.rkt
matcher-test.rkt	Fixes matching of prefab struct literals	2011-10-17 19:37:16 -05:00
pict-test.rkt
rg-test.rkt	Refactors meta-function implementation further	2011-08-05 07:19:22 -05:00
run-tests.rkt	Add evaluation contexts for by-need letrec calculus as an example	2011-09-19 12:20:45 -05:00
stepper-test.rkt
term-test.rkt	Adds define-judgment-form form	2011-08-05 07:19:23 -05:00
test-docs-complete.rkt
test-util.rkt	added support for where & side-condition & judgment-holds to define-relation	2011-11-20 21:34:22 -06:00
tl-test.rkt	adjust define-judgment-form so that it	2011-11-20 22:50:07 -06:00