../ no_errors.out 24-Jul-2006 01:21 158 no_errors.ts 24-Jul-2006 01:21 84 type_error.out 24-Jul-2006 01:21 158 type_error.ts 24-Jul-2006 01:21 120