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

Peter Ross pro at missioncriticalit.com
Wed Mar 23 23:33:06 AEDT 2005


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



More information about the reviews mailing list