[m-dev.] for review: implement pragma export for MLDS backend
Peter Ross
peter.ross at miscrit.be
Thu Jul 20 20:25:50 AEST 2000
On Thu, Jul 20, 2000 at 08:11:56PM +1000, Fergus Henderson wrote:
> 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).
>
Good idea. Will do.
Pete
--------------------------------------------------------------------------
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