Files
mercury/doc
Peter Wang 63c3425b14 Allow `--warn-non-tail-recursion' with the low-level backend.
Branches: main

Allow `--warn-non-tail-recursion' with the low-level backend.

compiler/handle_options.m:
	Do not require `--high-level-code' for `--warn-non-tail-recursion'.

	Emit an error if `--warn-non-tail-recursion' is used with
	`--pessimize-tailcalls'.

compiler/mark_tail_calls.m:
	Add a pass that uses the goal feature set by this module to report
	about directly recursive, but not tail-recursive, calls.

compiler/mercury_compile_llds_back_end.m:
	Run the new pass in the low-level backend, for both settings of
	`--trad-passes'.

compiler/options.m:
doc/user_guide.texi:
	Update documentation.

NEWS:
	Announce the change.
2012-07-23 06:10:13 +00:00
..

This directory contains the source for

	The Mercury user's guide
	The Mercury language reference manual
	The Mercury library reference manual
	The Prolog to Mercury transition guide
	The Mercury frequently asked questions list

The master copy of each document is stored in texinfo format, from which
the info, dvi and html versions are derived automatically.

You can create postscript versions from either the dvi or html versions.
Due to the large spacing in texinfo-generated dvi files, the postscript file
generated from the html (manually via a browser such as xmosaic) will be
considerably shorter than the one derived from the dvi file.

The source for the Mercury library reference manual is generated automatically
from the library source files themselves.