Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
2008:93ff76058825 2009:799be3911ce3
79 | Inexhaustive of ErrorMsg.span * Elab.pat 79 | Inexhaustive of ErrorMsg.span * Elab.pat
80 | DuplicatePatField of ErrorMsg.span * string 80 | DuplicatePatField of ErrorMsg.span * string
81 | Unresolvable of ErrorMsg.span * Elab.con 81 | Unresolvable of ErrorMsg.span * Elab.con
82 | OutOfContext of ErrorMsg.span * (Elab.exp * Elab.con) option 82 | OutOfContext of ErrorMsg.span * (Elab.exp * Elab.con) option
83 | IllegalRec of string * Elab.exp 83 | IllegalRec of string * Elab.exp
84 | IllegalFlex of Source.exp
84 85
85 val expError : ElabEnv.env -> exp_error -> unit 86 val expError : ElabEnv.env -> exp_error -> unit
86 87
87 datatype decl_error = 88 datatype decl_error =
88 KunifsRemain of Elab.decl list 89 KunifsRemain of Elab.decl list