Mercurial > urweb

diff src/defunc.sml @ 485:3ce20b0b6914

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Prevent overzealous Especialization
author Adam Chlipala <adamc@hcoop.net>
date Sun, 09 Nov 2008 17:27:34 -0500
parents 685b41e85634
children 230654093b51
line wrap: on
line diff
--- a/src/defunc.sml	Sun Nov 09 16:54:42 2008 -0500
+++ b/src/defunc.sml	Sun Nov 09 17:27:34 2008 -0500
@@ -113,7 +113,10 @@
             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