Path: csiph.com!eternal-september.org!feeder.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Keith Thompson <kst-u@mib.org>
Newsgroups: comp.lang.c
Subject: Re: Type system protocols rest atop fundamental data
Date: Wed, 14 Jun 2017 14:37:46 -0700
Organization: None to speak of
Lines: 28
Message-ID: <ln37b2ckt1.fsf@kst-u.example.com>
References: <31b443b2-2142-417f-812a-955280ff39d8@googlegroups.com> <1d495f2d-77f2-4a89-b695-ae74df6ea664@googlegroups.com> <uhg0B.123559$Gx3.66049@fx45.am4> <87fuf28f8o.fsf@bsb.me.uk> <hRh0B.157156$524.104256@fx41.am4>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Injection-Info: mx02.eternal-september.org; posting-host="96bbf95725af2559ab0735ee54475e20"; logging-data="3357"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19idM9mCgZQBVOB1iv0SGIm"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1 (gnu/linux)
Cancel-Lock: sha1:loRaI3iqk4EsXHHQQ/snoIsoo5o= sha1:lOxIz9Eo7mEHcJqGOLmKv06hge8=
Xref: csiph.com comp.lang.c:112227

bartc <bc@freeuk.com> writes:
[...]
> Enums are not a type.

Incorrect.  For example, given:
    enum foo { zero, one };
`enum foo` is a type.  Perhaps you meant something else.

[...]

> Sort of, as it generously (but not very usefully) provides 10 integer 
> types instead! (There are five types without explicit widths has 'long' 
> is usually the same as 'int', or the same as 'long long'.)

long typically has the same representation as either int or long long,
but it's always a distinct type.

>                                                            Or possibly 
> 11, if 'plain char' is considered different from unsigned or signed char.

No "if" is necessary.  Plain char *is* distinct from both unsigned char
and signed char.

-- 
Keith Thompson (The_Other_Keith) kst-u@mib.org  <http://www.ghoti.net/~kst>
Working, but not speaking, for JetHead Development, Inc.
"We must do something.  This is something.  Therefore, we must do this."
    -- Antony Jay and Jonathan Lynn, "Yes Minister"