[m-dev.] for review: implement pragma export for MLDS backend

Fergus Henderson fjh at cs.mu.OZ.AU
Thu Jul 20 20:11:56 AEST 2000


On 20-Jul-2000, Peter Ross <peter.ross at miscrit.be> wrote:
> On Tue, Jul 18, 2000 at 01:33:41PM +1000, Fergus Henderson wrote:
> > BTW, why move this from runtime/mercury.c to library/io.m?
> > 
> Otherwise you have to jump through more hoops to ensure that
> MR_BOOTSTRAPPED_PRAGMA_EXPORT is defined for this block of code when
> necessary.

Oh, I see.  OK, that makes sense.

> I have fixed all the little things.  Here is a relative diff of my
> changes to the compiler directory.

That relative diff looks fine.

I've one small suggestion: you might want to consider introducing
abbreviations for the higher-order type and inst that you use
in a number of places, e.g.

	:- type output_type == pred(mlds__type, io__state, io__state).
	:- mode output_type :: in(pred(in, di, uo) is det).

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the developers mailing list