🚀 go-pugleaf

Le 11/10/2012 11:45, Frédéric Praca a écrit :
> Bonjour à tous,
> après avoir installé via les packages Spark (2011.0.deb-5) et Gnat 
> (4.6ubuntu1) de ma distribution Ubuntu 12.04, j'ai voulu compiler 
> IronSides (http://ironsides.martincarlisle.com/ ).
> Et là, à ma grande surprise, j'obtiens le message d'erreur suivant :
> 
> gcc-4.6 -c -I./ -O3 -gnatp -I/usr/lib/spark/ -I/usr/lib/spark/current -
> I- /usr/lib/spark/current/spark-ada-text_io-not_spark.adb
> spark-ada-text_io-not_spark.adb:107:18: (Ada 2005) cannot copy object of 
> a limited type (RM-2005 6.5(5.5/2))
> spark-ada-text_io-not_spark.adb:107:18: consider switching to return of 
> access type
> gnatmake: "/usr/lib/spark/current/spark-ada-text_io-not_spark.adb" 
> compilation error
> 
> Comme je sais que certains ont déjà joué avec Spark, je voulais savoir si 
> quelqu'un avait déjà vu cette erreur et comment il l'avait résolue.
> 
Rien à voir avec Spark, c'est LA grosse incompatibilité entre 95 et
2005: on pouvait avant faire un return d'un type limité, ce qui avait
oblité Ada 95 à inventer la notion  un peu tordue de "return by
reference". En Ada 2005, on dit la vérité, à savoir que comme on ne peut
pas copier un objet limité, il faut renvoyer une référence.

Donc (comme indiqué dans le message, mais ce n'est pas évident si on ne
connait pas le truc), il faut remplacer le type T renvoyé par la
fonction par un access T (+ les quelques modifs qui s'ensuivent).
-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr