From 1fd7e4392db0bace167853850188c464b00a8126 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Wed, 2 May 2012 08:56:19 -0400
Subject: Don't modify the module cache after elaboration failures

---
 src/mod_db.sig | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/mod_db.sig')

diff --git a/src/mod_db.sig b/src/mod_db.sig
index 2b98ae6f..8f78f2c2 100644
--- a/src/mod_db.sig
+++ b/src/mod_db.sig
@@ -35,4 +35,8 @@ signature MOD_DB = sig
      * We might invalidate other declarations that depend on this one, if the timestamp has changed. *)
 
     val lookup : Source.decl -> Elab.decl option
+
+    (* Allow undoing to snapshots after failed compilations. *)
+    val snapshot : unit -> unit
+    val revert : unit -> unit
 end
-- 
cgit v1.2.3