[m-rev.] Where to check foreign_proc attributes?

[Julien Fischer]

On Fri, 12 Jan 2007, Julien Fischer wrote:

>> 3. They could be done as checks on the HLDS...but where should they be 
>> incorporated (submodule of check_hlds.m)? They are not type, mode or 
>> determinism checks, nor are they various code simplifications or 
>> module-level checks. One thought is to incorporate them in 
>> clause_to_proc.m, as they are essentially procedure-based checks...but...as 
>> that operation is abstracted away from implementation detail, the globals 
>> and hence gc method aren't available there either, so the warning/error 
>> distinction can't be drawn.
>
> The appropriate place would be in the predicate
> module_add_pragma_foreign_proc/15 in the file add_pragma.m,
> i.e. do it as part of the parse that converts the parse tree into the
> HLDS.

s/parse/pass/ in the first half of the sentence obviously :-)

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