Mercurial > urweb

diff src/tag.sml @ 1370:44a12a321150

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
queryString and effectfulUrl
author Adam Chlipala <adam@chlipala.net>
date Sun, 26 Dec 2010 17:29:03 -0500
parents 503d4ec93494
children 3621f486ce72
line wrap: on
line diff
--- a/src/tag.sml	Sun Dec 26 15:52:56 2010 -0500
+++ b/src/tag.sml	Sun Dec 26 17:29:03 2010 -0500
@@ -171,6 +171,15 @@
                 (EFfiApp ("Basis", "url", [e]), s)
             end
 
+          | EFfiApp ("Basis", "effectfulUrl", [(ERel 0, _)]) => (e, s)
+
+          | EFfiApp ("Basis", "effectfulUrl", [e]) =>
+            let
+                val (e, s) = tagIt (e, Extern ReadCookieWrite, "Url", s)
+            in
+                (EFfiApp ("Basis", "url", [e]), s)
+            end
+
           | EApp ((ENamed n, _), e') =>
             let
                 val (_, _, eo, _) = E.lookupENamed env n