|
From: Julian S. <js...@ac...> - 2005-10-07 09:38:36
|
I'd like to rename this (still marginally useful) flag for 3 reasons: - it sounds hacky and unprofessional - it conveys near-zero info to the reader about what it does - i can never remember how to spell weird (wierd?) I was thinking of --simulation-hints=, which imo addresses all 3 problems. What do you think? J |
|
From: Tom H. <to...@co...> - 2005-10-07 09:56:56
|
In message <200...@ac...>
Julian Seward <js...@ac...> wrote:
> I'd like to rename this (still marginally useful) flag for 3 reasons:
> - it sounds hacky and unprofessional
> - it conveys near-zero info to the reader about what it does
> - i can never remember how to spell weird (wierd?)
>
> I was thinking of --simulation-hints=, which imo addresses all 3
> problems. What do you think?
Sounds fine to me.
To
--
Tom Hughes (to...@co...)
http://www.compton.nu/
|
|
From: Nicholas N. <nj...@cs...> - 2005-10-07 14:24:43
|
On Fri, 7 Oct 2005, Tom Hughes wrote: >> I'd like to rename this (still marginally useful) flag for 3 reasons: >> - it sounds hacky and unprofessional >> - it conveys near-zero info to the reader about what it does >> - i can never remember how to spell weird (wierd?) >> >> I was thinking of --simulation-hints=, which imo addresses all 3 >> problems. What do you think? > > Sounds fine to me. Me too. Will you let --weird-hacks still work, at least for a while? N |