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 error;
authorwenzelm
Tue, 24 Jul 2012 21:07:54 +0200
changeset 48485 2cbc3d284cd8
parent 48484 70898d016538
child 48486 691d0b44a793
tuned error;
src/Pure/System/build.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/System/build.scala	Tue Jul 24 20:56:18 2012 +0200
+++ b/src/Pure/System/build.scala	Tue Jul 24 21:07:54 2012 +0200
@@ -331,7 +331,12 @@
                 }
               thy :: uses
             }).flatten ::: info.files.map(file => info.dir + file)
-          val sources = all_files.map(p => (p, SHA1.digest(p)))
+          val sources =
+            try { all_files.map(p => (p, SHA1.digest(p))) }
+            catch {
+              case ERROR(msg) =>
+                error(msg + "\nThe error(s) above occurred in session " + quote(name))
+            }
 
           deps + (name -> Node(loaded_theories, sources))
       }))
isabelle