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,7d3cb5920e882220 X-Google-Attributes: gid103376,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news4.google.com!feeder1-2.proxad.net!proxad.net!feeder1-1.proxad.net!217.73.144.45.MISMATCH!feeder2.ecngs.de!ecngs!feeder.ecngs.de!news.osn.de!diablo2.news.osn.de!news.belwue.de!th!lucks From: Stefan Lucks Newsgroups: comp.lang.ada Subject: Re: Contracted exceptions for Ada Date: Mon, 10 Dec 2007 08:09:50 +0100 Organization: InterNetNews at News.BelWue.DE (Stuttgart, Germany) Message-ID: References: <5947aa62-2547-4fbb-bc46-1111b4a0dcc9@x69g2000hsx.googlegroups.com> <7m9wkymyi5h7.1235e72is9mp9.dlg@40tude.net> NNTP-Posting-Host: th.informatik.uni-mannheim.de Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-Trace: news.belwue.de 1197270592 877 134.155.91.85 (10 Dec 2007 07:09:52 GMT) X-Complaints-To: news@news.belwue.de NNTP-Posting-Date: Mon, 10 Dec 2007 07:09:52 +0000 (UTC) In-Reply-To: Xref: g2news1.google.com comp.lang.ada:18844 Date: 2007-12-10T08:09:50+01:00 List-Id: > no need for a handler. Unfortunately, there's no Non_Zero subtype. I am afraid, a non-zero subtype would move the problem around, rather than solve it. The exception not raised by X/Y might then be raised before, when you compute Y:=A-B. On a second look, this might actually be useful better diagnostics. The exception is raised closer to the point where the faulty value (the zero Y) is created, rather than, perhaps, much later. So long -- Stefan Lucks (moved to Bauhaus-University Weimar, Germany) ------ I love the taste of Cryptanalysis in the morning! ------