[m-rev.] for review: allow execution of incomplete programs

[Fergus Henderson]

On 21-Feb-2003, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> Thanks for the excellent review comments.
> Here's a relative diff.  I'll go ahead and commit this now.

Actually, I forgot to update the NEWS file.

--- NEWS	18 Feb 2003 06:27:29 -0000	1.302
+++ NEWS	21 Feb 2003 01:10:16 -0000
@@ -10,10 +10,12 @@
   declarations and in the head of a clause for a user-defined field access
   function.
 * We now support impure higher-order code.
-
 * We now allow user-defined comparison routines.
 
 Changes to the Mercury compiler:
+* Better support for incremental program development:
+  there's two new compiler options, `--allow-stubs' and `--no-warn-stubs',
+  to support execution of incomplete programs.
 * It's now easier to use shared libraries on Linux/x86 systems
   with `mmc --make'.
 
@@ -112,6 +114,16 @@
 
 Changes to the Mercury compiler:
 
+* Better support for incremental program development.
+
+  There's two new compiler options `--allow-stubs' and `--no-warn-stubs',
+  to support execution of programs containing procedures which have not
+  yet been implemented.
+
+  `--allow-stubs' delays the reporting of errors for procedures with no
+  clauses until run-time, instead issuing only a warning at compile time.
+  `--no-warn-stubs' allows even that warning to be supressed.
+
 * It's now easier to use shared libraries on Linux/x86 systems with
   `mmc --make'.  See the documentation for the `--mercury-linkage'
   and `--linkage' options and the `MERCURY_LINKAGE' Mmake variable
 
-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------