From ad7be9f6f9b4bfd6d6a4653b5eed4783a6ddb96e Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 25 Oct 2009 14:07:10 -0400
Subject: RPC uses VM support for call/cc

---
 src/compiler.sml | 9 +--------
 1 file changed, 1 insertion(+), 8 deletions(-)

(limited to 'src/compiler.sml')

diff --git a/src/compiler.sml b/src/compiler.sml
index b1939356..6fd107a7 100644
--- a/src/compiler.sml
+++ b/src/compiler.sml
@@ -779,14 +779,7 @@ val toShake3 = transform shake "shake3" o toSpecialize
 
 val toEspecialize = transform especialize "especialize" o toShake3
 
-val tailify = {
-    func = Tailify.frob,
-    print = CorePrint.p_file CoreEnv.empty
-}
-
-val toTailify = transform tailify "tailify" o toEspecialize
-
-val toReduce2 = transform reduce "reduce2" o toTailify
+val toReduce2 = transform reduce "reduce2" o toEspecialize
 
 val toShake4 = transform shake "shake4" o toReduce2
 
-- 
cgit v1.2.3