bug-gnu-emacs
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#9222: 23.3.50; "void" is not "typeless" (but thanks for the koan!)


From: Reuben Thomas
Subject: bug#9222: 23.3.50; "void" is not "typeless" (but thanks for the koan!)
Date: Sun, 11 Sep 2011 09:13:00 +0100

On 11 September 2011 05:56, Stefan Monnier <address@hidden> wrote:
>
> It's still not typeless: it's just that the type you get gives you no
> information about the data.

Moreover, in C, in which types are not first-class objects, no type
has a type, so every type is a typeless type.

I agree, BTW, that "unit type" is a better description of void than my
original "empty type".

-- 
http://rrt.sc3d.org





reply via email to

[Prev in Thread] Current Thread [Next in Thread]