aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/tag.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/tag.sml')
-rw-r--r--src/tag.sml9
1 files changed, 9 insertions, 0 deletions
diff --git a/src/tag.sml b/src/tag.sml
index c9d3cbb8..a313e0a6 100644
--- a/src/tag.sml
+++ b/src/tag.sml
@@ -171,6 +171,15 @@ fun exp env (e, s) =
(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