Mercurial > urweb

comparison src/rpcify.sml @ 670:f73913d97a40

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Proper recv
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Mar 2009 16:03:45 -0400
parents b0c1a46b1f15
children 44f23712020d
comparison
equal deleted inserted replaced
669:f68eee90dbcf 670:f73913d97a40
57 57
58 val csBasis = SS.addList (SS.empty, 58 val csBasis = SS.addList (SS.empty,
59 ["source", 59 ["source",
60 "get", 60 "get",
61 "set", 61 "set",
62 "alert"]) 62 "alert",
63 "recv"])
63 64
64 type state = { 65 type state = {
65 cpsed : int IM.map, 66 cpsed : int IM.map,
66 cpsed_range : con IM.map, 67 cpsed_range : con IM.map,
67 cps_decls : (string * int * con * exp * string) list, 68 cps_decls : (string * int * con * exp * string) list,