[m-dev.] Delayed goals and if-then-else goals

[Ralph Becket]

Zoltan Somogyi, Thursday,  8 January 2004:
> Floundering when the condition of an if-then-else contains as-yet unproven
> constraints on local variables preserves correctness, but my intuition is
> that it isn't all that useful, because it leads to runtime aborts in too many
> programs. I think "a better alternative" is required for delays to work
> in practice. I have the outlines of a possible solution in mind, but it
> has pretty high cost, both in development time and run time.

Care to give us a sketch of the idea?  I'm very curious.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------