[m-rev.] for review: --warn-non-tail-recursion in low-level grades

Julien Fischer juliensf at csse.unimelb.edu.au
Tue Jul 10 16:33:51 AEST 2012


On Mon, 9 Jul 2012, Peter Wang wrote:

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

That looks fine.  You should add a note to the NEWS file that the
previous requirement for --high-level-code with
--warn-non-trail-recursion no longer exists.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------



More information about the reviews mailing list