Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > linux.kernel > #1175954 > unrolled thread

Re: [PATCH 0/2] kconfig: allow use of relations other than (in)equality

Back to article view | Back to linux.kernel

This discussion starts older than the indexed window; earlier articles aren't shown. The article labeled Started by below is the oldest one visible, not the original post.

Contents

  Re: [PATCH 0/2] kconfig: allow use of relations other than (in)equality Martin Walch <walch.martin@web.de> - 2015-07-02 15:10 +0200
    Re: [PATCH 0/2] kconfig: allow use of relations other than  (in)equality Paul Bolle <pebolle@tiscali.nl> - 2015-07-03 11:20 +0200

#1175954 — Re: [PATCH 0/2] kconfig: allow use of relations other than (in)equality

Hi,

> 1: allow use of relations other than (in)equality

I know it is a bit late for objections. Still, I want to point out that
this looks to me like a major extension to the language.

Kconfig is a configuration language, and as far as I can tell it is
(intentionally) not Turing complete to keep the configuration simple and
controllable. All relations that have been defined so far check for equality
(or for being not equal). The new relations "<=", ">=", "<", and ">" add more
expressiveness, potentially making the language actually more complex and
reasoning harder.

Once the new relations are added, it will be hard to get rid of them again.
So, should this patch be reconsidered?

Regards,
Martin Walch
-- 

--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/

[toc] | [next] | [standalone]

#1176420 — Re: [PATCH 0/2] kconfig: allow use of relations other than (in)equality

On do, 2015-07-02 at 22:06 +0200, Michal Marek wrote:
> The patch just adds four new binary operations of the same order as 
> the
> existing == and !=, with a the semantics that everybody expects. And 
> the
> grammar for kconfig expressions is so simplistic that you cannot even
> write things like (A && B) == (C && D). So turing completeness is not 
> a
> topic here, neither before nor after this patch.

So, if you're worried by the complexity added by allowing these
operations, you might considering keeping an eye out for patches that
use them. Because, obviously, the review of those patches could also be
used to demonstrate their downsides. Actually, since
DEBUG_UART_8250_WORD already uses ">=", and that's now become legal,
perhaps the downsides can already be demonstrated.

Thanks,


Paul Bolle
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/

[toc] | [prev] | [standalone]

Back to top | Article view | linux.kernel

csiph-web