[m-rev.] For review: Trust standard library

Julien Fischer juliensf at cs.mu.OZ.AU
Wed Nov 10 21:37:10 AEDT 2004


On Wed, 10 Nov 2004, Ian MacLarty wrote:

> On Wed, Nov 10, 2004 at 07:16:57PM +1100, Julien Fischer wrote:
> >
> > On Wed, 10 Nov 2004, Ian MacLarty wrote:
> >
> > > On Wed, Nov 10, 2004 at 05:30:41PM +1100, Julien Fischer wrote:
> > > >
> > > > On Wed, 10 Nov 2004, Ian MacLarty wrote:
> > > >
> >
> > > > > +:- pred format_trust_command(trusted_object::in, string::in,
> > > > > +	string::out) is det.
> > > > > +
> > > > > +format_trust_command(module(ModuleName), S, S++"trust "++ModuleName++"\n").
> > > > > +format_trust_command(predicate(ModuleName, Name, Arity), S, S++Command) :-
> > > > > +	ArityStr = int_to_string(Arity),
> > > > > +	Command = "trust pred*"++ModuleName++"."++Name++"/"++ ArityStr++"\n".
> > > > > +format_trust_command(function(ModuleName, Name, Arity), S, S++Command) :-
> > > > > +	ArityStr = int_to_string(Arity - 1),
> > > > > +	Command = "trust func*"++ModuleName++"."++Name++"/"++ ArityStr++"\n".
> > > > > +format_trust_command(standard_library, S, S++"trust std lib\n").
> > > > >
> > > > I'd leave some space around the ++ operator there. (And elsewhere in this
> > > > diff).
> > > >
> >
> > I still think that's worth doing.
> > Otherwise that's fine.B
> Sorry I missed that comment.  It's done.
>
> I also changed the trust help message to:
> The entire Mercury standard library is trusted by default and can be
> untrusted in the usual manner using the `untrust' command.  To restore trusted
> status to the Mercury standard library issue the command `trust std lib'.
>
That looks fine.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the reviews mailing list