Mercurial > urweb

comparison src/export.sml @ 1936:6745eafff617

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Start SQL transactions as read-only when possible, based on conservative program analysis
author Adam Chlipala <adam@chlipala.net>
date Thu, 12 Dec 2013 17:42:48 -0500
parents b106ca8200b1
children
comparison
equal deleted inserted replaced
1935:fda9d5af69e7 1936:6745eafff617
34 ReadOnly 34 ReadOnly
35 | ReadCookieWrite 35 | ReadCookieWrite
36 | ReadWrite 36 | ReadWrite
37 37
38 datatype export_kind = 38 datatype export_kind =
39 Link 39 Link of effect
40 | Action of effect 40 | Action of effect
41 | Rpc of effect 41 | Rpc of effect
42 | Extern of effect 42 | Extern of effect
43 43
44 fun p_effect ef = 44 fun p_effect ef =
47 | ReadCookieWrite => string "rcw" 47 | ReadCookieWrite => string "rcw"
48 | ReadWrite => string "rw" 48 | ReadWrite => string "rw"
49 49
50 fun p_export_kind ck = 50 fun p_export_kind ck =
51 case ck of 51 case ck of
52 Link => string "link" 52 Link ef => box [string "link(", p_effect ef, string ")"]
53 | Action ef => box [string "action(", p_effect ef, string ")"] 53 | Action ef => box [string "action(", p_effect ef, string ")"]
54 | Rpc ef => box [string "rpc(", p_effect ef, string ")"] 54 | Rpc ef => box [string "rpc(", p_effect ef, string ")"]
55 | Extern ef => box [string "extern(", p_effect ef, string ")"] 55 | Extern ef => box [string "extern(", p_effect ef, string ")"]
56 56
57 end 57 end