Mercurial > urweb

diff src/tag.sml @ 1062:3bc726a822fb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Shake bug fix; pattern reduction in ReduceLocal
author Adam Chlipala <adamc@hcoop.net>
date Tue, 08 Dec 2009 11:45:19 -0500
parents a5eb8f87bc17
children 217eb87dde31
line wrap: on
line diff
--- a/src/tag.sml	Tue Dec 08 10:46:50 2009 -0500
+++ b/src/tag.sml	Tue Dec 08 11:45:19 2009 -0500
@@ -74,6 +74,8 @@
                                            let
                                                fun tagIt (ek, newAttr) =
                                                    let
+                                                       val eOrig = e
+
                                                        fun unravel (e, _) =
                                                            case e of
                                                                ENamed n => (n, [])
@@ -83,7 +85,10 @@
                                                                in
                                                                    (n, es @ [e2])
                                                                end
-                                                             | _ => (ErrorMsg.errorAt loc "Invalid link expression";
+                                                             | _ => (ErrorMsg.errorAt loc ("Invalid " ^ newAttr
+                                                                                           ^ " expression");
+                                                                     Print.epreface ("Expression",
+                                                                                     CorePrint.p_exp CoreEnv.empty eOrig);
                                                                      (0, []))
 
                                                        val (f, args) = unravel e