From: Keith Thompson <kst-u@mib.org>
Subject: Re: Why is this not legal
Date: Thu, 01 Oct 2009 13:54:24 -0700
Date: 2009-10-01T13:54:24-07:00 [thread overview]
Message-ID: <ln63ayomwv.fsf@nuthaus.mib.org> (raw)
In-Reply-To: 303d304d-8ff1-4d46-af76-88fafeec7e46@b2g2000yqi.googlegroups.com
Adam Beneschan <adam@irvine.com> writes:
[...]
> TYPE declarations always create a new type. SUBTYPE declarations will
> declare an identifier that refers to the same *type*, but puts
> additional constraints on it.
[...]
Small correction: a subtype declaration may or may not add additional
constraints. For example:
subtype My_String is String;
--
Keith Thompson (The_Other_Keith) kst-u@mib.org <http://www.ghoti.net/~kst>
Nokia
"We must do something. This is something. Therefore, we must do this."
-- Antony Jay and Jonathan Lynn, "Yes Minister"
next prev parent reply other threads:[~2009-10-01 20:54 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-09-29 0:11 Why is this not legal Rob Solomon
2009-09-29 0:23 ` Adam Beneschan
2009-09-29 2:06 ` Rob Solomon
2009-10-01 20:54 ` Keith Thompson [this message]
2009-09-30 8:39 ` Martin Krischik
2009-09-30 5:10 ` stefan-lucks
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox