From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Not null feature with anonymous and named access types
Date: Mon, 19 Jun 2006 18:17:05 -0500
Date: 2006-06-19T18:17:05-05:00 [thread overview]
Message-ID: <L6adnQKE7OLerQrZnZ2dnUVZ_oOdnZ2d@megapath.net> (raw)
In-Reply-To: wccejxng8rn.fsf@shell01.TheWorld.com
"Robert A Duff" <bobduff@shell01.TheWorld.com> wrote in message
news:wccejxng8rn.fsf@shell01.TheWorld.com...
> "Randy Brukardt" <randy@rrsoftware.com> writes:
>
> > This is doubly wrong: "not null" is *not* a constraint ...
>
> True, but does anybody besides a language lawyer need to care?
Only if they remember that you can't doubly constrain a type; "not null" is
independent of that.
In any case, my primary point as that "not null" has to match on generic
instantiation.
Randy.
next prev parent reply other threads:[~2006-06-19 23:17 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-06-12 20:33 Not null feature with anonymous and named access types Anh Vo
2006-06-12 21:26 ` Björn Persson
2006-06-12 23:13 ` Anh Vo
2006-06-13 7:53 ` Dmitry A. Kazakov
2006-06-13 15:27 ` Anh Vo
2006-06-14 15:13 ` Alex R. Mosteo
2006-06-14 15:37 ` Anh Vo
2006-06-14 17:00 ` Dmitry A. Kazakov
2006-06-15 3:48 ` Anh Vo
2006-06-15 8:21 ` Dmitry A. Kazakov
2006-06-17 1:21 ` Randy Brukardt
2006-06-17 8:24 ` Dmitry A. Kazakov
2006-06-17 14:24 ` Robert A Duff
2006-06-19 23:17 ` Randy Brukardt [this message]
2006-06-15 10:50 ` Alex R. Mosteo
2006-06-17 1:16 ` Randy Brukardt
2006-06-17 14:25 ` Robert A Duff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox