[m-dev.] for review: make unboxed enums and no-tag types optional

[Fergus Henderson]

On 09-Aug-2000, Tyson Dowd <trd at cs.mu.OZ.AU> wrote:
> On 09-Aug-2000, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> > If you don't like the double negation, then you could provide an
> > option `--boxed-enums', either in addition to or instead of the
> > `--no-unboxed-enums' option.  (If you want to allow both, this can be
> > handled by one of them being a bool_special option.)  For consistency
> > whatever you do here should also be done for `--unboxed-float'. 
> 
> I don't really care about the double negation, nobody should be using
> this option anyway.  So I've documented the negation.
...
> I've documented --no-unboxed-no-tag-types.
> 
> I haven't explained what a no-tag type is, this is a developer only
> option (see below).
> 
> > Finally, anything documented here should also be documented in
> > doc/user_guide.texi.
> 
> This level of documentation implies some kind of support. 
> I don't want to imply any kind of support for these options by
> themselves.
> 
> I've instead commented out the documentation in options.m as we have with
> many other developer only options.  Only experienced
> developers should be setting these flags.  Otherwise they will just be
> set as a result of a grade option.
> 
> I like the idea of renaming "no-tag" types as "trivial" types.
> But it should be a separate change across the entire compiler if we do
> it.

OK, that's all fine.  Feel free to go ahead and commit this one.

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