[m-dev.] diff: including autoconfigured grade options in .c files

[Fergus Henderson]

On 03-May-1999, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> 
> -		io__write_strings(
> -			["/*\n",
> -			"** Automatically generated from `", SourceFileName,
> -				"' by the Mercury compiler,\n",
> -			"** version ", Version, ".\n",
> -			"** Do not edit.\n",
> -			"*/\n"]),
> -
...
> +	io__write_strings(["/*\n",
> +		"** Automatically generated from `", SourceFileName,
> +			"' by the Mercury compiler,\n",
> +		"** version ", Version, ".\n",
> +		"** The autoconfigured grade settings governing\n",
> +		"** the generation of this C file were\n",
> +		"**\n",
> +		"** TAG_BITS=", NumTagBitsStr, "\n",
> +		"** UNBOXED_FLOAT=", UnboxedFloatStr, "\n",
> +		"**\n",
> +		"** END_OF_C_GRADE_INFO\n",
> +		"** Do not edit.\n*/\n"

I think it would be better if the "Do not edit." sentence came
immediately after the "Automatically generated from ..." sentence.

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