With regards to getting parse errors from later files before type errors from earlier ones, I would agree with Stephen, but more strongly, that it is better to see all errors from the first file first. It just matches more how I think of compilation working.