[m-rev.] for review: prompt with "Unsatisfiable?" instead of "Complete?" in dd (fwd)

Mark Brown mark at cs.mu.OZ.AU
Wed Jan 26 00:13:55 AEDT 2005


On 25-Jan-2005, Julien Fischer <juliensf at cs.mu.OZ.AU> wrote:
> 
> This is from Ian.
> 
> 
> 
> ---------- Forwarded message ----------
> Date: Tue, 25 Jan 2005 13:35:13 +1100
> From: Ian MacLarty <maclarty at cs.mu.OZ.AU>
> To: juliensf at cs.mu.OZ.AU
> Subject: for review: prompt with "Unsatisfiable?" instead of "Complete?" in
>     dd
> 
> This email just won't go though.
> 
> For review by anyone.
> 
> Estimated hours taken: 0.5
> Branches: main
> 
> In the declarative debugger print "Unsatisfiable?" instead of
> "No Solutions. Complete?" when asking questions about goals that failed with no
> solutions.

This looks fine.

Cheers,
Mark.

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