[m-rev.] for review: allow arbitrary types in class constraints

[David Overton]

On Wed, Apr 17, 2002 at 03:22:36PM +1000, David Overton wrote:
> After discussing this with DJ and Zoltan, we've decided to restrict the
> arguments of constraints on instance and typeclass declarations (at
> least for now) to be either type variables or ground types.
> 
> This is sufficient to ensure termination of the type checker, although
> we may decide to relax this restriciton in the future.
> 
> The following is an absolute diff for prog_io_typeclass.m and a relative
> diff for the other files.
> 

I'm going to commit this soon unless anyone has any objections.  DJ?


David
-- 
David Overton      Computer Science and Software Engineering
PhD Student        The University of Melbourne   +61 3 8344 9159
Research Fellow    Monash University (Clayton)   +61 3 9905 5779
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------