[m-dev.] diff: remove support for `:- assertion' declarations.

Peter Ross petdr at cs.mu.OZ.AU
Wed Nov 17 08:59:14 AEDT 1999


On 16-Nov-1999, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> On 16-Nov-1999, Peter Ross <petdr at cs.mu.OZ.AU> wrote:
> > +++ configure.in	1999/11/16 07:00:34
> ...
> > +		% Check that promise declarations can be parsed
> > +		% and that every variable in the assertion doesn't
> > +		% need to be explicitly quantified.
> > +		:- promise all [[H,T,L]] (list__last([[H|T]], L)).
> 
> The `:- promise' declaration there checks that promise declarations
> can be parsed, but it has every variable explicitly quantified, so
> I don't think it checks the property mentioned in the second two
> lines of that comment.
> 
No it doesn't because it will be expanded out into

:- promise all [H,T,L] (V = [H | T], list__last(V, L)).

where V isn't quantified.

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