[m-dev.] instance declarations

[Julien Fischer]

On Mon, 6 Mar 2006, Mark Brown wrote:

> See Jones' paper for a better description of the restrictions.
>
> Note that Jones' restrictions are tighter than they need to be, and we
> may relax them further in future.  But for the moment, we plan to implement
> them that way, and then decide afterwards how much further to go.

In case anybody is interested there's been quite a bit of discussion about
functional dependencies and related issuse on the Haskell prime mailing list
recently.  See <http://www.haskell.org/haskellwiki/Future> and follow the
links.

Cheers,
Julien.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------