../ no_errors.out 29-Nov-1973 21:33 158 no_errors.ts 29-Nov-1973 21:33 84 type_error.out 29-Nov-1973 21:33 158 type_error.ts 29-Nov-1973 21:33 120