Mercurial > urweb

comparison src/elab_err.sml @ 712:915ec60592d4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
More flexible foreign keying
author Adam Chlipala <adamc@hcoop.net>
date Thu, 09 Apr 2009 13:59:34 -0400
parents 7292bcb7c02d
children d20d6afc1206
comparison
equal deleted inserted replaced
711:7292bcb7c02d 712:915ec60592d4
215 (ErrorMsg.errorAt loc "Type class wildcard occurs out of context"; 215 (ErrorMsg.errorAt loc "Type class wildcard occurs out of context";
216 Option.app (fn (e, c) => eprefaces' [("Function", p_exp env e), 216 Option.app (fn (e, c) => eprefaces' [("Function", p_exp env e),
217 ("Type", p_con env c)]) co) 217 ("Type", p_con env c)]) co)
218 | Unresolvable (loc, c) => 218 | Unresolvable (loc, c) =>
219 (ErrorMsg.errorAt loc "Can't resolve type class instance"; 219 (ErrorMsg.errorAt loc "Can't resolve type class instance";
220 eprefaces' [("Class constraint", p_con env c), 220 eprefaces' [("Class constraint", p_con env c)(*,
221 ("Class database", p_list (fn (c, rules) => 221 ("Class database", p_list (fn (c, rules) =>
222 box [P.p_con env c, 222 box [P.p_con env c,
223 PD.string ":", 223 PD.string ":",
224 space, 224 space,
225 p_list (fn (c, e) => 225 p_list (fn (c, e) =>
226 box [p_exp env e, 226 box [p_exp env e,
227 PD.string ":", 227 PD.string ":",
228 space, 228 space,
229 P.p_con env c]) rules]) 229 P.p_con env c]) rules])
230 (E.listClasses env))]) 230 (E.listClasses env))*)])
231 | IllegalRec (x, e) => 231 | IllegalRec (x, e) =>
232 (ErrorMsg.errorAt (#2 e) "Illegal 'val rec' righthand side (must be a function abstraction)"; 232 (ErrorMsg.errorAt (#2 e) "Illegal 'val rec' righthand side (must be a function abstraction)";
233 eprefaces' [("Variable", PD.string x), 233 eprefaces' [("Variable", PD.string x),
234 ("Expression", p_exp env e)]) 234 ("Expression", p_exp env e)])
235 235