Re: Free AMD Core Math Library (BLAS/LAPACK) + Ada

[Georg Bauhaus <rm.dash-bauhaus@futureapps.de>]

On 25.07.12 10:56, Ada novice wrote:
>  
>> How can you say that?
> 
> I was thinking that the -gnat2012 switch should do the trick. Or was this new for loop feature added much later?
> 
> So to what extent this -gnat2012 in GPL 2011 is effective?
> 
>> You can simply for now, change the above LOOP to use standard Ada loop
>> and not the new enhanced LOOP above, and all will be OK. Or use GNAT 2012
>> and leave the source as is.
> 
> If I modified the for construct to say:
> 
>         for x in b'Range loop  -- print solution
>              real_io.PUT (x'img); new_line;
>          end loop;
> 
> that doesn't work:
> 
> $ gnatmake -gnat2012 -I../ada mysolve2.adb
> gcc -c -gnat2012 -I../ada mysolve2.adb
> mysolve2.adb:40:21: no candidate interpretations match the actuals:
> mysolve2.adb:40:21: missing argument for parameter "Item" in call to "Put" declared at a-tiflio.ads:78, instance at line 11
> mysolve2.adb:40:21: missing argument for parameter "Item" in call to "Put" declared at a-tiflio.ads:60, instance at line 11
> mysolve2.adb:40:28: expected type "Interfaces.Fortran.Real"
> mysolve2.adb:40:28: found type "Standard.String"
> mysolve2.adb:40:28:   ==> in call to "Put" at a-tiflio.ads:67, instance at line 11
> gnatmake: "mysolve2.adb" compilation error
> 
> So how to properly output the x vector?

real_io is likely an instance for floating point types.
"x in b'range" means x is of the index type of the array.

'img is a non-Ada extension of GNAT for lazy writers,
intended to be used with pragma Debug. It's result is
of a string type, real_io.Put needs a floating point value.

"x of b" in terms of Ada 2012 means x is of the component
type of b, not of the index type of b. It is what real_io.Put
needs.


-- 
--
Georg Bauhaus
Y A Time Drain  http://www.9toX.de