<div dir="auto"><div>Somewhere in between.<div dir="auto">I could give a shot at it. It would be useful if Steven detailed his use case a bit more.</div><br><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Jul 30, 2020, 13:04 Mark Evenson <<a href="mailto:evenson@panix.com" target="_blank" rel="noreferrer">evenson@panix.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
<br>
> On Jul 30, 2020, at 10:00, Alessio Stalla <<a href="mailto:alessiostalla@gmail.com" rel="noreferrer noreferrer" target="_blank">alessiostalla@gmail.com</a>> wrote:<br>
> <br>
> Correction: indeed it was merged, but I didn't go as far as to make closures serializable.<br>
<br>
Any idea how much work for someone (i.e. me)to be able to serialize closures?<br>
Just a bit of elbow-grease, or major implementation?<br>
<br>
-- <br>
"A screaming comes across the sky.  It has happened before but there is nothing <br>
to compare to it now."<br>
<br>
<br>
<br>
<br>
<br>
</blockquote></div></div></div>