It should be possible for the compiler to update the Eclipse editor at any given time.

In particular, the editor should receive updates of

• a single file multiple times during compilation (intermediate results) and
• files on which the current file depends.

Submitted by Sebastian Erdweg on 11 May 2011 at 10:22