--- a/src/Pure/Tools/build.scala Wed Apr 01 16:24:38 2015 +0200
+++ b/src/Pure/Tools/build.scala Wed Apr 01 17:20:52 2015 +0200
@@ -508,13 +508,14 @@
progress.echo(cat_lines(all_files.map(_.implode).sorted.map(" " + _)))
if (check_keywords.nonEmpty) {
- for {
- path <- theory_files
- (tok, pos) <- Check_Keywords.conflicts(syntax.keywords, check_keywords, path)
- } {
- progress.echo(Output.warning_text(
- "keyword conflict: " + tok.kind.toString + " " + quote(tok.content) +
- Position.here(pos)))
+ for (path <- theory_files) {
+ if (progress.stopped) throw Exn.Interrupt()
+ for ((tok, pos) <- Check_Keywords.conflicts(syntax.keywords, check_keywords, path))
+ {
+ progress.echo(Output.warning_text(
+ "keyword conflict: " + tok.kind.toString + " " + quote(tok.content) +
+ Position.here(pos)))
+ }
}
}