Mercurial > urweb

comparison src/mono_shake.sml @ 1536:cbacd38d4ec2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Remove commented-out code
author Adam Chlipala <adam@chlipala.net>
date Sun, 14 Aug 2011 09:31:53 -0400
parents 27190faa36a3
children 218e2a9a53d0
comparison
equal deleted inserted replaced
1535:27190faa36a3 1536:cbacd38d4ec2
100 end 100 end
101 | _ => s 101 | _ => s
102 102
103 and shakeExp s = U.Exp.fold {typ = typ, exp = exp} s 103 and shakeExp s = U.Exp.fold {typ = typ, exp = exp} s
104 104
105 (*
106 val usedVars = U.Exp.fold {typ = fn (c, st as (cs, es)) =>
107 case c of
108 TDatatype (n, _) => (IS.add (cs, n), es)
109 | _ => st,
110 exp = fn (e, st as (cs, es)) =>
111 case e of
112 ENamed n => (cs, IS.add (es, n))
113 | _ => st}
114 *)
115
116 fun usedVars (cs, es) e = 105 fun usedVars (cs, es) e =
117 let 106 let
118 val {con = cs', exp = es'} = shakeExp {con = cs, exp = es} e 107 val {con = cs', exp = es'} = shakeExp {con = cs, exp = es} e
119 in 108 in
120 (cs', es') 109 (cs', es')