# HG changeset patch # User Adam Chlipala # Date 1331515209 14400 # Node ID 385a1b799a74181856dfe0ffcbd77dbaf71582b2 # Parent 7b4abecadc38bc0b24de804896dbc78db03fa07c Handle recursive RPC handlers diff -r 7b4abecadc38 -r 385a1b799a74 src/rpcify.sml --- 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 diff -r 7b4abecadc38 -r 385a1b799a74 tests/selfRpc.ur --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/selfRpc.ur Sun Mar 11 21:20:09 2012 -0400 @@ -0,0 +1,7 @@ +fun test () = + k <- source ; + return