Update mercury to version 0.11.0.

Changes to the Mercury language:
* Support for constrained polymorphic modes.
* Addition of state variable syntax.
* Improved support for higher-order functions.
* Predicate and function equivalence type and mode declarations.
* Support for defining predicates or functions
  using different clauses for different modes.
* Support for Haskell-like "@" expressions.
* Generalized foreign language interface.

Changes to the Mercury compiler:
* A new `--make' option, for simpler building of programs.
* A new `--smart-recompilation' option, for fine-grained dependency tracking.
* A new optional warning: `--warn-non-tail-recursion'.
* A new optimization: `--constraint-propagation'.
* A new optimization: `--loop-invariants'.
* Support for arbitrary mappings from module name to source file name.

Portability improvements:
* Mac OS X is now supported "out-of-the-box".
* On Windows we now support generating non-Cygwin executables.
* Better conformance to ANSI/ISO C.

Changes to the compiler back-ends:
* The native code Linux/x86 back-end is now "release quality".
* The .NET CLR back-end is much improved.

Major improvements to the Mercury debugger, including:
* Support for source-linked debugging using vim (rather than emacs).
* Command-line completion.
* Ability to display values of higher-order terms.
* Declarative debugging.
* Support for transparent retries across I/O.

A new profiler, which we call the Mercury deep profiler or mdprof:
* Supports both time and memory profiling.
* Gathers information about individual call sites as well as procedures.
* Eliminates the assumption that all calls to a procedure have equal cost.
* Allows users to explore the gathered data interactively with a web browser.

Numerous minor improvements to the Mercury standard library.

A new testing tool in the extras distribution.

1 files changed, 12 insertions, 36 deletions

diff --git a/lang/mercury/patches/patch-ad b/lang/mercury/patches/patch-ad
index c546e96709a..de77d8cfc9e 100644
--- a/lang/mercury/patches/patch-ad
+++ b/lang/mercury/patches/patch-ad
@@ -1,37 +1,13 @@
-$NetBSD: patch-ad,v 1.1.1.1 2001/05/15 21:09:56 jtb Exp $
+$NetBSD: patch-ad,v 1.2 2003/05/02 17:48:30 jtb Exp $
 
---- configure.orig	Mon Apr  2 20:19:15 2001
-+++ configure
-@@ -1356,15 +1356,7 @@
- fi
- 
- echo "$ac_t""$ac_cv_prog_gcc_g" 1>&6
--    if test $ac_cv_prog_gcc_g = yes; then
--      CFLAGS="-g -O"
--    else
--      CFLAGS="-O"
--    fi
-   fi
--else
--  GCC=
--  test "${CFLAGS+set}" = set || CFLAGS="-g"
- fi
- 
- 
-@@ -1374,7 +1366,7 @@
- # the `-lc' and `-lg' libraries have different contents; specifically,
- # only the latter contains memalign().  We need to make sure that the
- # test for memalign() doesn't use `-g', since `ml' doesn't use `-g'.
--CFLAGS="-O"
-+# CFLAGS="-O"
- 
- # we also need to add the appropriate `-I' options so that the test programs
- # can #include various Mercury runtime headers.
-@@ -6118,6 +6117,7 @@
- s%@FINAL_GRADE_OPTIONS@%%g
- /@CANONICAL_GRADE@/r $CANONICAL_GRADE
- s%@CANONICAL_GRADE@%%g
-+s%@BOEHM_GC_DIR@%$BOEHM_GC_DIR%g
- s%@SOCKET_LIBRARY@%$SOCKET_LIBRARY%g
- s%@NSL_LIBRARY@%$NSL_LIBRARY%g
- s%@DL_LIBRARY@%$DL_LIBRARY%g
+--- doc/Mmakefile.orig
++++ doc/Mmakefile
+@@ -271,7 +271,7 @@
+ 
+ .PHONY: install_info
+ install_info: $(INFOPAGES) install_dirs
+-	-cp *.info* $(INSTALL_INFO_DIR)
++	-cp *.info *.info-[0-9]* $(INSTALL_INFO_DIR)
+ 	# Update the .../info/dir file.
+ 	-if [ -x "$(INSTALL_INFO)" ]; then				\
+ 		$(INSTALL_INFO) $(INSTALL_INFO_DIR)/mercury.info;	\