[m-dev.] Determinism Declarations

[Fergus Henderson]

On 07-Jan-2002, Lars Yencken <lljy at students.cs.mu.oz.au> wrote:
> 
> All three declarations are restricted in the following ways:
> 
> 1. Every variable that occurs in more than one disjunct must be explicitly
>    quantified.
> 2. Any variable occuring in only one disjunct is existentially quantified.
>    This is similarly applicable when an underscore is used in place of a
>    variable.
> 3. Each disjunct must be a call or a var-var or var-functor unification.
> 4. Arguments of a call or a functor must be variables.
> 
> If this deviates at all from what was agreed on at today's Mercury meeting, 
> please correct me. Otherwise, consider these declarations under development.

I don't think we agreed on restrictions 3 and 4; these issues were only
mentioned briefly in passing, not really discussed properly.

However, IMHO it would be fine to start with these restrictions
as a first step and then maybe think about relaxing them if/when
the first step is implemented.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  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
--------------------------------------------------------------------------