comparison src/rpcify.sml @ 1695:385a1b799a74

Handle recursive RPC handlers
author Adam Chlipala <adam@chlipala.net>
date Sun, 11 Mar 2012 21:20:09 -0400
parents 3cfc79f92db7
children e15234fbb163
comparison
equal deleted inserted replaced
1694:7b4abecadc38 1695:385a1b799a74
140 con = fn x => x, 140 con = fn x => x,
141 exp = exp, 141 exp = exp,
142 decl = fn x => x} 142 decl = fn x => x}
143 st d 143 st d
144 in 144 in
145 (#export_decls st @ [d], 145 (d :: #export_decls st,
146 {exported = #exported st, 146 {exported = #exported st,
147 export_decls = []}) 147 export_decls = []})
148 end 148 end
149 149
150 val (file, _) = ListUtil.foldlMapConcat decl 150 val (file, _) = ListUtil.foldlMapConcat decl