Mercurial > urweb
comparison src/shake.sml @ 954:2a50da66ffd8
Basic tail recursion introduction seems to be working
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 17 Sep 2009 16:35:11 -0400 |
parents | ed06e25c70ef |
children | dfe34fad749d |
comparison
equal
deleted
inserted
replaced
953:301530da2062 | 954:2a50da66ffd8 |
---|---|
136 end | 136 end |
137 in | 137 in |
138 case e of | 138 case e of |
139 ENamed n => check n | 139 ENamed n => check n |
140 | EServerCall (n, _, _, _, _) => check n | 140 | EServerCall (n, _, _, _, _) => check n |
141 | ETailCall (n, _, _, _, _) => check n | |
141 | _ => s | 142 | _ => s |
142 end | 143 end |
143 | 144 |
144 and shakeExp s = U.Exp.fold {kind = kind, con = con, exp = exp} s | 145 and shakeExp s = U.Exp.fold {kind = kind, con = con, exp = exp} s |
145 | 146 |