Mercurial > urweb

diff src/elab_err.sig @ 819:cb30dd2ba353

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Switch to Maranget's pattern exhaustiveness algorithm
author Adam Chlipala <adamc@hcoop.net>
date Sat, 23 May 2009 09:45:02 -0400
parents 1fb318c17546
children 5d7e05b4a5c0
line wrap: on
line diff
--- a/src/elab_err.sig	Thu May 21 11:45:04 2009 -0400
+++ b/src/elab_err.sig	Sat May 23 09:45:02 2009 -0400
@@ -71,7 +71,7 @@
            | UnboundConstructor of ErrorMsg.span * string list * string
            | PatHasArg of ErrorMsg.span
            | PatHasNoArg of ErrorMsg.span
-           | Inexhaustive of ErrorMsg.span
+           | Inexhaustive of ErrorMsg.span * Elab.pat
            | DuplicatePatField of ErrorMsg.span * string
            | Unresolvable of ErrorMsg.span * Elab.con
            | OutOfContext of ErrorMsg.span * (Elab.exp * Elab.con) option