diff: changes to the WORK_IN_PROGRESS file

Fergus Henderson fjh at cs.mu.OZ.AU
Tue Jul 14 02:30:54 AEST 1998


WORK_IN_PROGRESS:
	Update to reflect recent developments.

Index: WORK_IN_PROGRESS
===================================================================
RCS file: /home/mercury1/repository/mercury/WORK_IN_PROGRESS,v
retrieving revision 1.7
diff -u -r1.7 WORK_IN_PROGRESS
--- WORK_IN_PROGRESS	1997/10/11 15:31:08	1.7
+++ WORK_IN_PROGRESS	1998/06/19 17:15:23
@@ -4,6 +4,12 @@
 The compiler contains some code for the following features,
 which are not yet completed:
 
+* Existential types.
+
+* Thread-safe engine.
+
+* Independent AND-parallelism.
+
 * We have added support for dynamic link libraries (DLLs) on Windows.
   This is not yet enabled by default because it has not yet been tested
   properly.
@@ -22,23 +28,10 @@
 * We now allow programmers to give names to the arguments of constructor
   function symbols.  (Disabled, due to lack of a suitable operator.)
 
-* There are new options, `--make-transitive-optimization-interface' and 
-  `--transitive-intermodule-optimization' which allow the compiler to
-  create `<module>.trans_opt' files.  These files are similar to the
-  `<module>.opt' files, except `<module>.trans_opt' files may depend on
-  the information in other `<module>.trans_opt' files.  Currently the
-  files are correctly created and read in, but the dependencies are not
-  correctly maintained, so the information in the `<module>.trans_opt'
-  files may be incorrect.  For further details of what needs to be done,
-  see the beginning of the `trans_opt.m' file in the compiler directory.
-
 We also have some code that goes at least some part of the way towards
 implementing the features below.   However, for these features, the
 code has not yet been committed and thus is not part of the standard
 distribution.
 
-* Tabling/memoing of det and semidet predicates.
-
-* Support for Haskell-style type classes.
+* [Currently no features in this category.]
 
-* Support for heap profiling.

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