trivial diff: configure.in: check for >0.7.2

[Fergus Henderson]

configure.in:
	Check that the mmc used to bootstrap has version > 0.7.2
	(using regression test for a recently-fixed bug).

Index: configure.in
===================================================================
RCS file: /home/staff/zs/imp/mercury/configure.in,v
retrieving revision 1.114
diff -u -u -r1.114 configure.in
--- configure.in	1997/10/12 05:43:43	1.114
+++ configure.in	1997/10/15 16:03:00
@@ -77,12 +77,15 @@
 		:- module conftest.
 		:- interface.
 		:- import_module io.
-		:- pred main(io__state::unique->clobbered, io__state::uo)
-			is det.
+		:- pred main(io__state::di, io__state::uo) is det.
 		:- implementation.
-		:- pragma(c_code, "").
-		:- type type_containing_pred(T) ---> foo(pred(T)).
 		main --> io__write_string("Hello, world\n").
+
+		:- pred foo(int).
+		:- mode foo(in) is semidet.
+		:- mode foo(out) is semidet.
+		:- pragma c_code(foo(in), "").
+		:- pragma c_code(foo(out), "").
 EOF
 	if
 	 	 echo $BOOTSTRAP_MC conftest >&AC_FD_CC 2>&1 &&
-- 
Fergus Henderson <fjh at cs.mu.oz.au>   |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>   |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3         |     -- the last words of T. S. Garp.