Better behavior with problematic sources in the...

Better behavior with problematic sources in the presentation compiler:

 - if the presentation compiler crashes while type checking a source file, it puts it into an 
   ignore buffer, and it will not type check it during background compilation rounds.
   Any subsequent calls to waitLoadedTyped will fail with the last exception. 
   To remove it from the ignore list call either 'enableIgnoredFile' or 'askToDoFirst'
   on that file.
 - sources with syntax errors are not type checked during background compilation. This leads
   to less spurious errors. For instance, type errors may occur much earlier in the file than 
   the actual syntax error that caused them.

review by odersky.

0 files changed, 0 insertions, 0 deletions