From 1c5416512d92309bb3f6a98f439edaf5a21d2318 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 23 Apr 2009 14:10:10 -0400
Subject: Only use cookie signatures when cookies might be read

---
 src/export.sml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/export.sml')

diff --git a/src/export.sml b/src/export.sml
index 8e3e3331..ad604e16 100644
--- a/src/export.sml
+++ b/src/export.sml
@@ -25,13 +25,14 @@
  * POSSIBILITY OF SUCH DAMAGE.
  *)
 
-structure Export = struct
+structure Export :> EXPORT = struct
 
 open Print.PD
 open Print
 
 datatype effect =
          ReadOnly
+       | ReadCookieWrite
        | ReadWrite
 
 datatype export_kind =
@@ -42,6 +43,7 @@ datatype export_kind =
 fun p_effect ef =
     case ef of
         ReadOnly => string "r"
+      | ReadCookieWrite => string "rcw"
       | ReadWrite => string "rw"
 
 fun p_export_kind ck =
-- 
cgit v1.2.3