Mercurial > urweb

diff 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
line wrap: on
line diff
--- a/src/termination.sml	Sun Sep 14 11:02:18 2008 -0400
+++ b/src/termination.sml	Sun Sep 14 15:10:04 2008 -0400
@@ -264,6 +264,13 @@
                         in
                             (Rabble, calls)
                         end
+                      | EWith (e1, _, e2, _) =>
+                        let
+                            val (_, calls) = exp (penv, calls) e1
+                            val (_, calls) = exp (penv, calls) e2
+                        in
+                            (Rabble, calls)
+                        end
                       | EFold _ => (Rabble, calls)
 
                       | ECase (e, pes, _) =>