Article View: fr.comp.lang.ada
Article #54Re: Problème de compilation avec Spark sous Ubuntu 12.04
From: Jeffrey Carter
Date: Thu, 11 Oct 2012 15:19
Date: Thu, 11 Oct 2012 15:19
15 lines
2041 bytes
2041 bytes
On 10/11/2012 05:23 AM, J-P. Rosen wrote: > > 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). Non. Ceci est code SPARK; les access ne sont pas permis. Il faut utiliser un compiler Ada-95, ou changer d'utiliser un "extended return". -- Jeff Carter "I certainly have not the talent which some people possess, ... of conversing easily with those I have never seen before." Pride and Prejudice 121
Technical Details
Message-ID:
<k56o1o$aab$1@dont-email.me>Path:
arc1-ca.pugleaf.net!jt13ni4336pbb.1!nntp.google.com!news.glorb.com!feeder.erje.net!eternal-september.org!feeder.eternal-september.org!mx04.eternal-september.org!.POSTED!not-for-mailReferences:
<50769542$0$1975$426a34cc@news.free.fr> <k56do5$767$1@dont-email.me>Show Full Headers
Complete Article Headers
X-Google-Thread: 107e1d,52dac41c2c70e4bc
X-Google-NewGroupId: yes
X-Google-Attributes: gid43d0c745c,domainid0,public,usenet
X-Google-Language: FRENCH,UTF8
Received: by 10.68.211.233 with SMTP id nf9mr387239pbc.2.1349968762106;
Thu, 11 Oct 2012 08:19:22 -0700 (PDT)
Path: arc1-ca.pugleaf.net!jt13ni4336pbb.1!nntp.google.com!news.glorb.com!feeder.erje.net!eternal-september.org!feeder.eternal-september.org!mx04.eternal-september.org!.POSTED!not-for-mail
From: Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org>
Newsgroups: fr.comp.lang.ada
Subject: Re: Problème de compilation avec Spark sous Ubuntu 12.04
Date: Thu, 11 Oct 2012 08:19:19 -0700
Organization: Also freenews.netfront.net; news.tornevall.net
Lines: 15
Message-ID: <k56o1o$aab$1@dont-email.me>
References: <50769542$0$1975$426a34cc@news.free.fr> <k56do5$767$1@dont-email.me>
Mime-Version: 1.0
Injection-Date: Thu, 11 Oct 2012 15:19:21 +0000 (UTC)
Injection-Info: mx04.eternal-september.org; posting-host="c90e089bb12f916d4cef1340590eea0f";
logging-data="10571"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/jIP4hC6VKU3/8RK2rICxMsp/Fi1hRDn0="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:15.0) Gecko/20120912 Thunderbird/15.0.1
In-Reply-To: <k56do5$767$1@dont-email.me>
Cancel-Lock: sha1:9z2/fvY27UWQxQwE5lkyypaJRu0=
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit