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

[Peter Schachte]

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'...?"

-- 
Peter Schachte                     Efficiency is intelligent laziness.
mailto:schachte at cs.mu.OZ.AU            -- David Dunham 
http://www.cs.mu.oz.au/~schachte/  
PGP: finger schachte at 128.250.37.3  
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------