diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-12-08 11:45:19 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-12-08 11:45:19 -0500 |
commit | 7135681c483924a2105ff96cb9047541058207e1 (patch) | |
tree | 8ac2d14152b1ae2cfccf03bd0cf90b6f6592ab99 /src/tag.sml | |
parent | 43baaca3a84baa6005a2705774a4e08e94b882e2 (diff) |
Shake bug fix; pattern reduction in ReduceLocal
Diffstat (limited to 'src/tag.sml')
-rw-r--r-- | src/tag.sml | 7 |
1 files changed, 6 insertions, 1 deletions
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 |