Re: pointers in FFI, differences between MLton 2010 and 2013 versions

On Sat, Sep 19, 2015 at 2:21 PM, Florian Weimer <[email protected]> wrote:
> * Jussi Rintanen:
>
>> Can anyone help? What type to use for the pointers _in_the_20100608_
>> MLton version?
>> Is it different in the 20130715 version? Is the FFI documentation up to
>> date?
>
> To access the MLton structure, you need an .mlb file which contains
> a line like this:
>
> $(SML_LIB)/basis/mlton.mlb
>
> I don't know if there is another way to make the structure available.

The MLton structure is available when directly compiling a .sml file.
That is, when compiling like:
  mlton foo.sml
then the MLton structure is in scope for foo.sml.  This is for
backwards compatibility with pre-MLB versions of MLton, when the MLton
structure was always available.

When compiling a .mlb file, then one needs to impor the
$(SML_LIB)/basis/mlton.mlb.

To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].

------------------------------------------------------------------------------