[m-dev.] Constructor classes / Functional dependencies

[Ralph Becket]

> From: Michael Day [mailto:mikeday at bigpond.net.au]
> Sent: 03 August 2001 02:28
> 
> Has anyone made any progress in extending the type class system? Does
> anyone have any half finished code, design notes or idle musings lying
> around? Although I feel grossly incapable of implementing such
features
> myself, I wouldn't mind to try and submit some horrendously incorrect
> patches to get some discussion going on the issue :)

It's high on my list of things-to-do when I start working on Mercury
full time in October (unless someone is already on the case.)

I *think* functional dependencies at least should be fairly easy to
add.

- Ralph
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------