[m-dev.] diff: update configure.in compiler check

[Simon Taylor]

Estimated hours taken: 0.2

configure.in:
	When testing whether the installed compiler is sufficiently up-to-date,
	check for some recent fixes for type specialization and class method
	determinism warnings, since they are now needed to compile the library.


Index: configure.in
===================================================================
RCS file: /home/mercury1/repository/mercury/configure.in,v
retrieving revision 1.230
diff -u -u -r1.230 configure.in
--- configure.in	2000/10/20 10:23:45	1.230
+++ configure.in	2000/11/12 05:56:15
@@ -84,16 +84,31 @@
 		:- interface.
 		:- import_module io.
 		:- pred main(io__state::di, io__state::uo) is det.
+
+		% Check that the compiler doesn't give
+		% "determinism declaration could be tighter"
+		% warnings for type class method implementations.
+		% They will usually be spurious.
+		% The library now contains code which would
+		% trigger this spurious warning.
+		:- typeclass my_enum(T) where [[
+			func my_from_int(int) = T is semidet
+		]].
+		:- instance my_enum(int) where [[
+			my_from_int(X) = X
+		]].
+
 		:- implementation.
+
+		% Currently we test that mmc accepts the
+		% --fixed-user-guided-type-specialization flag.
 		main --> 
-				% Currently we test that mmc accepts
-				% the --object-file-extension flag.
 			print("Hello, world\n").
 EOF
 	if
 	 	 echo $BOOTSTRAP_MC conftest >&AC_FD_CC 2>&1 &&
-	 	 $BOOTSTRAP_MC --object-file-extension "o" \
-			 --link-flags "--static" conftest \
+	 	 $BOOTSTRAP_MC --fixed-user-guided-type-specialization \
+			 --halt-at-warn --link-flags "--static" conftest \
 		 	</dev/null >&AC_FD_CC 2>&1 &&
 		 test "`./conftest 2>&1 | tr -d '\015'`" = "Hello, world"
 	then
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------