Mercurial > urweb

comparison src/export.sml @ 1347:b106ca8200b1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
postBody type
author Adam Chlipala <adam@chlipala.net>
date Sat, 18 Dec 2010 10:56:31 -0500
parents 5ccb67665d05
children 6745eafff617
comparison
equal deleted inserted replaced
1346:faad7d01b200 1347:b106ca8200b1
37 37
38 datatype export_kind = 38 datatype export_kind =
39 Link 39 Link
40 | Action of effect 40 | Action of effect
41 | Rpc of effect 41 | Rpc of effect
42 | Extern of effect
42 43
43 fun p_effect ef = 44 fun p_effect ef =
44 case ef of 45 case ef of
45 ReadOnly => string "r" 46 ReadOnly => string "r"
46 | ReadCookieWrite => string "rcw" 47 | ReadCookieWrite => string "rcw"
49 fun p_export_kind ck = 50 fun p_export_kind ck =
50 case ck of 51 case ck of
51 Link => string "link" 52 Link => string "link"
52 | Action ef => box [string "action(", p_effect ef, string ")"] 53 | Action ef => box [string "action(", p_effect ef, string ")"]
53 | 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 ")"]
54 56
55 end 57 end