Mercurial > urweb

comparison src/elab_err.sml @ 1778:818d4097e2ed

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Lighter-weight encoding of window function use
author Adam Chlipala <adam@chlipala.net>
date Sun, 03 Jun 2012 11:29:31 -0400
parents fca4a6d05ac1
children 799be3911ce3
comparison
equal deleted inserted replaced
1777:59b07fdae1ff 1778:818d4097e2ed
240 | Unresolvable (loc, c) => 240 | Unresolvable (loc, c) =>
241 (ErrorMsg.errorAt loc "Can't resolve type class instance"; 241 (ErrorMsg.errorAt loc "Can't resolve type class instance";
242 eprefaces' ([("Class constraint", p_con env c)] 242 eprefaces' ([("Class constraint", p_con env c)]
243 @ (case E.resolveFailureCause () of 243 @ (case E.resolveFailureCause () of
244 NONE => [] 244 NONE => []
245 | SOME c' => [("Reduced to unresolvable", p_con env c')]))) 245 | SOME c' => [("Reduced to unresolvable", p_con env c')]))(*;
246 app (fn (c, rs) => (eprefaces' [("CLASS", p_con env c)];
247 app (fn (c, e) => eprefaces' [("RULE", p_con env c),
248 ("IMPL", p_exp env e)]) rs))
249 (E.listClasses env)*))
246 | IllegalRec (x, e) => 250 | IllegalRec (x, e) =>
247 (ErrorMsg.errorAt (#2 e) "Illegal 'val rec' righthand side (must be a function abstraction)"; 251 (ErrorMsg.errorAt (#2 e) "Illegal 'val rec' righthand side (must be a function abstraction)";
248 eprefaces' [("Variable", PD.string x), 252 eprefaces' [("Variable", PD.string x),
249 ("Expression", p_exp env e)]) 253 ("Expression", p_exp env e)])
250 254