
<html xmlns="http://www.w3.org/1999/xhtml"><head> <title></title> <meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=no"> </head> <body><img id="918A0236A1D52A38AE00EBD0F3CDACDE" alt="" width="0px" src="https://read-receipts.canarymail.io:8100/track/7B29FC21AF1BEFA3A8BB1A0EB7819AFA_918A0236A1D52A38AE00EBD0F3CDACDE.png" height="0px"><div id="CanaryBody"> <div> Well, maybe, but I have seen this in :</div><div><br></div><div>base16-bytestring</div><div>basement</div><div>streaming-commons</div><div>iproute</div><div>hashtables</div><div><br></div><div>So it seems quite widespread… especially as a number of common libraries depend on these (persistent for example)</div><div><br></div><div>BTW there are a number of patches in headhackage for these</div> <div><br></div> </div> <div id="CanarySig"> <div> <div style="font-family:Helvetica;">--<br>Sent from <a href="https://canarymail.io">Canary</a></div> <div><br></div> </div> </div> <div id="CanaryDropbox"> </div> <blockquote id="CanaryBlockquote"> <div> <div>On Saturday, Nov 06, 2021 at 12:52 PM, Henning Thielemann <<a href="mailto:lemming@henning-thielemann.de">lemming@henning-thielemann.de</a>> wrote:<br></div> <div><br>On Sat, 6 Nov 2021, Bruno Damour wrote: <br> <br><blockquote type="cite">A significant number of libraries are broken by the changes in unboxed types. <br></blockquote> <br>I have seen some breakage because of W# vs. W32#. But I suspect that those <br>libraries do not really need to be implemented that low-level. <br></div> </div> </blockquote> </body></html>