Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
1579:e1f4ac9ca34b 1580:ec466c1e082a
3263 subSgn' counterparts (E.pushStrNamedAs env m1 n1 dom2) strLoc ran1 ran2 3263 subSgn' counterparts (E.pushStrNamedAs env m1 n1 dom2) strLoc ran1 ran2
3264 end 3264 end
3265 3265
3266 | _ => sgnError env (SgnWrongForm (strLoc, sgn1, sgn2))) 3266 | _ => sgnError env (SgnWrongForm (strLoc, sgn1, sgn2)))
3267 3267
3268 and subSgn env = subSgn' (ref IM.empty) env 3268 and subSgn env x y z = subSgn' (ref IM.empty) env x y z
3269 handle e as E.UnboundNamed _ => if ErrorMsg.anyErrors () then () else raise e
3269 3270
3270 and positive self = 3271 and positive self =
3271 let 3272 let
3272 open L 3273 open L
3273 3274