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

[Julien Fischer]

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.

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
--------------------------------------------------------------------------