[m-dev.] Re: Mercury Tcl/Tk interface broken

[Fergus Henderson]

On 27-Aug-1999, Peter Schachte <schachte at cs.mu.OZ.AU> wrote:
> On Fri, Aug 27, 1999 at 02:23:24AM +1000, Fergus Henderson wrote:
> > simplify.m already contains a more general optimization: it replaces any
> > code with determinism `failure' by fail, if that code cannot loop.
> 
> Not to be pedantic, but do you mean "any pure or semipure code with
> determinism `failure'...?"

Yep.  The code that implements this is more pedantic than my
description of it was ;-)

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------