<div dir='auto'>We have to disable code generator setup that could cause by eval to malfunction, when this buggy polyml makes it into the release. And check that Isabelle itself doesn't rely on the shift operation </div><div class="gmail_extra"><br><div class="gmail_quote">On 5 Dec 2025 14:44, Makarius <makarius@sketis.net> wrote:<br type="attribution" /><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><p dir="ltr">On 05/12/2025 13:34, Makarius wrote: <br>
>> <br>
>> https://github.com/polyml/polyml/issues/243 <https://github.com/polyml/  <br>
>> polyml/ issues/243> <br>
>  <br>
> Thanks for the report. It is very relevant for the Isabelle2025-1 release: in  <br>
> the worst case we need to switch back to Poly/ML 5.9.1, see also  <br>
> Isabelle/08722f90a439. <br>
<br>
The worst case is probably not that bad: it should be sufficient to revert  <br>
this change: https://github.com/polyml/polyml/commit/ed1ff06d7b53 <br>
<br>
There is also an interesting comment in the old version: <br>
<br>
   (* These could be implemented in the RTS although I doubt if it's <br>
      really worth it. *) <br>
<br>
<br>
Makarius <br>
<br>
</p>
</blockquote></div><br></div>