/testsuite/tests/typecheck/
../
Makefile
T11342
T11824
T12441
T13168
T20524
bug1465
no_skolem_info
prog001
prog002
should_compile
should_fail
should_run
testeq1