summaryrefslogtreecommitdiff
path: root/src/mono_shake.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-08-14 09:31:53 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2011-08-14 09:31:53 -0400
commitaf9491f3120949ef52a39b9c3c34d0c4bd06e446 (patch)
tree1581a659ea1e0998d3d45fc1653662ef87bc3390 /src/mono_shake.sml
parent2293837a835850d221f6e6623f1f845220ff24c3 (diff)
Remove commented-out code
Diffstat (limited to 'src/mono_shake.sml')
-rw-r--r--src/mono_shake.sml11
1 files changed, 0 insertions, 11 deletions
diff --git a/src/mono_shake.sml b/src/mono_shake.sml
index 7eb66705..f601e712 100644
--- a/src/mono_shake.sml
+++ b/src/mono_shake.sml
@@ -102,17 +102,6 @@ fun shake file =
and shakeExp s = U.Exp.fold {typ = typ, exp = exp} s
-(*
- val usedVars = U.Exp.fold {typ = fn (c, st as (cs, es)) =>
- case c of
- TDatatype (n, _) => (IS.add (cs, n), es)
- | _ => st,
- exp = fn (e, st as (cs, es)) =>
- case e of
- ENamed n => (cs, IS.add (es, n))
- | _ => st}
-*)
-
fun usedVars (cs, es) e =
let
val {con = cs', exp = es'} = shakeExp {con = cs, exp = es} e