[m-rev.] diff: fix output_base_typeclass_info_name

[Peter Wang]

Branches: main

Fix `output_base_typeclass_info_name' which output symbols like
"mercury_data___base_typeclass_info_*" instead of
"mercury_data_base_typeclass_info_*".

This bug only affected grades without static code addresses,
i.e. which use non-local gotos but not asm labels.

compiler/name_mangle.m:
	As above.

Index: compiler/name_mangle.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/name_mangle.m,v
retrieving revision 1.23
diff -u -r1.23 name_mangle.m
--- compiler/name_mangle.m	19 Jan 2007 07:04:24 -0000	1.23
+++ compiler/name_mangle.m	6 Nov 2008 03:27:03 -0000
@@ -264,7 +264,6 @@
 output_base_typeclass_info_name(TCName, TypeNames, !IO) :-
     Str = make_base_typeclass_info_name(TCName, TypeNames),
     io.write_string(mercury_data_prefix, !IO),
-    io.write_string("__", !IO),
     io.write_string(Str, !IO).
 
 make_base_typeclass_info_name(TCName, TypeNames) = Str :-


--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------