[m-rev.] for post commit review by Ben: foreign_proc annotations for gc

[Ben Schmidt]

Thanks, Zoltan. Looks great. Will probably tinker with one or two bits 
of it as I progress (especially documentation).

Ben.



Zoltan Somogyi wrote:
> Add some foreign_proc attributes that Ben needs for his work on the native
> garbage collector. One group of attributes (allocates_memory) is intended
> for optimization: they let the compiler figure out whether it needs to emit
> code to check the amount of available heap space before the foreign_proc.
> The second group (registers_roots) is intended for catching errors: foreign
> procs that do not register (or at least do not *assert* that they register)
> the roots they may hold.




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