[m-dev.] trivial diff: option to show type specialization is fixed

[Simon Taylor]

Estimated hours taken: 0.1

compiler/options.m:
	Add an option `--fixed-user-guided-type-specialization',
	which is only intended to be used in configure.in to
	check whether the installed compiler has some recent bug
	fixes for type specialization. This will be needed
	when I add `:- pragma type_spec' declarations to the
	library.

Index: options.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/options.m,v
retrieving revision 1.295
diff -u -u -r1.295 options.m
--- options.m	2000/10/23 14:04:13	1.295
+++ options.m	2000/11/03 06:07:56
@@ -1059,6 +1059,12 @@
 					user_guided_type_specialization).
 long_option("user-guided-type-specialisation",
 					user_guided_type_specialization).
+	% This option is for use in configure.in to test for
+	% some bug-fixes for type-specialization which are needed
+	% to compile the library. It's not documented, and should
+	% eventually be removed.
+long_option("fixed-user-guided-type-specialization",
+					user_guided_type_specialization).
 long_option("higher-order-size-limit",	higher_order_size_limit).
 long_option("introduce-accumulators",	introduce_accumulators).
 long_option("optimise-constructor-last-call",	optimize_constructor_last_call).
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------