summaryrefslogtreecommitdiff
path: root/src/tag.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-11-09 11:53:52 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-11-09 11:53:52 -0500
commit23d4ee74243e0d9d630c863e83403d25e926ff88 (patch)
treea7b3f4490705ab9eb503022eec6cd8271270be2e /src/tag.sml
parentbf14288c4da80f65aa920b001cf8e3070c8b4c3e (diff)
Especialize working reasonably well; need to add new closure representation pass
Diffstat (limited to 'src/tag.sml')
-rw-r--r--src/tag.sml2
1 files changed, 0 insertions, 2 deletions
diff --git a/src/tag.sml b/src/tag.sml
index 34595732..b19a0544 100644
--- a/src/tag.sml
+++ b/src/tag.sml
@@ -80,8 +80,6 @@ fun exp env (e, s) =
| _ => (ErrorMsg.errorAt loc "Invalid link expression";
(0, []))
-
-
val (f, args) = unravel e
val (cn, count, tags, newTags) =