[m-rev.] diff: more docs for --warn-non-tail-recursion

[Fergus Henderson]

Estimated hours taken: 1
Branches: main

Some more parts of my change to implement a new option
`--warn-non-tail-recursion'.

NEWS:
	Mention the new option.

compiler/notes/compiler_design.html:
	Mention the new functionality in ml_tailcall.m.

Workspace: /home/ceres/fjh/mercury
Index: NEWS
===================================================================
RCS file: /home/mercury1/repository/mercury/NEWS,v
retrieving revision 1.240
diff -u -d -r1.240 NEWS
--- NEWS	30 Jan 2002 14:50:59 -0000	1.240
+++ NEWS	13 Feb 2002 00:59:17 -0000
@@ -168,6 +168,10 @@
 
 Changes to the Mercury implementation:
 
+* We've added a new compiler option `--warn-non-tail-recursion', which
+  causes the compiler to issue a warning about any directly recursive
+  call that is not a tail call.
+
 * The debugger can now print goals just as Prolog debuggers do. At an exit
   port of e.g. append, the command "print goal" will print the current goal
   in a form such as "append([1], [2], [1, 2])".

Index: notes/compiler_design.html
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/notes/compiler_design.html,v
retrieving revision 1.69
retrieving revision 1.70
diff -u -d -r1.69 -r1.70
--- notes/compiler_design.html	4 Feb 2002 07:01:29 -0000	1.69
+++ notes/compiler_design.html	12 Feb 2002 16:38:16 -0000	1.70
@@ -936,6 +936,7 @@
 <h4> 5b. MLDS transformations </h4>
 <ul>
 <li> ml_tailcall.m annotates the MLDS with information about tailcalls.
+     It also has a pass to implement the `--warn-non-tail-recursion' option.
 <li> ml_optimize.m does MLDS->MLDS optimizations
 <li> ml_elim_nested.m does two MLDS transformations that happen
      to have a lot in common: (1) eliminating nested functions
@@ -1168,6 +1169,6 @@
 <hr>
 <!---------------------------------------------------------------------------->
 
-Last update was $Date: 2002/02/04 07:01:29 $ by $Author: fjh $@cs.mu.oz.au. <br>
+Last update was $Date: 2002/02/12 16:38:16 $ by $Author: fjh $@cs.mu.oz.au. <br>
 </body>
 </html>

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