diff options
author | Adam Chlipala <adam@chlipala.net> | 2015-02-10 09:58:35 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2015-02-10 09:58:35 -0500 |
commit | 1f7bf917adc91e48902b97856927e8f376793b37 (patch) | |
tree | d068050678edae8e44061a68b1f24087e484eb22 /src | |
parent | bcc8158595c16afd34ad043fd4d9b80c4c4a1c3d (diff) | |
parent | e6cde67688b37f4246bed7938dee06a1e9a7ab20 (diff) |
Merge
Diffstat (limited to 'src')
-rw-r--r-- | src/effectize.sml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/effectize.sml b/src/effectize.sml index d711e620..2c9b2374 100644 --- a/src/effectize.sml +++ b/src/effectize.sml @@ -79,6 +79,8 @@ fun effectize file = fun exp evs e = case e of EFfi ("Basis", "getCookie") => true + | EFfiApp ("Basis", "getHeader", _) => true + | EFfiApp ("Basis", "getenv", _) => true | ENamed n => IM.inDomain (evs, n) | EServerCall (n, _, _, _) => IM.inDomain (evs, n) | _ => false |