/testsuite/compiler/typecheck/

• ../
• Check.gf
• abstract
• concrete