From: Mace Ayres <mace.ayres@gmail.com>
Subject: Package ads/adb conformity
Date: Wed, 3 Jan 2018 14:23:30 -0800 (PST)
Date: 2018-01-03T14:23:30-08:00 [thread overview]
Message-ID: <402bff13-f508-4756-9abd-a4f5e2f5bfe0@googlegroups.com> (raw)
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 of not type conformant with declaration in grids.adb in the body grids.adb:
package grids is — grids.ads declaration/specification
type a_state is (Fixed,Variable,Undefined); -- states a cell can be in
subtype valid_nu…..
……
end grids:
----------------------------------------------------------------------------
package body grids is — 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;
…..
next reply other threads:[~2018-01-03 22:23 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-01-03 22:23 Mace Ayres [this message]
2018-01-03 22:44 ` Package ads/adb conformity Anh Vo
2018-01-04 3:26 ` Mace Ayres
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox