Mercurial > urweb

diff src/elaborate.sml @ 1580:ec466c1e082a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Catch UnboundNamed exceptions that arise from missing signature items
author Adam Chlipala <adam@chlipala.net>
date Fri, 21 Oct 2011 08:51:30 -0400
parents f6c74b4bc4e6
children dfb38a333816
line wrap: on
line diff
--- a/src/elaborate.sml	Fri Oct 21 08:36:10 2011 -0400
+++ b/src/elaborate.sml	Fri Oct 21 08:51:30 2011 -0400
@@ -3265,7 +3265,8 @@
 
       | _ => sgnError env (SgnWrongForm (strLoc, sgn1, sgn2)))
 
-and subSgn env = subSgn' (ref IM.empty) env
+and subSgn env x y z = subSgn' (ref IM.empty) env x y z
+    handle e as E.UnboundNamed _ => if ErrorMsg.anyErrors () then () else raise e
 
 and positive self =
     let