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,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.237.32.228 with SMTP id 91mr41958083qtb.22.1473297616455;
        Wed, 07 Sep 2016 18:20:16 -0700 (PDT)
X-Received: by 10.157.38.178 with SMTP id l47mr3628017otb.13.1473297616420;
 Wed, 07 Sep 2016 18:20:16 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.glorb.com!m9no1622578qte.0!news-out.google.com!b4ni12172iti.0!nntp.google.com!i184no1717023itf.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 7 Sep 2016 18:20:16 -0700 (PDT)
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=2601:18f:900:8350:2c79:7a18:b59:79d9;
 posting-account=3pYsyQoAAACcI-ym7XtMOI2PDU8gRZS5
NNTP-Posting-Host: 2601:18f:900:8350:2c79:7a18:b59:79d9
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <09169c05-5c31-40a6-8523-89aab3bca72e@googlegroups.com>
Subject: What is an indefinite type and is there an example of it?
From: Andrew Shvets <andrew.shvets@gmail.com>
Injection-Date: Thu, 08 Sep 2016 01:20:16 +0000
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Xref: news.eternal-september.org comp.lang.ada:31725
Date: 2016-09-07T18:20:16-07:00
List-Id: <comp.lang.ada>

Hello,

I'm trying to figure out what an indefinite type is.  Ada Distilled doesn't=
 even have the string "indefinite" in the entire document.  The Ada wikiboo=
k seems to say that it's a type of that does not have its range defined... =
ok, so does that make it an array that doesn't have it range defined at com=
pile-time?  Is there more to this that I'm missing?

Also, I'm trying -- and not succeeding -- to make a minimum example of how =
to do this in Ada.  This is what I have so far and the compiler complains t=
hat there is no range defined.  My example could use some serious work.

with Ada.Text_IO;

procedure Indefinite_Type is
  type Unknown (<>) is ...;
  Integer : Unknown :=3D 0;
begin
  null;
end Indefinite_Type;


Thank you in advance.