MIME-Version: 1.0
References: <175861138289.858.2065605212405176332@wrigleys.postgresql.org>
 <CAApHDvptZTx5-m0-o5qijs96wOgcTaRE+JrLrxcP2JhRxteLmQ@mail.gmail.com>
In-Reply-To: 
 <CAApHDvptZTx5-m0-o5qijs96wOgcTaRE+JrLrxcP2JhRxteLmQ@mail.gmail.com>
From: Dejan Spasic <dejan.spasic@bitweise.biz>
Date: Tue, 23 Sep 2025 15:35:32 +0200
Message-ID: 
 <CA+S3bCr9prgoemFG7PWU_Jhz8iK+ecwxP7EY_7LRZwTTBYwztA@mail.gmail.com>
Subject: Re: Confusion in section 8.7.3. Type Safety
To: David Rowley <dgrowleyml@gmail.com>
Cc: pgsql-docs@lists.postgresql.org
Content-Type: multipart/alternative; boundary="000000000000488d54063f7803fe"
Archived-At: 
 <https://www.postgresql.org/message-id/CA%2BS3bCr9prgoemFG7PWU_Jhz8iK%2BecwxP7EY_7LRZwTTBYwztA%40mail.gmail.com>
Precedence: bulk

--000000000000488d54063f7803fe
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

Yes, you are right. Thanks for the fast feedback.

BitWeise
Erkrather Stra=C3=9Fe 304
D-40231 D=C3=BCsseldorf
Tel.: +49.151 2915 88 99
E-Mail: dejan.spasic@bitweise.biz
WWW: http://www.bitweise.biz

On Tue, Sep 23, 2025, 1:14=E2=80=AFPM David Rowley <dgrowleyml@gmail.com> w=
rote:

> On Tue, 23 Sept 2025 at 20:59, PG Doc comments form
> <noreply@postgresql.org> wrote:
> > Page: https://www.postgresql.org/docs/17/datatype-enum.html
> > Description:
> >
> > In section 8.7.3. Type Safety one can observe a the following statement
> in
> > the examples.
> >
> > INSERT INTO holidays(num_weeks,happiness) VALUES (2, 'sad');
> >
> > This is somewhat confusing since type happiness doesn't contain 'sad'. =
I
> > would suggest to remove the statement or to add an enum 'sad' in type
> > happiness.
>
> Thank you for the report. I think you might have missed that this
> section is demonstrating that the statement does not work due to the
> column's type not containing an enum value for 'sad' and that enum
> values are specific to the particular enum, rather than global to all
> enum types, as one *could* have assumed.
>
> Your proposed modification would make the bogus INSERT statement work,
> which would defeat the purpose of the section demonstrating that it
> doesn't work.
>
> David
>

--000000000000488d54063f7803fe
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"auto"><div>Yes, you are right. Thanks for the fast feedback.</d=
iv><div><br></div><div data-smartmail=3D"gmail_signature"><div dir=3D"ltr">=
BitWeise<div>Erkrather Stra=C3=9Fe 304</div><div>D-40231 D=C3=BCsseldorf</d=
iv><div>Tel.: +49.151 2915 88 99<br></div><div>E-Mail: <a href=3D"mailto:de=
jan.spasic@bitweise.biz" target=3D"_blank">dejan.spasic@bitweise.biz</a><br=
></div><div>WWW: <a href=3D"http://www.bitweise.biz" target=3D"_blank">http=
://www.bitweise.biz</a><br></div></div></div></div><br><div class=3D"gmail_=
quote gmail_quote_container"><div dir=3D"ltr" class=3D"gmail_attr">On Tue, =
Sep 23, 2025, 1:14=E2=80=AFPM David Rowley &lt;<a href=3D"mailto:dgrowleyml=
@gmail.com">dgrowleyml@gmail.com</a>&gt; wrote:<br></div><blockquote class=
=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1px #ccc solid;padd=
ing-left:1ex">On Tue, 23 Sept 2025 at 20:59, PG Doc comments form<br>
&lt;<a href=3D"mailto:noreply@postgresql.org" target=3D"_blank" rel=3D"nore=
ferrer">noreply@postgresql.org</a>&gt; wrote:<br>
&gt; Page: <a href=3D"https://www.postgresql.org/docs/17/datatype-enum.html=
" rel=3D"noreferrer noreferrer" target=3D"_blank">https://www.postgresql.or=
g/docs/17/datatype-enum.html</a><br>
&gt; Description:<br>
&gt;<br>
&gt; In section 8.7.3. Type Safety one can observe a the following statemen=
t in<br>
&gt; the examples.<br>
&gt;<br>
&gt; INSERT INTO holidays(num_weeks,happiness) VALUES (2, &#39;sad&#39;);<b=
r>
&gt;<br>
&gt; This is somewhat confusing since type happiness doesn&#39;t contain &#=
39;sad&#39;. I<br>
&gt; would suggest to remove the statement or to add an enum &#39;sad&#39; =
in type<br>
&gt; happiness.<br>
<br>
Thank you for the report. I think you might have missed that this<br>
section is demonstrating that the statement does not work due to the<br>
column&#39;s type not containing an enum value for &#39;sad&#39; and that e=
num<br>
values are specific to the particular enum, rather than global to all<br>
enum types, as one *could* have assumed.<br>
<br>
Your proposed modification would make the bogus INSERT statement work,<br>
which would defeat the purpose of the section demonstrating that it<br>
doesn&#39;t work.<br>
<br>
David<br>
</blockquote></div>

--000000000000488d54063f7803fe--