From: Shark8 <onewingedshark@gmail.com>
Subject: Re: Copy vector in Ada
Date: Mon, 5 Nov 2012 15:45:21 -0800 (PST)
Date: 2012-11-05T15:45:21-08:00 [thread overview]
Message-ID: <c308358c-e5bf-4bc1-a944-804499f26d13@googlegroups.com> (raw)
In-Reply-To: <op.wnbkvsd6ule2fv@cardamome>
On Monday, November 5, 2012 2:34:40 PM UTC-7, Hibou57 (Yannick Duchêne) wrote:
>
> a derivation hierarchy. That's like a subtype, not a type as a member of a
> class (a subtype of Integer is not a member of a fictitious Integer class).
But it is, isn't it?
Universal_Integer ⊃ Integer ⊃ Positive.
Therefore, Universal_Integer ⊃ Positive.
Universal integers are a fictitious class of integers and Positive is a subtype of Integer.
next prev parent reply other threads:[~2012-11-05 23:45 UTC|newest]
Thread overview: 46+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-10-31 16:26 Copy vector in Ada katolsster
2012-10-31 16:37 ` Jeffrey Carter
2012-11-02 11:10 ` katarina.l.olsson
2012-11-02 11:19 ` Yannick Duchêne (Hibou57)
2012-11-02 22:03 ` Maciej Sobczak
2012-11-02 23:45 ` Yannick Duchêne (Hibou57)
2012-11-03 0:15 ` Zhu, Qun-Ying
2012-11-03 3:47 ` Peter C. Chapin
2012-11-03 15:47 ` Yannick Duchêne (Hibou57)
2012-11-03 14:34 ` Maciej Sobczak
2012-11-03 15:54 ` Yannick Duchêne (Hibou57)
2012-11-03 16:03 ` Yannick Duchêne (Hibou57)
2012-11-03 21:57 ` Maciej Sobczak
2012-11-04 7:25 ` Dmitry A. Kazakov
2012-11-04 20:49 ` Maciej Sobczak
2012-11-05 8:31 ` Dmitry A. Kazakov
2012-11-05 8:50 ` Maciej Sobczak
2012-11-05 9:20 ` Dmitry A. Kazakov
2012-11-05 17:22 ` Yannick Duchêne (Hibou57)
2012-11-05 18:42 ` Dmitry A. Kazakov
2012-11-05 20:18 ` Yannick Duchêne (Hibou57)
2012-11-05 20:33 ` Dmitry A. Kazakov
2012-11-05 21:34 ` Yannick Duchêne (Hibou57)
2012-11-05 23:45 ` Shark8 [this message]
2012-11-05 23:58 ` Hibou57 (Yannick Duchêne)
2012-11-06 2:17 ` Yannick Duchêne (Hibou57)
2012-11-06 7:28 ` Types vs Subtypes (was: Re: Copy vector in Ada) Simon Wright
2012-11-06 11:33 ` Copy vector in Ada Georg Bauhaus
2012-11-06 19:47 ` Yannick Duchêne (Hibou57)
2012-11-06 19:53 ` Yannick Duchêne (Hibou57)
2012-11-07 12:03 ` Georg Bauhaus
2012-11-07 13:09 ` Dmitry A. Kazakov
2012-11-07 16:17 ` Yannick Duchêne (Hibou57)
2012-11-07 16:11 ` Yannick Duchêne (Hibou57)
2012-11-07 18:06 ` Georg Bauhaus
2012-11-07 20:04 ` Dmitry A. Kazakov
2012-11-07 21:00 ` Yannick Duchêne (Hibou57)
2012-11-08 8:31 ` Dmitry A. Kazakov
2012-11-08 9:58 ` Georg Bauhaus
2012-11-08 14:28 ` Dmitry A. Kazakov
2012-11-05 16:30 ` Yannick Duchêne (Hibou57)
2012-11-02 14:10 ` Georg Bauhaus
2012-11-02 15:28 ` Shark8
2012-11-09 6:22 ` Randy Brukardt
2012-11-19 22:37 ` Katarina Olsson
2012-11-19 22:39 ` Katarina Olsson
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox