From: "Jeffrey R. Carter" <spam.not.jrcarter@acm.not.spam.org>
Subject: Re: subtypes and preconditions
Date: Wed, 22 Mar 2006 01:54:59 GMT
Date: 2006-03-22T01:54:59+00:00 [thread overview]
Message-ID: <T72Uf.42992$oL.8083@attbi_s71> (raw)
In-Reply-To: <44204d2a$0$7753$9b4e6d93@newsread4.arcor-online.net>
Georg Bauhaus wrote:
>
> _And_ you have to assume that Natural has not been redefined.
> Redifining 0 is a lot more difficult :-)
You have to assume that Integer has not been redefined, too.
--
Jeff Carter
"You empty-headed animal-food-trough wiper."
Monty Python & the Holy Grail
04
prev parent reply other threads:[~2006-03-22 1:54 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-03-20 13:31 subtype of enumeration type Maciej Sobczak
2006-03-20 14:26 ` Larry Kilgallen
2006-03-20 15:18 ` Maciej Sobczak
2006-03-20 15:37 ` Robert A Duff
2006-03-20 20:29 ` Björn Persson
2006-03-20 21:41 ` Jeffrey R. Carter
2006-03-21 8:37 ` subtypes and preconditions (was: subtype of enumeration type) Peter Amey
2006-03-21 17:42 ` subtypes and preconditions Jeffrey R. Carter
2006-03-21 19:00 ` Georg Bauhaus
2006-03-22 1:54 ` Jeffrey R. Carter [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox