Mercurial > urweb

comparison src/rpcify.sml @ 731:e0dd85ea58e1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Label exported symbols by effect-ness; factor out some common datatypes
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Apr 2009 14:49:25 -0400
parents 9b29ce0babb8
children a28982de5645
comparison
equal deleted inserted replaced
730:1b1047992ecf 731:e0dd85ea58e1
171 val (exported, export_decls) = 171 val (exported, export_decls) =
172 if IS.member (#exported st, n) then 172 if IS.member (#exported st, n) then
173 (#exported st, #export_decls st) 173 (#exported st, #export_decls st)
174 else 174 else
175 (IS.add (#exported st, n), 175 (IS.add (#exported st, n),
176 (DExport (Rpc, n), loc) :: #export_decls st) 176 (DExport (Rpc ReadWrite, n), loc) :: #export_decls st)
177 177
178 val st = {cpsed = #cpsed st, 178 val st = {cpsed = #cpsed st,
179 cpsed_range = #cpsed_range st, 179 cpsed_range = #cpsed_range st,
180 cps_decls = #cps_decls st, 180 cps_decls = #cps_decls st,
181 181