test.fail_rec_type_not_defined.mps 3.54 KB