Mercurial > urweb

comparison src/rpcify.sml @ 1104:72670131dace

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basis.serialize; separate file for mhash; run transactional finishers in reverse order; set needs_sig properly
author Adam Chlipala <adamc@hcoop.net>
date Thu, 31 Dec 2009 11:41:57 -0500
parents dfe34fad749d
children 3cfc79f92db7
comparison
equal deleted inserted replaced
1103:2f42c61b8d0a 1104:72670131dace
105 val (exported, export_decls) = 105 val (exported, export_decls) =
106 if IS.member (#exported st, n) then 106 if IS.member (#exported st, n) then
107 (#exported st, #export_decls st) 107 (#exported st, #export_decls st)
108 else 108 else
109 (IS.add (#exported st, n), 109 (IS.add (#exported st, n),
110 (DExport (Rpc ReadWrite, n), loc) :: #export_decls st) 110 (DExport (Rpc ReadWrite, n, false), loc) :: #export_decls st)
111 111
112 val st = {exported = exported, 112 val st = {exported = exported,
113 export_decls = export_decls} 113 export_decls = export_decls}
114 114
115 val e' = EServerCall (n, args, ran) 115 val e' = EServerCall (n, args, ran)