diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-11-09 17:27:34 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-11-09 17:27:34 -0500 |
| commit | 15dbb86a5905e505527ab60972087e8bed0c9088 (patch) | |
| tree | 5ebb884d4e01bf00778e966fed4a6b06e8342c9c /src/defunc.sml | |
| parent | 6d1ea82d46cb6f34b45d6e5abab29cacf006f1fb (diff) | |
Prevent overzealous Especialization
Diffstat (limited to 'src/defunc.sml')
| -rw-r--r-- | src/defunc.sml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/defunc.sml b/src/defunc.sml index 8771d782..1e997983 100644 --- a/src/defunc.sml +++ b/src/defunc.sml @@ -113,7 +113,10 @@ fun exp (env, e, st) = val (xes, st) = ListUtil.foldlMap (fn (tup as (fnam as (CName x, loc), e, xt), st) => - if x <> "Link" andalso x <> "Action" then + if (x <> "Link" andalso x <> "Action") + orelse case #1 e of + ENamed _ => true + | _ => false then (tup, st) else let |