Mercurial > urweb

diff src/mono_reduce.sml @ 565:74800be65591

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Creation of sources in server code
author Adam Chlipala <adamc@hcoop.net>
date Fri, 19 Dec 2008 11:47:18 -0500
parents 463dad880470
children a152905c3c3b
line wrap: on
line diff
--- a/src/mono_reduce.sml	Fri Dec 19 10:27:58 2008 -0500
+++ b/src/mono_reduce.sml	Fri Dec 19 11:47:18 2008 -0500
@@ -54,6 +54,7 @@
       | ESome (_, e) => impure e
       | EFfi _ => false
       | EFfiApp ("Basis", "set_cookie", _) => true
+      | EFfiApp ("Basis", "new_client_source", _) => true
       | EFfiApp _ => false
       | EApp ((EFfi _, _), _) => false
       | EApp _ => true
@@ -257,6 +258,7 @@
               | ESome (_, e) => summarize d e
               | EFfi _ => []
               | EFfiApp ("Basis", "set_cookie", _) => [Unsure]
+              | EFfiApp ("Basis", "new_client_source", _) => [Unsure]
               | EFfiApp (_, _, es) => List.concat (map (summarize d) es)
               | EApp ((EFfi _, _), e) => summarize d e
               | EApp _ =>