GNAT 2.00 - What "ambiguous expression"

GNAT 2.00 - What "ambiguous expression"

[Paul H. Whittington]

When I compile the program in file "testse.adb" with GNAT 2.00 using GCC 2.6.2
under Windows NT 3.5 Workstation I get the compiler execution results shown.

What is going on here?
Why is anything in package Unsign visible in package System.Storage_Elements?


Compiler Execution Results:
---------------------------
D:\a\gnat\sage>gcc -c -v test/testse.adb
Reading specs from \gnat200\lib\gcc-lib\i586-ibm-winnt3.5\2.6.2\specs
gcc version 2.6.2
\gnat200\lib\gcc-lib\i586-ibm-winnt3.5\2.6.2\gnat1.exe -quiet -dumpbase testse.ada test/testse.adb -o C:\temp\cc000137.s
\gnat200\adainclude/s-stoele.ads:24:06: ambiguous expression (cannot resolve ""-"")
\gnat200\adainclude/s-stoele.ads:24:06: possible interpretation at unsign.ads:11
\gnat200\adainclude/s-stoele.ads:24:06: possible interpretation at unsign.ads:8
compilation abandoned
gcc: Internal compiler error: program gnat1 got fatal signal 1


File: testse.adb
----------------
01:  with Unsign; use Unsign;
02:
03:  procedure TestSE is
04:     lf  : character := ascii.lf;
05:     str : string    := "Help" & lf;
06:  begin
07:    null;
08:  end TestSE;


File: Unsign.ads
----------------
01:  with Interfaces;
02:
03:  package Unsign is
04:
05:  subtype byte  is Interfaces.Unsigned_8;
06:  subtype word  is Interfaces.Unsigned_16;
07:
08:  function "-"   (Right : byte) return byte
09:    renames Interfaces."-";
10:
11:  function "-"   (Right : word) return word
12:    renames Interfaces."-";
13:
14:  end Unsign;


File: s-stoele.ads (first few lines)
------------------------------------
23:     type Storage_Offset is range
24:       -(2 ** (Standard'Address_Size - 1)) ..
25:       +(2 ** (Standard'Address_Size - 1)) - 1;

Re: GNAT 2.00 - What "ambiguous expression"

[Robert Dewar]

Paul, please send GNAT trouble reports to gnat-report@cs.nyu.edu as
requested in the documentation.

(again, posted in the apparently futile hope that everyone reading this
 group will eventually come to know this :-)

Re: GNAT 2.00 - What

[Paul H. Whittington]

dewar@cs.nyu.edu (Robert Dewar) wrote:
>
> Paul, please send GNAT trouble reports to gnat-report@cs.nyu.edu
> ...

I wasn't sure if it was a GNAT problem or a Paul problem with Ada95!

I suppose from your response that you think it is a GNAT problem.

Sorry.  I will post it to gnat-report@cs.nyu.edu.

TTFN <;-|)