Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/src/termination.sml Tue Nov 11 18:39:38 2008 -0500 +++ b/src/termination.sml Tue Nov 11 19:20:37 2008 -0500 @@ -265,6 +265,12 @@ in (Rabble, calls) end + | ECutMulti (e, _, _) => + let + val (_, calls) = exp parent (penv, calls) e + in + (Rabble, calls) + end | EConcat (e1, _, e2, _) => let val (_, calls) = exp parent (penv, calls) e1