Mercurial > urweb

diff src/mono_reduce.sml @ 463:bb27c7efcd90

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Reading cookies works
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 12:08:41 -0500
parents 21bb5bbba2e9
children ddd363e856ff
line wrap: on
line diff
--- a/src/mono_reduce.sml	Thu Nov 06 11:29:16 2008 -0500
+++ b/src/mono_reduce.sml	Thu Nov 06 12:08:41 2008 -0500
@@ -41,6 +41,7 @@
       | EQuery _ => true
       | EDml _ => true
       | ENextval _ => true
+      | EUnurlify _ => true
       | EAbs _ => false
 
       | EPrim _ => false
@@ -275,6 +276,7 @@
 
       | EDml e => summarize d e @ [WriteDb]
       | ENextval e => summarize d e @ [WriteDb]
+      | EUnurlify (e, _) => summarize d e
 
 fun exp env e =
     let