[m-rev.] first step towards functional dependencies (1/3)

[Peter Ross]

On Wed, Mar 23, 2005 at 11:19:20PM +1100, Mark Brown wrote:
> Hi,
> 
> This is for review by anyone.
> 
Great to see that functional dependencies are being implemented.

My only qestions is that will we be moving to a constraint based type
checker for this work, or just extending the current type checker?
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------