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

Mark Brown mark at cs.mu.OZ.AU
Wed Mar 23 23:49:37 AEDT 2005


On 23-Mar-2005, Peter Ross <pro at missioncriticalit.com> wrote:
> 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?

At the moment, just extending the current type checker.  But that's not to
say that we won't be moving to a constraint based type checker.

Cheers,
Mark.

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