comp.lang.ada
 help / color / mirror / Atom feed
From: Shark8 <onewingedshark@gmail.com>
Subject: Re: Making guarantees about record components
Date: Tue, 19 Nov 2013 15:38:37 -0800 (PST)
Date: 2013-11-19T15:38:37-08:00	[thread overview]
Message-ID: <04190f1b-34fb-4681-91c3-5a123917e70c@googlegroups.com> (raw)
In-Reply-To: <l6gbro$1oc$1@loke.gir.dk>

At the very least M ought to be constant.


  parent reply	other threads:[~2013-11-19 23:38 UTC|newest]

Thread overview: 10+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-11-19 18:49 Making guarantees about record components J Kimball
2013-11-19 20:20 ` Anh Vo
2013-11-19 22:57 ` Jeffrey Carter
2013-11-20  9:36   ` Stephen Leake
2013-11-20 17:37     ` Jeffrey Carter
2013-11-21  6:53       ` Stephen Leake
2013-11-20 20:58   ` tmoran
2013-11-19 23:38 ` Shark8 [this message]
2013-11-20  8:01   ` Dmitry A. Kazakov
2013-11-22  5:46 ` J Kimball
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox