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,45a9122ddf5fcf5
X-Google-Attributes: gid103376,public
From: dewar@schonberg.cs.nyu.edu (Robert Dewar)
Subject: Re: Valid Attribute and Unchecked Conversion
Date: 1996/10/04
Message-ID: <dewar.844460201@schonberg>#1/1
X-Deja-AN: 187633910
references: <DyCF97.7zp@world.std.com>
 <mheaney-ya023180000110962027510001@news.ni.net> <Dynt6I.5D1@world.std.com>
 <DyqAKA.DJn@thomsoft.com> <Dyr7Dt.HqL@world.std.com>
organization: New York University
newsgroups: comp.lang.ada
Date: 1996-10-04T00:00:00+00:00
List-Id: <comp.lang.ada>


In article <DyqAKA.DJn@thomsoft.com>, Keith Thompson <kst@thomsoft.com> wrote:
>Are sparse enumeration types are really used all that much in real life?



In our experience they are used very extensively. Furthermore, we found that
we had to add the additional complexity of makeing sure that arrays indexed
by such types were compact (rather than mapped sparsely), since a couple of
large customers required this support.

Robert Dewar
Ada Core Technologies