Mercurial > urweb
comparison src/mono_shake.sml @ 1536:cbacd38d4ec2
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') |