[mercury-users] Parametrizing modes and determinism

Ralph Becket rafe at csse.unimelb.edu.au
Tue Nov 7 10:22:03 AEDT 2006


Ondrej Bojar, Monday,  6 November 2006:
> Hi.
> 
> Is there a short way of defining a higher order predicate to cover many 
> mode and determinism combinations?

Unfortunately not.  We are very aware of this shortcoming in the
language, but we're wary of implementing ad hoc solutions.  The
concensus here is that the mode and determinism systems are ripe for
reconsideration, but this will probably require somebody to undertake a
Ph.D.

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



More information about the users mailing list