From 9285fc85a25fc1fbe9e8d5c37f63dffedb197fa6 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 8 Dec 2009 11:45:19 -0500
Subject: Shake bug fix; pattern reduction in ReduceLocal

---
 src/tag.sml | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'src/tag.sml')

diff --git a/src/tag.sml b/src/tag.sml
index 582a3b8e..b4574b79 100644
--- a/src/tag.sml
+++ b/src/tag.sml
@@ -74,6 +74,8 @@ fun exp env (e, s) =
                                            let
                                                fun tagIt (ek, newAttr) =
                                                    let
+                                                       val eOrig = e
+
                                                        fun unravel (e, _) =
                                                            case e of
                                                                ENamed n => (n, [])
@@ -83,7 +85,10 @@ fun exp env (e, s) =
                                                                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
-- 
cgit v1.2.3