Mercurial > urweb

comparison src/elab_err.sig @ 2206:c1a62ce47083

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Merge.
author Ziv Scully <ziv@mit.edu>
date Tue, 27 May 2014 21:38:01 -0400
parents 799be3911ce3
children
comparison
equal deleted inserted replaced
2205:cdea39473c78 2206:c1a62ce47083
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