Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned --- prefer explicit position;
authorwenzelm
Fri, 08 Jan 2021 15:07:25 +0100
changeset 73101 3d5d949cd865
parent 73100 693a39f2cddc
child 73102 87067698ae53
tuned --- prefer explicit position;
src/Pure/PIDE/execution.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/PIDE/execution.ML	Fri Jan 08 15:03:51 2021 +0100
+++ b/src/Pure/PIDE/execution.ML	Fri Jan 08 15:07:25 2021 +0100
@@ -174,7 +174,7 @@
                     Exn.Exn exn =>
                      (status task [Markup.failed];
                       status task [Markup.finished];
-                      Output.report [Markup.markup_only (Markup.bad ())];
+                      Position.report pos (Markup.bad ());
                       if exec_id = 0 then ()
                       else List.app (Future.error_message pos) (Runtime.exn_messages exn))
                   | Exn.Res _ =>
isabelle