From: David Gibson <david@gibson.dropbear.id.au>
To: Herve Codina <herve.codina@bootlin.com>
Cc: Bjorn Andersson <bjorn.andersson@oss.qualcomm.com>,
devicetree-compiler@vger.kernel.org
Subject: Re: [PATCH] checks: Warn about overlapping reserved-memory ranges
Date: Thu, 1 Oct 2026 11:31:45 +1000 [thread overview]
Message-ID: <ar239v8S_M4ng8Ko@gractus.seuss> (raw)
In-Reply-To: <20260930134522.35dcd951@bootlin.com>
[-- Attachment #1: Type: text/plain, Size: 1250 bytes --]
On Wed, Sep 30, 2026 at 01:45:22PM +0200, Herve Codina wrote:
> Hi,
>
> On Wed, 30 Sep 2026 19:44:42 +1000
> David Gibson <david@gibson.dropbear.id.au> wrote:
>
> ...
>
> > >
> > > Weird to have '[' and ')'.
> >
> > [x..y) is a standard notation in maths (it means x is included in the
> > range, but y is not). But that doesn't mean it's generally known.
> >
>
> I was surprised by the notation and I've looked deeper about it.
>
> Two different math notations exist for an interval notation [0]. The one
> you mention (with square brackets and parenthesis) but also the one I know
> about (square brackets only).
>
> Knowing now about both notation, having "[x, y)" is not weird anymore. It
> matches the "[x, y[" syntax I know about.
Oh, interesting. I hadn't encountered the "[x, y[" form. I wonder if
that's (loosely) an Anglosphere/Francosphere thing (the [x, y[ form
coming from Bourbaki).
> [0] https://en.wikipedia.org/wiki/Interval_(mathematics)#Including_or_excluding_endpoints
>
> Hervé
>
--
David Gibson (he or they) | I'll have my music baroque, and my code
david AT gibson.dropbear.id.au | minimalist, thank you, not the other way
| around.
http://www.ozlabs.org/~dgibson
[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 833 bytes --]
next prev parent reply other threads:[~2026-10-01 1:32 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-09-23 17:50 [PATCH] checks: Warn about overlapping reserved-memory ranges Bjorn Andersson
2026-09-25 17:03 ` Herve Codina
2026-09-30 9:44 ` David Gibson
2026-09-30 11:45 ` Herve Codina
2026-10-01 1:31 ` David Gibson [this message]
2026-09-30 10:09 ` David Gibson
2026-10-01 16:13 ` Rob Herring
2026-10-07 4:58 ` David Gibson
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=ar239v8S_M4ng8Ko@gractus.seuss \
--to=david@gibson.dropbear.id.au \
--cc=bjorn.andersson@oss.qualcomm.com \
--cc=devicetree-compiler@vger.kernel.org \
--cc=herve.codina@bootlin.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.