<html><head></head><body>Hi,<br>
<br>
It would be great indeed! Although I have no urgent need for it. I think the immutable string would be enough and easier to use.<br>
<br>
Best,<br>
<br>
Hugo<br><br><div class="gmail_quote">Le 27 juin 2017 09:18:30 GMT+01:00, "Johannes Åman Pohjola" <pohjola@chalmers.se> a écrit :<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<pre class="k9mail">When you put it that way, I realize that I'd prefer to have FFI calls <br />taking one immutable string and one byte array. This avoids the aliasing <br />issue and works just as well if not better for my purposes.<br /><br />Does anyone (Hugo?) actually need it to be two byte arrays?<br /><br />/Johannes<br /><br /><br />On 2017-06-27 10:05, Magnus Myreen wrote:<br /><blockquote class="gmail_quote" style="margin: 0pt 0pt 1ex 0.8ex; border-left: 1px solid #729fcf; padding-left: 1ex;"> Hi Johannes,<br /><br /> It would be great if you could work on this!<br /><br /> I suspect this change will mostly interact with what Hugo is doing at<br /> the moment on the more realistic filesystem modelling for the FFI<br /> interface (on the fileioffi branch).<br /><br /> What should the semantics be when the byte arrays alias?<br /><br /> There has also been talk about allowing the user to pass an<br /> immutable string to the FFI interface, and then requiring that<br /> the FFI call does not change the string. This would avoid copying.<br /> Could you add this call-FFI-with-string feature at the same time?<br /> Cheers,<br /> Magnus<br /><br /><br /> On 27 June 2017 at 09:59, Johannes Åman Pohjola <pohjola@chalmers.se> wrote:<br /><blockquote class="gmail_quote" style="margin: 0pt 0pt 1ex 0.8ex; border-left: 1px solid #ad7fa8; padding-left: 1ex;"> Hi!<br /><br /> Word on the street is that there's been talk about changing FFI calls so<br /> that they take two byte arrays (representing, respectively, configuration<br /> and data) instead of one. Is anyone working on this currently? If not I'd be<br /> happy to do it; it would improve my quality of life considerably were this<br /> change implemented.<br /><br /> Cheers /Johannes<br /><br /><br /><hr /><br /> Developers mailing list<br /> Developers@cakeml.org<br /> <a href="https://lists.cakeml.org/listinfo/developers">https://lists.cakeml.org/listinfo/developers</a><br /></blockquote></blockquote><br /><br /><hr /><br />Developers mailing list<br />Developers@cakeml.org<br /><a href="https://lists.cakeml.org/listinfo/developers">https://lists.cakeml.org/listinfo/developers</a><br /></pre></blockquote></div><br>
-- <br>
Envoyé de mon appareil Android avec Courriel K-9 Mail. Veuillez excuser ma brièveté.</body></html>