for review: changes to NEWS file

Fergus Henderson fjh at cs.mu.oz.au
Sun Nov 23 19:33:56 AEDT 1997


Hi,

Can someone please review this?

NEWS:
	Mention recent changes:
		- array bounds checking disable-able
		- can control print-out for prolog debugging
		- can profile user or user+system time
		- profiler works on Windows
		- ported to Linux/PPC

Index: NEWS
===================================================================
RCS file: /home/mercury1/repository/mercury/NEWS,v
retrieving revision 1.86
diff -u -u -r1.86 NEWS
--- NEWS	1997/10/31 17:15:36	1.86
+++ NEWS	1997/11/23 08:27:55
@@ -182,6 +182,7 @@
 
 * We have fixed a few minor bugs.
 
+
 NEWS for Mercury release 0.7.3
 ------------------------------
 
@@ -204,4 +205,42 @@
 
 * We've fixed one of the limitations: unique mode declarations
   no longer have to precede non-unique mode declarations.
+
+
+NEWS since release 0.7.3:
+-------------------------
+
+* Array bounds checking can now be disabled.
+
+  To disable array bounds checking, you must compile with
+  `--intermodule-optimization' enabled and you must also
+  define the C macro ML_OMIT_ARRAY_BOUNDS_CHECKS (e.g. by using
+  `MGNUCFLAGS=-DML_OMIT_ARRAY_BOUNDS_CHECKS' in your Mmake file). 
+  [XXX we also need to fix problems with intermodule inlining heuristics.]
+
+* The support for debugging using Prolog now includes support for
+  detailed control over how terms are printed out during debugging.
+
+  See the "Using Prolog" section of the Mercury User's Guide for details.
+
+* The profiler now supports profiling just user time, or profiling
+  real (elapsed) time, rather than profiling user + system time.
+
+  See the "Profiling" chapter of the Mercury User's Guide for details.
+
+* Profiling should now work on MS Windows.
+
+  To enable profiling on MS Windows, you need to have Sergey
+  Okhapkin's latest version of gnu-win32 that includes his patch to add
+  support for setitimer().  Sergey's "CoolView" version of cygwin.dll
+  is available via <http://miracle.geol.msu.ru/sos/>; his patch will
+  probably also be included in the next (b19) release of gnu-win32.
+  Note that on Windows, you must use the Mercury runtime system's `-Tr'
+  (profile real time) option; profiling just user time or user + system
+  time is still not supported on Windows, because to the best of our
+  knowledge Windows doesn't provide the necessary system calls.
+
+* Ported to Linux/PPC.
+
+* We've updated to version 4.12 of the Boehm garbage collector.
 

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



More information about the developers mailing list