[m-rev.] diff: require that the installed compile support mutables

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

configure.in:
	Require that the installed compiler supports mutable
	declarations.

Julien.

Index: configure.in
===================================================================
RCS file: /home/mercury1/repository/mercury/configure.in,v
retrieving revision 1.439
diff -u -r1.439 configure.in
--- configure.in	10 Nov 2005 03:02:55 -0000	1.439
+++ configure.in	15 Nov 2005 06:42:18 -0000
@@ -212,15 +212,24 @@
 		:- implementation.

 		:- import_module bool, int, list.
-
+
+		:- mutable(global_var,
+			int,
+			561,
+			ground,
+			[[untrailed, thread_safe, attach_to_io_state]]
+		).
+
 		main(!IO) :-
 			return_rtti_version(Version),
 			p(T),
 			q(T, _),
+			get_global_var(Global, !IO),
 			(
 				Version >= 8,
 				ac(2) ^ elem(3, 5) = 17,
-				(1 .. 2) = [[1, 2]]
+				(1 .. 2) = [[1, 2]],
+				Global = 561
 			->
 				io.print("Hello, world\n", !IO)
 			;

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------