home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / comp / lang / scheme / 2876 < prev    next >
Encoding:
Text File  |  1993-01-06  |  1.6 KB  |  35 lines
  1. Newsgroups: comp.lang.scheme
  2. Path: sparky!uunet!zaphod.mps.ohio-state.edu!uwm.edu!daffy!spock.cs.wisc.edu!quale
  3. From: quale@spock.cs.wisc.edu (Doug Quale)
  4. Subject: Re: applying or
  5. Message-ID: <1993Jan6.164736.10682@daffy.cs.wisc.edu>
  6. Sender: news@daffy.cs.wisc.edu (The News)
  7. Reply-To: quale@saavik.cs.wisc.edu
  8. Organization: University of Wisconsin -- Madison
  9. References: <1hsiocINN2v6@columbia.cs.ubc.ca> <1992Dec31.181545.19917@sharebase.com> <1993Jan5.165545.11990@neptune.inf.ethz.ch>
  10. Date: Wed, 6 Jan 1993 16:47:36 GMT
  11. Lines: 22
  12.  
  13. In article <1993Jan5.165545.11990@neptune.inf.ethz.ch> marti@nugget.inf.ethz.ch (Robert Marti) writes:
  14. >
  15. >Pascal as described in the 1st ed. of Jensen & Wirth did indeed specify
  16. >that both the left _and_ right Boolean sub-expression of AND and OR must
  17. >_always_ be evaluated.
  18.  
  19. Could you provide the page number that says this?  This directly conflicts
  20. with my recollection that the User Manual and Report is completely silent
  21. on this issue.  This is one of the Report's several bugs, but it was
  22. pretty good for its time.
  23.  
  24. In a quick scan of the second edition (the one I had handy, but I can
  25. get the first edition from the library) I couldn't find anything.  My
  26. understanding is that short-circuit evaluation is compatible with the
  27. requirements of the User Manual and Report, but is not required.  Many
  28. early Pascal compilers didn't do short-circuit evaluation, and ultimately
  29. many used the CDC implementation from ETH as the final arbiter on the
  30. ambiguities in the definition.  (This was clearly less than ideal.)
  31.  
  32. -- 
  33. Doug Quale
  34. quale@saavik.cs.wisc.edu
  35.