Mercurial > urweb

diff src/elab_err.sig @ 2009:799be3911ce3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Monadic bind supports patterns
author Adam Chlipala <adam@chlipala.net>
date Fri, 02 May 2014 17:16:02 -0400
parents 0bafdfae2ac7
children
line wrap: on
line diff
--- a/src/elab_err.sig	Fri May 02 15:32:10 2014 -0400
+++ b/src/elab_err.sig	Fri May 02 17:16:02 2014 -0400
@@ -81,6 +81,7 @@
            | Unresolvable of ErrorMsg.span * Elab.con
            | OutOfContext of ErrorMsg.span * (Elab.exp * Elab.con) option
            | IllegalRec of string * Elab.exp
+           | IllegalFlex of Source.exp
 
     val expError : ElabEnv.env -> exp_error -> unit