home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / comp / std / c / 3349 < prev    next >
Encoding:
Text File  |  1993-01-09  |  1.6 KB  |  36 lines
  1. Newsgroups: comp.std.c
  2. Path: sparky!uunet!uunet.ca!wildcan!sq!msb
  3. From: msb@sq.sq.com (Mark Brader)
  4. Subject: Re: Struct hack one last time (one last time)
  5. Message-ID: <1993Jan9.042741.15398@sq.sq.com>
  6. Summary: Claim of circular reasoning disproved
  7. Organization: SoftQuad Inc., Toronto, Canada
  8. References: <1993Jan7.221207.13818@leland.Stanford.EDU> <1993Jan8.065947.29719@sq.sq.com> <1993Jan8.190840.11087@taumet.com>
  9. Date: Sat, 9 Jan 93 04:27:41 GMT
  10. Lines: 24
  11.  
  12. I said:
  13. | In particular, it could not modify padding at the end of a struct,
  14. | precisely *because* it would break the struct hack.
  15.  
  16. Steve Clamage replied:
  17. > We seem to have some circular reasoning here.
  18. > I proposed an implemention which I claimed was conforming on which
  19. > the struct hack would not work; therefore the struct hack is illegal.
  20. > Mark claims the struct hack is legal; therefore the proposed
  21. > implementation is not conforming.
  22.  
  23. My reasoning only looks circular if you do not consider that statement
  24. "the struct hack is conforming" has *already* been proven.  My actual
  25. claim, or rather statement, is that it has been.  And since this *is*
  26. established, we can then make other deductions from it, such as that
  27. Steve's proposed implementation is non-conforming.  (As it happens, this
  28. has also been proved on other grounds in other postings.)
  29. -- 
  30. Mark Brader, SoftQuad Inc., Toronto, utzoo!sq!msb, msb@sq.com
  31.   "And just when I had you wriggling in the crushing grip of reason, too."
  32.    -- Calvin and Hobbes
  33.       (borrowed just for the occasion from a colleague's signature collection)
  34.  
  35. This article is in the public domain.
  36.