diff src/mod_db.sml @ 1757:b6c4b3484752

In incremental elaboration, handle invalidated FFI signatures
author Adam Chlipala <adam@chlipala.net>
date Wed, 09 May 2012 08:53:10 -0400
parents 78d7cc9c9b18
children d6b0ee53dc93
line wrap: on
line diff
--- a/src/mod_db.sml	Mon May 07 08:16:18 2012 -0400
+++ b/src/mod_db.sml	Wed May 09 08:53:10 2012 -0400
@@ -109,6 +109,9 @@
                                                                         DStr (_, n', _, _) =>
                                                                         (byId := #1 (IM.remove (!byId, n'));
                                                                          false)
+                                                                      | DFfiStr (_, n', _) =>
+                                                                        (byId := #1 (IM.remove (!byId, n'));
+                                                                         false)
                                                                       | _ => raise Fail "ModDb: Impossible decl"
                                                                 else
                                                                     true) (!byName),