🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: comp.std.c
Article #3349

Re: Struct hack one last time (one last time)

#3349
From: Mark Brader
Date: Sat, 09 Jan 1993 04:27
24 lines
1636 bytes
I said:
| In particular, it could not modify padding at the end of a struct,
| precisely *because* it would break the struct hack.

Steve Clamage replied:
> We seem to have some circular reasoning here.
> I proposed an implemention which I claimed was conforming on which
> the struct hack would not work; therefore the struct hack is illegal.
> Mark claims the struct hack is legal; therefore the proposed
> implementation is not conforming.

My reasoning only looks circular if you do not consider that statement
"the struct hack is conforming" has *already* been proven.  My actual
claim, or rather statement, is that it has been.  And since this *is*
established, we can then make other deductions from it, such as that
Steve's proposed implementation is non-conforming.  (As it happens, this
has also been proved on other grounds in other postings.)
-- 
Mark Brader, SoftQuad Inc., Toronto, utzoo!sq!msb, msb@sq.com
  "And just when I had you wriggling in the crushing grip of reason, too."
   -- Calvin and Hobbes
      (borrowed just for the occasion from a colleague's signature collection)
 
This article is in the public domain.
Technical Details
Message-ID: <1993Jan9.042741.15398@sq.sq.com>
Path: arc1-ca.pugleaf.net!sparky!uunet!uunet.ca!wildcan!sq!msb
References: <1993Jan7.221207.13818@leland.Stanford.EDU> <1993Jan8.065947.29719@sq.sq.com> <1993Jan8.190840.11087@taumet.com>

Show Full Headers
Complete Article Headers
Newsgroups: comp.std.c
Path: arc1-ca.pugleaf.net!sparky!uunet!uunet.ca!wildcan!sq!msb
From: msb@sq.sq.com (Mark Brader)
Subject: Re: Struct hack one last time (one last time)
Message-ID: <1993Jan9.042741.15398@sq.sq.com>
Summary: Claim of circular reasoning disproved
Organization: SoftQuad Inc., Toronto, Canada
References: <1993Jan7.221207.13818@leland.Stanford.EDU> <1993Jan8.065947.29719@sq.sq.com> <1993Jan8.190840.11087@taumet.com>
Date: Sat, 9 Jan 93 04:27:41 GMT
Lines: 24