Re: [PATCH v2] tools/memory-model: Make compat with herd7 7.47 ("-" -> "_")

[Ingo Molnar]

* Paul E. McKenney <paulmck@xxxxxxxxxxxxxxxxxx> wrote:

> Cat-language code has used "-" as a word
> separator in names, and the model had previously had an odd mixture of
> "-" and "_".  Hence, the switch to the cat-language convention.
> 
> Of course, if underscore is strongly preferred, underscore does work,
> and it should be possible to move in that direction.

I'm fine with either of these variants, as long as it's consistent: the 
idiosynchratic seeming mixture of both '-' and '_' convention looked odd to me.

If '_' is also more compatible with installed versions of the language, then I'd 
go for that - but it's your call.

Thanks,

	Ingo