diff 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
line wrap: on
line diff
--- a/src/rpcify.sml	Sat Mar 10 13:35:02 2012 -0500
+++ b/src/rpcify.sml	Sun Mar 11 21:20:09 2012 -0400
@@ -142,7 +142,7 @@
                                               decl = fn x => x}
                               st d
             in
-                (#export_decls st @ [d],
+                (d :: #export_decls st,
                  {exported = #exported st,
                   export_decls = []})
             end