[m-dev.] special module initialisation code

[Peter Schachte]

> One possibility is to add a new pragma, `c_init_code', which is
> similar to `pragma c_header_code', except that it puts the code inside
> the `mercury__<module>__init()' function instead of at the top of the
> .c file.
> 
> How does this sound?  Does anyone have any alternative suggestions?

I think it would be a bit cleaner if the pragma specified a Mercury goal to
execute, rather than C code to call.

-- 
Peter Schachte                     Don't worry about people stealing your
mailto:schachte at cs.mu.OZ.AU        ideas. If your ideas are any good, you'll
http://www.cs.mu.oz.au/~schachte/  have to ram them down people's throats.
Phone:  +61 3 8344 9166                -- Howard Aiken 
Fax:    +61 3 9348 1184            
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------