"double booked: found InnerBody when getting ClosedEnv" about lurk-rs

[porcuquine]

@aakoshh, this was fixed in #210. Thanks.

[porcuquine]

Mmmm, that probably means our unit tests are failing to test some code paths. The solution is to add this as test and fix it, which I will do.

Can you please search for any other such cases?

[porcuquine]

The short-term fix for Akosh is to use an older version (obviously).

[aakoshh]

Thanks for the fix @porcuquine
I got around it by not passing lambdas with more than one parameter.

Can you please search for any other such cases?

The shortest example I found was this:

(cons (lambda (x y) nil) nil)

[porcuquine]

For clarity, is your new example failing now that this PR is merged, or is it an independent and still-extant problem? If you can still reproduce now that #208 has merged, please create a new issue for it. Thanks for that (if applicable) and the initial report.

[porcuquine]

If this is fixed now, but your reduced example also elicited the identical problem, we might replace the regression test with this cheaper one — since the fold example is relatively expensive (on success) for our tests.

[weissjeffm]

I just tried this on both versions and it fails on both. It looks like it's not exactly the same error, it is another bug of the same type:

> (cons (lambda (x y) nil) nil)
thread 'main' panicked at 'double booked: found Lambda when getting UnevaledArgs', /home/user/workspace/lurk-rs/src/hash_witness.rs:190:13

[weissjeffm]

opened new issue #209