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 | 9285fc85a25fc1fbe9e8d5c37f63dffedb197fa6 (patch) | |
| tree | 8ac2d14152b1ae2cfccf03bd0cf90b6f6592ab99 /src/tag.sml | |
| parent | 778b73af8cd74791c5d2f8cc520d82e3b4e1f5de (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 |