Cookies through explify

1 files changed, 6 insertions, 13 deletions

diff --git a/src/expl_env.sml b/src/expl_env.sml
index 43456c41..0fefec2d 100644
--- a/src/expl_env.sml
+++ b/src/expl_env.sml
@@ -295,6 +295,12 @@ fun declBinds env (d, loc) =
             pushENamed env x n t
         end
       | DDatabase _ => env
+      | DCookie (tn, x, n, c) =>
+        let
+            val t = (CApp ((CModProj (tn, [], "http_cookie"), loc), c), loc)
+        in
+            pushENamed env x n t
+        end
 
 fun sgiBinds env (sgi, loc) =
     case sgi of
@@ -341,17 +347,4 @@ fun sgiBinds env (sgi, loc) =
       | SgiSgn (x, n, sgn) => pushSgnNamed env x n sgn
       | SgiStr (x, n, sgn) => pushStrNamed env x n sgn
 
-      | SgiTable (tn, x, n, c) =>
-        let
-            val t = (CApp ((CModProj (tn, [], "sql_table"), loc), c), loc)
-        in
-            pushENamed env x n t
-        end
-      | SgiSequence (tn, x, n) =>
-        let
-            val t = (CModProj (tn, [], "sql_sequence"), loc)
-        in
-            pushENamed env x n t
-        end
-
 end