Directory listing for /Eden_Sovereign/CORE/Bend/tests/golden_tests/check_file/

• fail_type_bad_rec_fn_adt.bend
• non_exaustive_limit.bend
• type_err_match_arm.bend