/test/typecheck/

• ../
• fpthreesimp.sail
• pass
• run_tests.sh
• update_errors.sh