Mercurial > urweb

diff src/compiler.sml @ 1020:dfe34fad749d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
RPC uses VM support for call/cc
author Adam Chlipala <adamc@hcoop.net>
date Sun, 25 Oct 2009 14:07:10 -0400
parents 34ba25d6af3b
children 0d916892e39e
line wrap: on
line diff
--- a/src/compiler.sml	Sun Oct 25 13:12:24 2009 -0400
+++ b/src/compiler.sml	Sun Oct 25 14:07:10 2009 -0400
@@ -779,14 +779,7 @@
 
 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