[m-dev.] Impurity syntax

Fergus Henderson fjh at cs.mu.OZ.AU
Thu Aug 19 20:10:13 AEST 2004


On 13-Aug-2004, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> On 13-Aug-2004, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> 
> > (5) The state items have no physical realisation; they exist purely as
> > an ordering mechanism.
> 
> This is a missing optimization. I once tried to do this I/O states, but
> realized that doing a proper job requires handling code that does things
> like put I/O states into terms. (You don't have to handle them optimally
> or even very well, but you have to handle them.)

FYI, this optimization is done for the MLDS back-end.

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



More information about the developers mailing list