comparison src/export.sig @ 735:5ccb67665d05

Only use cookie signatures when cookies might be read
author Adam Chlipala <adamc@hcoop.net>
date Thu, 23 Apr 2009 14:10:10 -0400
parents 5819fb63c93a
children b106ca8200b1
comparison
equal deleted inserted replaced
734:f2a2be93331c 735:5ccb67665d05
27 27
28 signature EXPORT = sig 28 signature EXPORT = sig
29 29
30 datatype effect = 30 datatype effect =
31 ReadOnly 31 ReadOnly
32 | ReadCookieWrite
32 | ReadWrite 33 | ReadWrite
33 34
34 datatype export_kind = 35 datatype export_kind =
35 Link 36 Link
36 | Action of effect 37 | Action of effect