[m-rev.] for review: fix valid/unused_args_test2 failing test case

Ian MacLarty maclarty at cs.mu.OZ.AU
Sat Apr 23 18:58:31 AEST 2005


For review by anyone.

Estimated hours taken: 4
Branches: main and 0.12

Fix the valid/unused_args_test2 failing test case.  map.overlay_large_map
was buggy.

compiler/Mmakefile:
	Include Mmake.compiler.params so that tracing can easily be turned
	on for the whole compiler directory.

library/map.m:
	Fix overlay_large_map.  It was calling the wrong helper predicate.

Index: compiler/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/Mmakefile,v
retrieving revision 1.82
diff -u -r1.82 Mmakefile
--- compiler/Mmakefile	27 Mar 2005 14:02:20 -0000	1.82
+++ compiler/Mmakefile	23 Apr 2005 03:33:46 -0000
@@ -9,6 +9,7 @@
 MERCURY_DIR=..
 LINK_STATIC=yes
 include $(MERCURY_DIR)/Mmake.common
+-include Mmake.compiler.params
 
 # Module-specific options should go in Mercury.options so they
 # can be found by `mmc --make'.
Index: library/map.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/map.m,v
retrieving revision 1.96
diff -u -r1.96 map.m
--- library/map.m	2 Feb 2005 04:28:47 -0000	1.96
+++ library/map.m	23 Apr 2005 08:38:44 -0000
@@ -729,7 +729,7 @@
 
 map__overlay_large_map(Map0, Map1, Map) :-
 	map__to_assoc_list(Map0, AssocList),
-	map__overlay_2(AssocList, Map1, Map).
+	map__overlay_large_map_2(AssocList, Map1, Map).
 
 :- pred map__overlay_large_map_2(assoc_list(K, V)::in,
 	map(K, V)::in, map(K, V)::out) is det.
--------------------------------------------------------------------------
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