summaryrefslogtreecommitdiff
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
commit32a540e56909917ab5519c0a91d26b7c2b740e10 (patch)
tree1581a659ea1e0998d3d45fc1653662ef87bc3390
parente8d1dda218de481825136e2e3f29f311a9679a3f (diff)
Remove commented-out code
-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