Mercurial > urweb
comparison src/termination.sml @ 493:ae03d09043c1
Add CutMulti
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 11 Nov 2008 19:20:37 -0500 |
parents | 787d4931fb07 |
children | 588b9d16b00a |
comparison
equal
deleted
inserted
replaced
492:4a241d108a2c | 493:ae03d09043c1 |
---|---|
258 | _ => Rabble | 258 | _ => Rabble |
259 in | 259 in |
260 (p, calls) | 260 (p, calls) |
261 end | 261 end |
262 | ECut (e, _, _) => | 262 | ECut (e, _, _) => |
263 let | |
264 val (_, calls) = exp parent (penv, calls) e | |
265 in | |
266 (Rabble, calls) | |
267 end | |
268 | ECutMulti (e, _, _) => | |
263 let | 269 let |
264 val (_, calls) = exp parent (penv, calls) e | 270 val (_, calls) = exp parent (penv, calls) e |
265 in | 271 in |
266 (Rabble, calls) | 272 (Rabble, calls) |
267 end | 273 end |