[CakeML-dev] FFI calls

Johannes Åman Pohjola pohjola at chalmers.se
Tue Jun 27 08:18:30 UTC 2017


When you put it that way, I realize that I'd prefer to have FFI calls 
taking one immutable string and one byte array. This avoids the aliasing 
issue and works just as well if not better for my purposes.

Does anyone (Hugo?) actually need it to be two byte arrays?

/Johannes


On 2017-06-27 10:05, Magnus Myreen wrote:
> Hi Johannes,
>
> It would be great if you could work on this!
>
> I suspect this change will mostly interact with what Hugo is doing at
> the moment on the more realistic filesystem modelling for the FFI
> interface (on the fileioffi branch).
>
> What should the semantics be when the byte arrays alias?
>
> There has also been talk about allowing the user to pass an
> immutable string to the FFI interface, and then requiring that
> the FFI call does not change the string. This would avoid copying.
> Could you add this call-FFI-with-string feature at the same time?
> Cheers,
> Magnus
>
>
> On 27 June 2017 at 09:59, Johannes Åman Pohjola <pohjola at chalmers.se> wrote:
>> Hi!
>>
>> Word on the street is that there's been talk about changing FFI calls so
>> that they take two byte arrays (representing, respectively, configuration
>> and data) instead of one. Is anyone working on this currently? If not I'd be
>> happy to do it; it would improve my quality of life considerably were this
>> change implemented.
>>
>> Cheers /Johannes
>>
>>
>> _______________________________________________
>> Developers mailing list
>> Developers at cakeml.org
>> https://lists.cakeml.org/listinfo/developers




More information about the Developers mailing list