[m-dev.] EDCG inferrence

Fergus Henderson fjh at cs.mu.OZ.AU
Sat Feb 12 18:18:25 AEDT 2000


On 11-Feb-2000, Peter Nicholas MALKIN <pnmalk at students.cs.mu.oz.au> wrote:
> I am currently implementing EDCG inference and there is one thing I would like
> to clarify. It concerns the method of inference using fixed points.
> 
> There are two main ways in which I could do it:
> 
> (i) Not use any user declarations and infer everything and then compare it
> against what was declared.
> 
> (ii) Begin from the user declarations and give an error if the declarations are
> not strict enough (i.e. declared passed when changed).

I suggest using approach (ii), for consistency with what we currently
do for type, mode and determinism inference.

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