From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 border1.nntp.dca3.giganews.com!backlog3.nntp.dca3.giganews.com!border3.nntp.dca.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!goblin2!goblin.stu.neva.ru!reality.xs3.de!news.jacob-sparre.dk!loke.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: J Kimball <nntp@kmbll.com>
Newsgroups: comp.lang.ada
Subject: Making guarantees about record components
Date: Tue, 19 Nov 2013 12:49:26 -0600
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <l6gbro$1oc$1@loke.gir.dk>
NNTP-Posting-Host: wsip-70-184-216-59.om.om.cox.net
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
X-Trace: loke.gir.dk 1384886968 1804 70.184.216.59 (19 Nov 2013 18:49:28 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Tue, 19 Nov 2013 18:49:28 +0000 (UTC)
User-Agent: Mozilla/5.0 (X11; Linux x86_64;
 rv:25.0) Gecko/20100101 Thunderbird/25.0
X-Original-Bytes: 1223
Xref: number.nntp.dca.giganews.com comp.lang.ada:183935
Date: 2013-11-19T12:49:26-06:00
List-Id: <comp.lang.ada>

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