From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-return-62088-listarch-gcc=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 9249 invoked by alias); 22 Oct 2002 03:42:57 -0000
Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc/>
List-Post: <mailto:gcc@gcc.gnu.org>
List-Help: <http://gcc.gnu.org/ml/>
Sender: gcc-owner@gcc.gnu.org
Received: (qmail 9231 invoked from network); 22 Oct 2002 03:42:57 -0000
Received: from unknown (HELO nile.gnat.com) (205.232.38.5)
  by sources.redhat.com with SMTP; 22 Oct 2002 03:42:57 -0000
Received: by nile.gnat.com (Postfix, from userid 338)
	id 4EE31F2D5D; Mon, 21 Oct 2002 23:42:56 -0400 (EDT)
To: fjh@cs.mu.OZ.AU, gcc@gcc.gnu.org, lucier@math.purdue.edu,
	rth@redhat.com
Subject: Re: real.c implementation
Message-Id: <20021022034256.4EE31F2D5D@nile.gnat.com>
Date: Tue, 22 Oct 2002 03:14:00 -0000
From: dewar@gnat.com (Robert Dewar)
X-SW-Source: 2002-10/txt/msg01312.txt.bz2

> Deterministic results are a requirement for the Mercury compiler to
> conform to the Mercury language specification.  I think that requires
> exact conversion.

The same is true of course for Ada, but what we do in Ada is have the
front end take care of everything, we do not trust the back end of GCC
or the assembler to do conversions correctly.

I am surprised that the Mercury compiler does not take the same approach.