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: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!newsfeed0.kamp.net!newsfeed.kamp.net!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Ada 2012 Constraints (WRT an Ada IR)
Date: Wed, 30 Nov 2016 22:26:50 +0200
Organization: Tidorum Ltd
Message-ID: <ea8r0aFnr4kU1@mid.individual.net>
References: <c06ee4e6-d616-4e01-ba2e-cb111a81f6f6@googlegroups.com>
 <o1jdgk$tja$1@dont-email.me>
 <92ed75e9-baae-455c-9e34-53348dc6eaef@googlegroups.com>
 <o1kpbo$rni$1@gioia.aioe.org>
 <b777d7e3-4779-4566-b741-8617a9501fd0@googlegroups.com>
 <o1kqk9$tmk$1@gioia.aioe.org>
 <e5adb2c3-f526-4152-9ec9-6e4182e18825@googlegroups.com>
 <o1m2oi$g8l$1@gioia.aioe.org>
 <03847fd7-5699-48de-bb3c-ef5512398f26@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: individual.net ERq4IT9uy+zYIKuRC3zBjA1x3O6F2Z++D3PoEB4MQC8dd9Q86a
Cancel-Lock: sha1:3yA4NAIbsD7YH+bjI8hAeVgayZw=
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.8; rv:45.0)
 Gecko/20100101 Thunderbird/45.5.0
In-Reply-To: <03847fd7-5699-48de-bb3c-ef5512398f26@googlegroups.com>
Xref: news.eternal-september.org comp.lang.ada:32533
Date: 2016-11-30T22:26:50+02:00
List-Id: <comp.lang.ada>

On 16-11-30 20:28 , Shark8 wrote:

> In some sense, yes. -- By making the IR a mapping of Ada's concepts
> (such as defining a new type, or adding constraints thereon, [ie] the
> particular subject of this thread) in a general manner we can
> simplify some complexity of the Ada language insofar as
> [implementations of] tools and the back-end of compilers are
> concerned.
>
> But as a whole, no -- the IR is about (a) abstracting the concepts
> that underlay Ada, and (b) storing/transforming an Ada text-source in
> terms of those concepts.

Are you trying to revive DIANA 
(https://en.wikipedia.org/wiki/DIANA_(intermediate_language)) or replace 
the IR's used by ASIS implementations 
(https://en.wikipedia.org/wiki/Ada_Semantic_Interface_Specification)?

Or are those too close to the source-code level for you, and your IR 
would go deeper to some simpler, more uniform "theory of all Ada"?

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
       .      @       .