Mercurial > urweb

diff src/elab_err.sig @ 1306:3a845f2ce9e9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
:::_ notation; switch to TooDeep error message
author Adam Chlipala <adam@chlipala.net>
date Sun, 10 Oct 2010 20:33:10 -0400
parents c7b9a33c26c8
children e525ad571e15
line wrap: on
line diff
--- a/src/elab_err.sig	Sun Oct 10 15:54:51 2010 -0400
+++ b/src/elab_err.sig	Sun Oct 10 20:33:10 2010 -0400
@@ -58,6 +58,7 @@
            | CRecordFailure of Elab.con * Elab.con * (Elab.con * Elab.con * Elab.con) option
            | TooLifty of ErrorMsg.span * ErrorMsg.span
            | TooUnify of Elab.con * Elab.con
+           | TooDeep
 
     val cunifyError : ElabEnv.env -> cunify_error -> unit