[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