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

[David Overton]

On Mon, May 06, 2002 at 10:04:05AM +1000, David Overton wrote:
> On Fri, May 03, 2002 at 10:23:43AM +0100, David Jeffery wrote:
> > The diff looks fine, but could you please post the full versions of all the
> > test cases rather than relative diffs? I'd like to make sure that all the
> > important cases have been tested before you commit.
> 
> 
> Index: hard_coded/typeclasses/Mmakefile
> ===================================================================
> RCS file: /home/mercury1/repository/tests/hard_coded/typeclasses/Mmakefile,v
> retrieving revision 1.44
> diff -u -r1.44 Mmakefile
> --- hard_coded/typeclasses/Mmakefile	12 Feb 2001 05:14:57 -0000	1.44
> +++ hard_coded/typeclasses/Mmakefile	6 May 2002 00:01:49 -0000
> @@ -8,6 +8,9 @@
>  #-----------------------------------------------------------------------------#
>  
>  PROGS=	\
> +	arbitrary_constraint_class \
> +	arbitrary_constraint_pred_2 \
> +	arbitrary_constraint_pred_1 \
>  	constrained_lambda \
>  	extract_typeinfo \
>  	exist_disjunction \
> @@ -42,6 +45,7 @@
>  	nondet_class_method \
>  	operator_classname \
>  	record_syntax \
> +	recursive_instance_1 \
>  	reordered_existential_constraint \
>  	superclass_bug \
>  	superclass_bug2 \
 [...]

I never had a final reply from DJ about these test cases, but I'm going
to commit this change because I need it for HAL.

I have since found another bug related to allowing non-variable types in
class constraints, but I will post that as a separate change.


David
-- 
David Overton                   The University of Melbourne  +61 3 8344 9159
dmo at cs.mu.oz.au                 Monash University (Clayton)  +61 3 9905 5779
http://www.cs.mu.oz.au/~dmo     Mobile Phone                 +61 4 0337 4393
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------