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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,177ff20edf7f64cf
X-Google-Attributes: gid103376,public
From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: Unconstrained array aggregation..sq. peg into round hole?
Date: 1996/03/25
Message-ID: <dewar.827807856@schonberg>#1/1
X-Deja-AN: 144312094
references: <4ihrvo$hs5@dfw.dfw.net> <EACHUS.96Mar19201632@spectre.mitre.org>
 	<DoJqI0.51n@world.std.com> <EACHUS.96Mar21185700@spectre.mitre.org>
 	<dewar.827504035@schonberg> <EACHUS.96Mar25142138@spectre.mitre.org>
organization: Courant Institute of Mathematical Sciences
newsgroups: comp.lang.ada
Date: 1996-03-25T00:00:00+00:00
List-Id: <comp.lang.ada>

"   Exactly.  Allowing objects of record types with discriminants that
have defaults requires exactly the same thing.  I think I confused
Robert Dewar slightly.  The sucrose overload is in creating a variable
string type with a hidden discriminant--where Alsys and others handle
the allocations just fine--so that the top level type has no
discriminants and can appear in an array."

Alsys does not handle the allocatoins just fine, it works only at the
outer level, and is not composable. Th alternatie would be to create
non-contiguous types, which are a real mess.