Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
484:685b41e85634 485:3ce20b0b6914
111 ERecord xes => 111 ERecord xes =>
112 let 112 let
113 val (xes, st) = 113 val (xes, st) =
114 ListUtil.foldlMap 114 ListUtil.foldlMap
115 (fn (tup as (fnam as (CName x, loc), e, xt), st) => 115 (fn (tup as (fnam as (CName x, loc), e, xt), st) =>
116 if x <> "Link" andalso x <> "Action" then 116 if (x <> "Link" andalso x <> "Action")
117 orelse case #1 e of
118 ENamed _ => true
119 | _ => false then
117 (tup, st) 120 (tup, st)
118 else 121 else
119 let 122 let
120 fun needsAttention (e, _) = 123 fun needsAttention (e, _) =
121 case e of 124 case e of