[m-rev.] for review: pass $(ALL_GRADEFLAGS) to mmc --make-interface

[Simon Taylor]

On 13-Feb-2002, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> Estimated hours taken: 0.25
> Branches: main
> 
> scripts/mmake.in:
> compiler/modules.m:
> 	Pass $(ALL_GRADEFLAGS) to mmc when building the interface files
> 	(`.int', `.int2', etc.).  Previously this was not done, because
> 	the interface files are supposed to be grade-independent.
> 	However, this causes problems if --warn-non-tail-recursion
> 	is put in MCFLAGS, because --warn-non-tail-recursion reports
> 	an error if --high-level-code is not specified.

Wouldn't it be better to disable `--warn-non-tail-recursion'
for `--make-interface', etc.

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