[m-rev.] For review: Use compare-representation for closure args

[Fergus Henderson]

On 27-Jul-2004, Julien Fischer <juliensf at cs.mu.OZ.AU> wrote:
> 
> tests/hard_coded/Mmakefile:
> 	Don't run the closure_arg_comparison test Ian
> 	added the other day if we are testing a grade
> 	for which compare_representation/3 has not been
> 	implemented.
>
> Index: Mmakefile
> ===================================================================
> RCS file: /home/mercury1/repository/tests/hard_coded/Mmakefile,v
> retrieving revision 1.234
> diff -u -r1.234 Mmakefile
> --- Mmakefile	26 Jul 2004 03:19:28 -0000	1.234
> +++ Mmakefile	26 Jul 2004 16:46:38 -0000
> @@ -380,6 +380,7 @@
> 
>  	BACKEND_PROGS = \
>  		$(BACKEND_PROGS_2) \
> +		closure_arg_comparison \
>  		compare_representation \
>  		compare_rep_usereq \
>  		stable_foreign \

Estimated hours taken: 0.25
Branches: main

tests/hard_coded/Mmakefile:
	Don't include compare_closure_arg in ORDINARY_PROGS, since it
	is included in BACKEND_PROGS (it should not be included in both).

Workspace: /home/jupiter/fjh/ws-jupiter/mercury
Index: tests/hard_coded/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/tests/hard_coded/Mmakefile,v
retrieving revision 1.235
diff -u -d -r1.235 Mmakefile
--- tests/hard_coded/Mmakefile	26 Jul 2004 17:21:20 -0000	1.235
+++ tests/hard_coded/Mmakefile	28 Jul 2004 08:03:49 -0000
@@ -19,7 +19,6 @@
 	cc_multi_bug \
 	cc_nondet_disj \
 	checked_nondet_tailcall \
-	closure_arg_comparison \
 	closure_extension \
 	common_type_cast \
 	compare_spec \
@@ -359,7 +358,7 @@
 
 # compare_representation does not work in the MLDS grades (e.g. hlc.gc),
 # because comparison of closures gives "Sorry, not implemented" when
-# MR_HIGHLEVEL_CODE is set.
+# MR_HIGHLEVEL_CODE is set.  Likewise for closure_arg_comparison.
 #
 # factt_non does not work in the MLDS grades because the code for nondet
 # fact tables assumes that we're using the LLDS back-end. Also, fact tables

-- 
Fergus Henderson                    |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------