From: Robert A Duff <bobduff@world.std.com>
Subject: Re: Questions:
Date: Thu, 8 Mar 2001 01:14:23 GMT
Date: 2001-03-08T01:14:23+00:00 [thread overview]
Message-ID: <wcclmqhhxjk.fsf@world.std.com> (raw)
In-Reply-To: Y8zp6.524529$U46.15710729@news1.sttls1.wa.home.com
"Mark Lundquist" <mark@rational.com> writes:
> But a *value* does not have a subtype! It has only a type!
That's true for elementary types (eg integers), but composite *values*
have a subtype. Eg, the string literal:
"Hello, world."
usually has subtype String(1..13).
- Bob
next prev parent reply other threads:[~2001-03-08 1:14 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-03-03 1:00 Questions: WM
2001-03-03 3:30 ` Questions: Robert Love
2001-03-03 11:09 ` Questions: David C. Hoos, Sr.
2001-03-07 23:05 ` Questions: Mark Lundquist
2001-03-08 1:14 ` Robert A Duff [this message]
2001-03-12 7:41 ` Types, subtypes and ranges Anders Wirzenius
2001-03-12 11:57 ` David C. Hoos, Sr.
2001-03-12 16:06 ` Tucker Taft
2001-03-13 6:40 ` Anders Wirzenius
2001-03-12 16:57 ` Scott Ingram
2001-03-18 22:28 ` Lao Xiao Hai
2001-03-19 13:22 ` Marc A. Criley
2001-03-20 16:57 ` Lao Xiao Hai
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox