Mercurial > urweb
comparison src/rpcify.sml @ 670:f73913d97a40
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, |