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.1 required=5.0 tests=BAYES_20,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!rutgers!nike!ucbcad!ucbvax!MITRE-BEDFORD.ARPA!bhs
From: bhs@MITRE-BEDFORD.ARPA (Bev Sobelman)
Newsgroups: net.lang.ada
Subject: Re: variant records
Message-ID: <8611031417.AA28139@mitre-bedford.ARPA>
Date: Mon, 3-Nov-86 09:17:17 EST
Article-I.D.: mitre-be.8611031417.AA28139
Posted: Mon Nov  3 09:17:17 1986
Date-Received: Sun, 9-Nov-86 03:47:51 EST
References: <2886@rsch.WISC.EDU>
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The MITRE Corp., Bedford, MA
List-Id: <comp.lang.ada>


This may apply to your constraint error problem:

When you declare a rec variable, are you using the default discriminant 
and then reassigning the whole record, or are you overriding the
default when you declare the record variable?  Consider these:

      Rec_1 : rec (kind => B);     -- this is a constrained record

       --- VS ---

      Rec_2 : rec;                -- this is unconstrained with
          .                          default discrim. = A 
          .
          .
      Rec_2 := (kind => B);       -- now have discrim. = B, still
                                     unconstrained

I haven't looked at the whole thing carefully enough to know whether
this would make a difference at position 'Z', but I thought it was
worth mentioning.

Bev Sobelman
bhs@mitre-bedford.arpa