Mercurial > urweb

diff src/reduce.sml @ 954:2a50da66ffd8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basic tail recursion introduction seems to be working
author Adam Chlipala <adamc@hcoop.net>
date Thu, 17 Sep 2009 16:35:11 -0400
parents 280f81731426
children 01a4d936395a
line wrap: on
line diff
--- a/src/reduce.sml	Thu Sep 17 14:57:38 2009 -0400
+++ b/src/reduce.sml	Thu Sep 17 16:35:11 2009 -0400
@@ -745,6 +745,8 @@
 
                           | EServerCall (n, es, e, t1, t2) => (EServerCall (n, map (exp env) es, exp env e,
                                                                             con env t1, con env t2), loc)
+                          | ETailCall (n, es, e, t1, t2) => (ETailCall (n, map (exp env) es, exp env e,
+                                                                        con env t1, con env t2), loc)
             in
                 (*if dangling (edepth' (deKnown env)) r then
                     (Print.prefaces "exp" [("e", CorePrint.p_exp CoreEnv.empty all),