Mercurial > urweb

comparison src/elab_err.sml @ 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
142 142
143 datatype exp_error = 143 datatype exp_error =
144 UnboundExp of ErrorMsg.span * string 144 UnboundExp of ErrorMsg.span * string
145 | UnboundStrInExp of ErrorMsg.span * string 145 | UnboundStrInExp of ErrorMsg.span * string
146 | Unify of exp * con * con * cunify_error 146 | Unify of exp * con * con * cunify_error
147 | Unif of string * con 147 | Unif of string * ErrorMsg.span * con
148 | WrongForm of string * exp * con 148 | WrongForm of string * exp * con
149 | IncompatibleCons of con * con 149 | IncompatibleCons of con * con
150 | DuplicatePatternVariable of ErrorMsg.span * string 150 | DuplicatePatternVariable of ErrorMsg.span * string
151 | PatUnify of pat * con * con * cunify_error 151 | PatUnify of pat * con * con * cunify_error
152 | UnboundConstructor of ErrorMsg.span * string list * string 152 | UnboundConstructor of ErrorMsg.span * string list * string
171 (ErrorMsg.errorAt (#2 e) "Unification failure"; 171 (ErrorMsg.errorAt (#2 e) "Unification failure";
172 eprefaces' [("Expression", p_exp env e), 172 eprefaces' [("Expression", p_exp env e),
173 ("Have con", p_con env c1), 173 ("Have con", p_con env c1),
174 ("Need con", p_con env c2)]; 174 ("Need con", p_con env c2)];
175 cunifyError env uerr) 175 cunifyError env uerr)
176 | Unif (action, c) => 176 | Unif (action, loc, c) =>
177 (ErrorMsg.errorAt (#2 c) ("Unification variable blocks " ^ action); 177 (ErrorMsg.errorAt loc ("Unification variable blocks " ^ action);
178 eprefaces' [("Con", p_con env c)]) 178 eprefaces' [("Con", p_con env c)])
179 | WrongForm (variety, e, t) => 179 | WrongForm (variety, e, t) =>
180 (ErrorMsg.errorAt (#2 e) ("Expression is not a " ^ variety); 180 (ErrorMsg.errorAt (#2 e) ("Expression is not a " ^ variety);
181 eprefaces' [("Expression", p_exp env e), 181 eprefaces' [("Expression", p_exp env e),
182 ("Type", p_con env t)]) 182 ("Type", p_con env t)])