Mercurial > urweb

comparison src/rpcify.sml @ 698:9b29ce0babb8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
RoundTrip demo
author Adam Chlipala <adamc@hcoop.net>
date Sun, 05 Apr 2009 11:24:55 -0400
parents 44f23712020d
children e0dd85ea58e1
comparison
equal deleted inserted replaced
697:755a71c99be5 698:9b29ce0babb8
57 57
58 val csBasis = SS.addList (SS.empty, 58 val csBasis = SS.addList (SS.empty,
59 ["get", 59 ["get",
60 "set", 60 "set",
61 "alert", 61 "alert",
62 "recv"]) 62 "recv",
63 "sleep",
64 "spawn"])
63 65
64 type state = { 66 type state = {
65 cpsed : int IM.map, 67 cpsed : int IM.map,
66 cpsed_range : con IM.map, 68 cpsed_range : con IM.map,
67 cps_decls : (string * int * con * exp * string) list, 69 cps_decls : (string * int * con * exp * string) list,