Mercurial > urweb
comparison src/termination.sml @ 339:075b36dbb1a4
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 |