Mercurial > urweb

diff src/elaborate.sml @ 2192:fb113569519e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Make daemon mode support sharing of libraries across projects
author Adam Chlipala <adam@chlipala.net>
date Sun, 22 Nov 2015 10:03:35 -0500
parents 22117edf8fd3
children 100352dbae36
line wrap: on
line diff
--- a/src/elaborate.sml	Sun Nov 01 17:02:16 2015 -0500
+++ b/src/elaborate.sml	Sun Nov 22 10:03:35 2015 -0500
@@ -5019,5 +5019,7 @@
         @ (L'.DStr ("Top", top_n, topSgn, topStr), ErrorMsg.dummySpan)
         :: ds' @ file
     end
+    handle e => (ModDb.revert ();
+                 raise e)
 
 end