[m-dev.] for review: MLDS back-end: new grades & options

[Fergus Henderson]

I'll go ahead and commit this one now.

On 07-Dec-1999, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> This change implements the stuff that I discussed in my earlier mail
> about new grades and options for the MLDS back-end.
> 
> For this change and the change to the standard library,
> I plan to wait until after the release of 0.9 before
> committing these -- I think the chance of introducing
> some last-minute bug is a bit too high otherwise.
> 
> The main other changes needed in the standard library are 
> the ones related to the RTTI support and the unify/index/compare
> predicates for builtin types.
> 
> ----------
> 
> Estimated hours taken: 3
> 
> Implement new grades and options for the MLDS back-end.
> 
> compiler/options.m:
> 	Rename --highlevel-c as --highlevel-code.
> 	Add new option --highlevel-data.
> 	
> compiler/mercury_compile.m:
> scripts/mgnuc.in:
> 	Convert the grade options --highlevel-code,
> 	--highlevel-data, and --gcc-nested-functions
> 	into C flags -DMR_HIGHLEVEL_CODE, -DMR_HIGHLEVEL_DATA,
> 	and -DMR_USE_GCC_NESTED_FUNCTIONS respectively.
> 
> compiler/handle_options.m:
> scripts/parse_grade_options.sh-subr:
> scripts/init_grade_options.sh-subr:
> scripts/final_grade_options.sh-subr:
> scripts/ml.in:
> 	Add new grades `hl', `hlc', `hl_nest', and `hlc_nest'.
> 	Add code to handle the new options and grades.
> 
> scripts/ml.in:
> 	If --high-level-code is set, then don't invoke the
> 	demangler, since it doesn't (yet) understand the new
> 	name mangling scheme.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------