From: J Kimball <nntp@kmbll.com>
Subject: Making guarantees about record components
Date: Tue, 19 Nov 2013 12:49:26 -0600
Date: 2013-11-19T12:49:26-06:00 [thread overview]
Message-ID: <l6gbro$1oc$1@loke.gir.dk> (raw)
Hello
I'm trying to guarantee that two record component values map to the same
value of another type.
type A is (...);
type C is (...);
M : array (A) of C := (...);
type R is record
A1 : A;
A2 : A;
end record
with Dynamic_Predicate => (M (R.A1) = M (R.A2) );
Is this the best solution we have as of Ada 2012?
Regards
next reply other threads:[~2013-11-19 18:49 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-11-19 18:49 J Kimball [this message]
2013-11-19 20:20 ` Making guarantees about record components 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
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