<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Feb 8, 2022 at 3:24 AM Michal Vlasák <<a href="mailto:lahcim8@gmail.com">lahcim8@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On Tue Feb 8, 2022 at 1:58 AM CET, Michal Vlasák wrote:<br>
> I posted a few more details on github:<br>
><br>
> <a href="https://github.com/latex3/latex2e/issues/775#issuecomment-1032099002" rel="noreferrer" target="_blank">https://github.com/latex3/latex2e/issues/775#issuecomment-1032099002</a><br>
<br>
An update to the proposed patch (more apparent error checking, correct<br>
for both LuaJIT/5.1 and 5.3). And hopefully a solution to the<br>
portability issue at hand (at least for some architectures).<br>
<br>
<a href="https://github.com/latex3/latex2e/issues/775#issuecomment-1032138520" rel="noreferrer" target="_blank">https://github.com/latex3/latex2e/issues/775#issuecomment-1032138520</a><br>
<br>
Hans, Luigi, what do you think?<br>
<br>
Of course there is a runtime cost, though negligible and it brings space<br>
savings, which is a trade off the Lua guys have already made in 5.4.<br>
<br>
I also think that the byte swapping for big/little endian could be done.<br>
If the saved format is little endian there should be no cost for most<br>
architectures (unlike the dump sharing on TeX side).<br>
<br>
Kind of related:<br>
<br>
<a href="https://mailman.ntg.nl/pipermail/dev-luatex/2021-July/006501.html" rel="noreferrer" target="_blank">https://mailman.ntg.nl/pipermail/dev-luatex/2021-July/006501.html</a><br>
<br>
Michal<br>
<br>
</blockquote></div><br clear="all"><div>Can you post a patch using the current luatex experimental repo at </div><div><a href="https://serveur-svn.lri.fr/svn/modhel/luatex/branches/experimental/">https://serveur-svn.lri.fr/svn/modhel/luatex/branches/experimental/</a></div><div>(see <a href="http://www.luatex.org/download.html">http://www.luatex.org/download.html</a> ) ?</div><div><br></div>-- <br><div dir="ltr" class="gmail_signature">luigi<br></div></div>