[m-dev.] diff: including autoconfigured grade options in .c files
Fergus Henderson
fjh at cs.mu.OZ.AU
Mon May 17 13:56:55 AEST 1999
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
--------------------------------------------------------------------------
More information about the developers
mailing list