[m-rev.] for review: functional dependencies

[Julien Fischer]

On Wed, 7 Jun 2006, Mark Brown wrote:

> Hi,
>
> This addresses the issue that Ian raised earlier this year.  Since we've
> decided the change is a bugfix rather than a new feature, I'm planning
> to include this on the release branch as well.
>
> Cheers,
> Mark.
>
> Estimated hours taken: 12
> Branches: main, release
>
> Use functional dependencies on superclasses (in addition to the class itself)
> to relax the restrictions on method constraints.
>
> compiler/check_typeclass.m:
> 	Derive induced dependencies from the class_fundep_ancestors field,
> 	after renaming apart the ancestors and substituting parameters.
>
> tests/hard_coded/typeclasses/Mmakefile:
> tests/hard_coded/typeclasses/fundeps_6.exp:
> tests/hard_coded/typeclasses/fundeps_6.m:
> tests/hard_coded/typeclasses/fundeps_7.exp:
> tests/hard_coded/typeclasses/fundeps_7.m:
> 	New test cases.
>

That's fine, although I think the functional dependencies section of the
reference manual should mention the relationship between superclass fds
and subclasses.

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