diff src/compiler.sml @ 2192:fb113569519e

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 8c81cd351c1a
children 6eae499c56cb
line wrap: on
line diff
--- a/src/compiler.sml	Sun Nov 01 17:02:16 2015 -0500
+++ b/src/compiler.sml	Sun Nov 22 10:03:35 2015 -0500
@@ -413,11 +413,7 @@
 val lastUrp = ref ""
 
 fun parseUrp' accLibs fname =
-    (if !lastUrp = fname then
-         ()
-     else
-         ModDb.reset ();
-     lastUrp := fname;
+    (lastUrp := fname;
      if not (Posix.FileSys.access (fname ^ ".urp", []) orelse Posix.FileSys.access (fname ^ "/lib.urp", []))
         andalso Posix.FileSys.access (fname ^ ".ur", []) then
          let