/testsuite/tests/typecheck/

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