Mercurial > urweb

diff src/elab_err.sml @ 849:e571fb150a9f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix a bug in type class enrichment from substructures
author Adam Chlipala <adamc@hcoop.net>
date Tue, 16 Jun 2009 14:38:01 -0400
parents cb30dd2ba353
children 1c2f335297b7
line wrap: on
line diff
--- a/src/elab_err.sml	Sat Jun 13 15:42:24 2009 -0400
+++ b/src/elab_err.sml	Tue Jun 16 14:38:01 2009 -0400
@@ -218,7 +218,7 @@
                                               ("Type", p_con env c)]) co)
       | Unresolvable (loc, c) =>
         (ErrorMsg.errorAt loc "Can't resolve type class instance";
-         eprefaces' [("Class constraint", p_con env c)(*,
+         eprefaces' [("Class constraint", p_con env c),
                      ("Class database", p_list (fn (c, rules) =>
                                                    box [P.p_con env c,
                                                         PD.string ":",
@@ -228,7 +228,7 @@
                                                                         PD.string ":",
                                                                         space,
                                                                         P.p_con env c]) rules])
-                                        (E.listClasses env))*)])
+                                        (E.listClasses env))])
       | IllegalRec (x, e) =>
         (ErrorMsg.errorAt (#2 e) "Illegal 'val rec' righthand side (must be a function abstraction)";
          eprefaces' [("Variable", PD.string x),