Mercurial > urweb

comparison src/elab_err.sig @ 339:075b36dbb1a4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Crud supports INSERT
author Adam Chlipala <adamc@hcoop.net>
date Sun, 14 Sep 2008 15:10:04 -0400
parents eec65c11d3e2
children 6a0e54400805
comparison
equal deleted inserted replaced
338:e976b187d73a 339:075b36dbb1a4
56 56
57 datatype exp_error = 57 datatype exp_error =
58 UnboundExp of ErrorMsg.span * string 58 UnboundExp of ErrorMsg.span * string
59 | UnboundStrInExp of ErrorMsg.span * string 59 | UnboundStrInExp of ErrorMsg.span * string
60 | Unify of Elab.exp * Elab.con * Elab.con * cunify_error 60 | Unify of Elab.exp * Elab.con * Elab.con * cunify_error
61 | Unif of string * Elab.con 61 | Unif of string * ErrorMsg.span * Elab.con
62 | WrongForm of string * Elab.exp * Elab.con 62 | WrongForm of string * Elab.exp * Elab.con
63 | IncompatibleCons of Elab.con * Elab.con 63 | IncompatibleCons of Elab.con * Elab.con
64 | DuplicatePatternVariable of ErrorMsg.span * string 64 | DuplicatePatternVariable of ErrorMsg.span * string
65 | PatUnify of Elab.pat * Elab.con * Elab.con * cunify_error 65 | PatUnify of Elab.pat * Elab.con * Elab.con * cunify_error
66 | UnboundConstructor of ErrorMsg.span * string list * string 66 | UnboundConstructor of ErrorMsg.span * string list * string