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,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.36.179.69 with SMTP id z5mr2171267iti.52.1515018210804;
        Wed, 03 Jan 2018 14:23:30 -0800 (PST)
X-Received: by 10.157.63.253 with SMTP id i58mr155357ote.11.1515018210583;
 Wed, 03 Jan 2018 14:23:30 -0800 (PST)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!feeder.erje.net!1.eu.feeder.erje.net!news.roellig-ltd.de!open-news-network.org!peer01.am4!peer.am4.highwinds-media.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!g80no396160itg.0!news-out.google.com!s63ni722itb.0!nntp.google.com!i6no398080itb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 3 Jan 2018 14:23:30 -0800 (PST)
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=2601:645:c001:2a91:1ce4:4752:bad1:b28c;
 posting-account=fxr6CwoAAABjARAbZ01okNaxDpxQT8RH
NNTP-Posting-Host: 2601:645:c001:2a91:1ce4:4752:bad1:b28c
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <402bff13-f508-4756-9abd-a4f5e2f5bfe0@googlegroups.com>
Subject: Package  ads/adb conformity
From: Mace Ayres <mace.ayres@gmail.com>
Injection-Date: Wed, 03 Jan 2018 22:23:30 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Body-CRC: 268382521
X-Received-Bytes: 2351
Xref: reader02.eternal-september.org comp.lang.ada:49741
Date: 2018-01-03T14:23:30-08:00
List-Id: <comp.lang.ada>

I have a package named 'grids.' To my eyes the declaration in the grids.ads=
 for a type a_state (enumeration..)
seems identical with the body's type a_state. But, the compiler complains o=
f not type conformant with declaration in grids.adb in the body grids.adb:

package grids is                                                =E2=80=94 g=
rids.ads declaration/specification=20

type a_state is (Fixed,Variable,Undefined);     -- states a cell can be in

subtype   valid_nu=E2=80=A6..

=E2=80=A6=E2=80=A6
end grids:


---------------------------------------------------------------------------=
-
package body grids is   =E2=80=94 grids body

type a_state is (Fixed,Variable,Undefined);

type cell is
      record                                 -- define cell class tyoes
         id:       integer range 1..1000;
         val:      integer range 0..9;
         layer:    integer range 1..10;
         row:      integer range 1..9;
         col:      integer range 1..9;
         cube:     integer range 1..9;
         state:    a_state;
     end record;

=E2=80=A6..