[m-rev.] for review (needs committing): Document and fix pragma foreign_export("IL")

[Julien Fischer]

On Wed, 3 Jan 2007, Julien Fischer wrote:

>
> On Wed, 3 Jan 2007, Jonathan Morgan wrote:
>
>> Estimated hours taken: 6
>> Branches: main
>> 
>> Document `:- pragma foreign_export' for the IL foreign language.
>> Remove warnings and todos associated with this.  Make the MLDS backend
>> filter out foreign_export pragmas by foreign language (rather than
>> including foreign_exports for all foreign languages supported by the
>> target, as was previously the case).
>> 
>> Add IL foreign exports for all the existing C foreign exports in the
>> standard library, to
>> restore the backend to the same state as it was in before pragma
>> foreign_export was implemented.  (Note that the IL standard library
>> usage will be reviewed after `pragma foreign_export' is implemented
>> for C#).
>> 
>> compiler/foreign.m:
>> compiler/ml_code_gen.m:
>>  For any given foreign language, only include those `pragma
>> foreign_exports' for the given target language.
>> 
>> compiler/add_pragma.m:
>>  Remove a warning.
>> 
>> compiler/mlds_to_il.m:
>>   Remove a TODO.
>> 
>> library/*.m:
>>  Add a foreign_export("IL") for every existing foreign_export("C").
>> 
>>  Convert a couple of `pragma export' statements to `pragma foreign_export'.
>> 
>> doc/reference_manual.texi:
>>  Document `pragma foreign_export` for the IL foreign language.
>
> Thanks for doing that!  (This will need to be committed into two
> separate stages since the compiler won't bootstrap with the library
> changes until it actually supports IL foreign exports.)  I'll commit
> the first stage some time later today.
>

The first stage is now committed.  I'll commit the other bit sometime
next week after everyone has had a chance to update their compiler.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------