[m-rev.] for review: adding promise ex declarations to the hlds with error checking

[Lars Yencken]

> > Index: hlds_out.m
> ...
> > +		% print initial formatting differently for assertions
> > +	( { PromiseType = true } ->
> > +		io__write_string(":- promise all["),
> > +		io__write_list(HeadVars, ", ", PrintVar),
> > +		io__write_string("] (\n")
> > +	;
> > +		io__write_string(":- all["),
> > +		io__write_list(HeadVars, ", ", PrintVar),
> > +		io__write_string("]"),
> > +		mercury_output_newline(Indent),
> > +		prog_out__write_promise_type(PromiseType),
> > +		io__nl
> > +	),
> 
> You should output "all [" rather than "all[" (in both places).
> 
> Also it looks like the output for promise_ex declarations
> is missing a `('.

Do you mean missing a left bracket or missing a pair of them? I can't see
where you mean. It seems that I've done it the same way assertions are done,
so unless they were printed incorrectly this should be right.

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