From: Mario Amado Alves <maa@di.fct.unl.pt>
To: comp.lang.ada@ada.eu.org
Subject: Re: [Ada-Comment] Extensible Enumerated Types
Date: Thu, 15 Feb 2001 10:13:15 +0000 (WET)
Date: 2001-02-15T10:13:15+00:00 [thread overview]
Message-ID: <mailman.982231753.2811.comp.lang.ada@ada.eu.org> (raw)
In-Reply-To: <3A8A70EC.27658CC9@earthlink.net>
A provisional implementation is to make
type T is {A, B, C};
type Extended_T is new T with {X, Y, Z};
merely syntactic sugar for
type T is {A, B, C}
type Extended_T is {A, B, C, X, Y, Z};
Of course there is no proper derivation here. Nevertheless it seems like a
useful construct. I often miss it.
| |,| | | |RuaFranciscoTaborda24RcD 2815-249CharnecaCaparica 351+939354005
|M|A|R|I|O|
|A|M|A|D|O|DepartmentoDeInformaticaFCT/UNL 2825-114 Caparica 351+212958536
|A|L|V|E|S| fax 212948541
| | | | | | maa@di.fct.unl.pt FCT 212948300
next prev parent reply other threads:[~2001-02-15 10:13 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <002301c0960d$23ecb2f0$01a2a8c0@carpaccio>
2001-02-14 2:55 ` [Ada-Comment] Extensible Enumerated Types Robert C. Leif, Ph.D.
2001-02-14 12:49 ` Marc A. Criley
2001-02-15 10:13 ` Mario Amado Alves [this message]
[not found] <006c01c096af$a722e8e0$0304a8c0@bigboy.rrsoftware.com>
2001-02-14 21:34 ` Robert C. Leif, Ph.D.
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox