summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-02-10 08:46:46 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2011-02-10 08:46:46 -0500
commit98271e4a9f570230175f68417d1aa91f6caf7cd8 (patch)
tree189de6f2ff8814313cf52d2fafc2a2d266806c26 /src
parent6ac0f0338084612d367def5b8518bd4514c3f9a4 (diff)
Fix some cookie-related bugs in MonoReduce
Diffstat (limited to 'src')
-rw-r--r--src/mono_reduce.sml10
1 files changed, 7 insertions, 3 deletions
diff --git a/src/mono_reduce.sml b/src/mono_reduce.sml
index 82d0a63d..15549175 100644
--- a/src/mono_reduce.sml
+++ b/src/mono_reduce.sml
@@ -76,7 +76,7 @@ fun impure (e, _) =
| EDml _ => true
| ENextval _ => true
| ESetval _ => true
- | EUnurlify _ => false
+ | EUnurlify (e, _, _) => impure e
| EAbs _ => false
| EPrim _ => false
@@ -395,6 +395,10 @@ fun reduce file =
| EFfi _ => []
| EFfiApp ("Basis", "get_cookie", [e]) =>
summarize d e @ [ReadCookie]
+ | EFfiApp ("Basis", "set_cookie", es) =>
+ List.concat (map (summarize d) es) @ [WriteCookie]
+ | EFfiApp ("Basis", "clear_cookie", es) =>
+ List.concat (map (summarize d) es) @ [WriteCookie]
| EFfiApp (m, x, es) =>
if Settings.isEffectful (m, x) orelse Settings.isBenignEffectful (m, x) then
List.concat (map (summarize d) es) @ [if m = "Basis" andalso String.isSuffix "_w" x then
@@ -523,8 +527,8 @@ fun reduce file =
val r = subExpInExp (0, e') b
in
(*Print.prefaces "doSub" [("e'", MonoPrint.p_exp env e'),
- ("b", MonoPrint.p_exp (E.pushERel env x t NONE) b),
- ("r", MonoPrint.p_exp env r)];*)
+ ("b", MonoPrint.p_exp (E.pushERel env x t NONE) b),
+ ("r", MonoPrint.p_exp env r)];*)
#1 (reduceExp env r)
end