HerrmannM
I haven't tested for a while, and I'm currently in lockdown so won't be able to test for a bit (the dock is at work). I'll try when I have...
Hi there, Back at work, after a few software upgrade (currently on a linux kernel 5.15.7), using the dock without the driver (so limited to one screen). In my current...
Thank you for that! I'll see if this is related to #2 after I fixed it.
Indeed, I narrowed down the issue to the readback with some minimum examples: ``` a->(b->b b) (k->a(m->k m)). ``` has the problem, but not ``` a->(b->b b) (k->(m->k m)). ```...
Copy/paste mistake, sorry about that. I edited the post. You are right, it won't fix the other cases, see my last reply on #2!
Thank you so much for taking the time to test, this is extremely valuable! I definitely have to put good messages in my assert (but at least I had them)....
Disabling the GC and snot reusing any nodes solve all the issue above. So we indeed have a corruption of the history triggering the assert crashes.
Sorry I was not precise enough. There are two ways nodes are collected and reused: 1. With the GC, and you disabled it with `-m=none` 2. Interacting nodes are always...
Yeah "conventional evaluators", but I'll tone down that a bit. Anyway, see #1, we have a counter example so we now know that it does not work! That's a relieve,...
I tried several things, and I believe now that the full untyped lambda calculus is definitely out of reach. The class of things it can compute is unknown, and determining...