From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,e01fe1b326df26d4 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news3.google.com!newsfeed.stanford.edu!newsfeed.news.ucla.edu!newsfeed.media.kyoto-u.ac.jp!news1.optus.net.au!optus!news.mel.connect.com.au!news-south.connect.com.au!news.xtra.co.nz!53ab2750!not-for-mail From: "Lurker" Newsgroups: comp.lang.ada References: <79ahr0jozmqb$.10jzllrcjpmsv.dlg@40tude.net> <_pwre.7121$U4.1023104@news.xtra.co.nz> Subject: Re: Division by zero X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2800.1437 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1441 Message-ID: Date: Wed, 29 Jun 2005 17:50:43 +1200 NNTP-Posting-Host: 219.88.80.248 X-Complaints-To: abuse@xtra.co.nz X-Trace: news.xtra.co.nz 1120024037 219.88.80.248 (Wed, 29 Jun 2005 17:47:17 NZST) NNTP-Posting-Date: Wed, 29 Jun 2005 17:47:17 NZST Organization: Xtra Xref: g2news1.google.com comp.lang.ada:11718 Date: 2005-06-29T17:50:43+12:00 List-Id: "Robert A Duff" wrote in message news:wccy88ugorw.fsf@shell01.TheWorld.com... > 11.6(5) is all about run time effects. If divide by zero were illegal > (which means at compile time), then 11.6 would not apply. Which brings us back to my original question - why is it legal? Please excuse all examples of custom "/" definitions. Let's assume we are talking about predefined division operation on integers. Why would division by zero be allowed? (If you want to redefine your operations, then all bets are off of course, but what about the default ones?)