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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,73cb216d191f0fef
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
X-Received: by 10.180.189.209 with SMTP id gk17mr3082758wic.7.1366252853909;
        Wed, 17 Apr 2013 19:40:53 -0700 (PDT)
Path: 
 hg5ni15378wib.1!nntp.google.com!feeder1.cambriumusenet.nl!82.197.223.108.MISMATCH!feeder2.cambriumusenet.nl!feed.tweaknews.nl!85.12.40.130.MISMATCH!xlned.com!feeder1.xlned.com!border2.nntp.ams.giganews.com!border3.nntp.ams.giganews.com!border1.nntp.ams.giganews.com!nntp.giganews.com!news.nobody.at!rt.uk.eu.org!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Is this expected behavior or not
Date: Wed, 10 Apr 2013 09:37:05 +0200
Organization: cbb software GmbH
Message-ID: <dqljoxvn36my.xkv88psqukp9$.dlg@40tude.net>
References: <c988e09f-8532-4840-9749-b61aa39551b4@googlegroups.com>
 <1gnmajx2fdjju.1bo28xwmzt1nr.dlg@40tude.net> <kjd9ec$6lr$1@munin.nbi.dk>
 <3gv2jwc95otm.pl2aahsh9ox8.dlg@40tude.net> <kjfk1t$38n$1@munin.nbi.dk>
 <1gkxiwepaxvtt$.u3ly33rbwthf.dlg@40tude.net> <kjig2j$nof$1@munin.nbi.dk>
 <1fmcdkj58brky.bjedt0pr39cd$.dlg@40tude.net> <kjknuu$gc8$1@munin.nbi.dk>
 <1bj564vat3q1j$.1s4d00rlzx4ux$.dlg@40tude.net>
 <alpine.DEB.2.02.1304051405500.30208@debian>
 <4hzv51v872q2$.1imijbwd7heqm$.dlg@40tude.net>
 <alpine.DEB.2.02.1304051646450.31361@debian>
 <pgrgoxdhtshv$.z253qtbqarkc.dlg@40tude.net>
 <alpine.DEB.2.02.1304052103590.31746@debian>
 <dn4au2div7qm.2g8zj4erryhn$.dlg@40tude.net>
 <alpine.DEB.2.02.1304072012380.2487@debian>
 <1htu9idmcci7x.1vr9eafeivqah$.dlg@40tude.net>
 <alpine.DEB.2.02.1304080942050.3493@debian>
 <imfrovuxjjo6.6ebpr0pq5kgr.dlg@40tude.net> <kk25m5$tjq$1@munin.nbi.dk>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: FbOMkhMtVLVmu7IwBnt1tw.user.speranza.aioe.org
Mime-Version: 1.0
X-Complaints-To: abuse@aioe.org
User-Agent: 40tude_Dialog/2.0.15.1
X-Notice: Filtered by postfilter v. 0.8.2
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Date: 2013-04-10T09:37:05+02:00
List-Id: <comp.lang.ada>

On Tue, 9 Apr 2013 17:45:24 -0500, Randy Brukardt wrote:

> Stefan has it right (even if Ada doesn't): Universal integer is a 
> pseudo-type that only should have an existence to the compiler.

This is what happens when theories face reality. You are ready to declare
Ada design wrong in order to save the theory. (:-))

As an exercise compare how much of Ada design is wrong according to your
theory vs. mine?

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de