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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,270d47706116d3c
X-Google-Attributes: gid103376,public
From: bobduff@world.std.com (Robert A Duff)
Subject: Re: Can compilers do this?
Date: 1996/02/24
Message-ID: <Dn99FB.Dn@world.std.com>#1/1
X-Deja-AN: 140859796
references: <4gjd6g$mfq@newsbf02.news.aol.com> <4gl344$q4j@wdl1.wdl.loral.com>
organization: The World Public Access UNIX, Brookline, MA
newsgroups: comp.lang.ada
Date: 1996-02-24T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <4gl344$q4j@wdl1.wdl.loral.com>,
Mark A Biggar <mab@dst17.wdl.loral.com> wrote:
>My guess is that on that machine signed zeros exist and that -0.0 < 0.0
>and that -0.0 * 0.0 => 0.0, thus the above gives the right answer when
>given a -0.0.

Ada 83 doesn't say anything about signed zeros.

Ada 95 does, and it says that if the machine has signed zeros, then
minus zero is equal to plus zero, according to the predefined "="
operator.

- Bob