Mercurial > urweb

comparison src/termination.sml @ 339:075b36dbb1a4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Crud supports INSERT
author Adam Chlipala <adamc@hcoop.net>
date Sun, 14 Sep 2008 15:10:04 -0400
parents a07f476d9b61
children c5a3d223f157
comparison
equal deleted inserted replaced
338:e976b187d73a 339:075b36dbb1a4
259 (p, calls) 259 (p, calls)
260 end 260 end
261 | ECut (e, _, _) => 261 | ECut (e, _, _) =>
262 let 262 let
263 val (_, calls) = exp (penv, calls) e 263 val (_, calls) = exp (penv, calls) e
264 in
265 (Rabble, calls)
266 end
267 | EWith (e1, _, e2, _) =>
268 let
269 val (_, calls) = exp (penv, calls) e1
270 val (_, calls) = exp (penv, calls) e2
264 in 271 in
265 (Rabble, calls) 272 (Rabble, calls)
266 end 273 end
267 | EFold _ => (Rabble, calls) 274 | EFold _ => (Rabble, calls)
268 275