This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]

Re: More on type sizes


kenner@vlsi1.ultra.nyu.edu (Richard Kenner) writes:

> It's interesting that Chill allows that.  In Ada (and I though Chill
> and Ada had some common heritage), the bounds of *any* array, whether
> empty or not, much be values in the index type.

By definition, the bounds of an empty array cannot be in the index
type - *if* you define index type as the type the indexes can range over.

> Can you say more about the typing rules of Chill in this area?

They are somewhat unusual, and I'm rather rusty on them, so I'd
rather pass.  (I don't have time to re-"grok" the spec.)
--
	--Per Bothner
per@bothner.com   http://www.bothner.com/~per/

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]