Mercurial > urweb

comparison src/export.sml @ 735:5ccb67665d05

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
23 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) 23 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
24 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE 24 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
25 * POSSIBILITY OF SUCH DAMAGE. 25 * POSSIBILITY OF SUCH DAMAGE.
26 *) 26 *)
27 27
28 structure Export = struct 28 structure Export :> EXPORT = struct
29 29
30 open Print.PD 30 open Print.PD
31 open Print 31 open Print
32 32
33 datatype effect = 33 datatype effect =
34 ReadOnly 34 ReadOnly
35 | ReadCookieWrite
35 | ReadWrite 36 | ReadWrite
36 37
37 datatype export_kind = 38 datatype export_kind =
38 Link 39 Link
39 | Action of effect 40 | Action of effect
40 | Rpc of effect 41 | Rpc of effect
41 42
42 fun p_effect ef = 43 fun p_effect ef =
43 case ef of 44 case ef of
44 ReadOnly => string "r" 45 ReadOnly => string "r"
46 | ReadCookieWrite => string "rcw"
45 | ReadWrite => string "rw" 47 | ReadWrite => string "rw"
46 48
47 fun p_export_kind ck = 49 fun p_export_kind ck =
48 case ck of 50 case ck of
49 Link => string "link" 51 Link => string "link"