[m-dev.] try syntax

[Julien Fischer]

On Fri, 23 Jan 2009, Peter Wang wrote:

> I don't think try is called enough to justify the effort, and if it is
> called that much then you're probably doing something wrong ;-)

Maybe, although the exception mechanism is also (currently) used for
STM and I can see STM operations being called that much.

> It would also be nice if the output variables could be given more
> specific insts than `ground'.  This is a real problem right now.
> It's a bit hacky but the transformation could insert inst casts after
> unpacking the outputs in the success branch.

Yes, doing this would be a good thing.

Julien.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au
--------------------------------------------------------------------------