From 71fa9d9a6104440875ddb722b6260541f3d5eb5d Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Thu, 5 Feb 2015 11:09:25 -0500
Subject: Treat getHeader and getenv as vectors for reading request data
 supplied implicitly by browsers

---
 src/effectize.sml | 2 ++
 1 file changed, 2 insertions(+)

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
-- 
cgit v1.2.3