From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 border1.nntp.dca3.giganews.com!backlog4.nntp.dca3.giganews.com!border4.nntp.dca.giganews.com!border3.nntp.dca.giganews.com!Xl.tags.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local2.nntp.dca.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Wed, 19 Mar 2014 18:24:14 -0500
Date: Wed, 19 Mar 2014 19:24:13 -0400
From: Peter Chapin <PChapin@vtc.vsc.edu>
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64;
 rv:24.0) Gecko/20100101 Thunderbird/24.4.0
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Augusta: An open source Ada 2012 compiler (someday?)
References: <zpudnYzhb9cIB7TO4p2dnAA@giganews.com>
 <mopWu.87082$fr7.34510@fx20.fr7>
In-Reply-To: <mopWu.87082$fr7.34510@fx20.fr7>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
Message-ID: <2_2dnSTeev2DurfO4p2dnAA@giganews.com>
X-Usenet-Provider: http://www.giganews.com
X-Trace: 
 sv3-2P3i/lQrNiwpAMPdOg788KBXsFHmE3JRPwPPUt84J9jaBebU6VzVyrP/l0LwkfgaefUVLJKjgjyJvt3!dPPvY7aKD/fe/Piee4pVIuP6H4y+6jw3rsS/rL00peiP2Wx4PTS4PEgzjJDcsZo=
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint
 properly
X-Postfilter: 1.3.40
X-Original-Bytes: 2476
Xref: number.nntp.dca.giganews.com comp.lang.ada:185211
Date: 2014-03-19T19:24:13-04:00
List-Id: <comp.lang.ada>

On 2014-03-19 19:04, Brian Drummond wrote:

> LLVM appears to have problems supporting nested (locally declared) 
> subprograms. This appears to be behind slow progress on the Dragonlace 
> project, to use Gnat as an LLVM front end.

Thanks for the heads up... I'll have to keep that in mind. One advantage
of having a project that is 99% talk and only 1% action is that I'm not
deeply committed to a particular back-end technology yet. I do know that
I don't want to deal with all the low level code generation stuff, however.

> Tristan Gingold has recently added an experimental LLVM interface to GHDL 
> (a VHDL compiler; I strongly believe Ada and VHDL users should talk to 
> each other more than they do!) and he also ran into this.

I tend to agree about the VHDL/Ada connection.

> As VHDL makes heavy use of parallel processes, he indicated he would re-
> use his implementation of processes- essentially closures - to support 
> local subprograms. I don't know the details of how he does this.

Scala supports nested functions on the JVM. It does this, I believe, by
creating closures in some way. I'm not sure of the details right now but
it sounds like a technique that is "well known" in some circles.

Peter