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=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,8858d0601dfa850
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1995-03-14 06:02:21 PST
Newsgroups: comp.lang.ada
Path: 
 bga.com!news.sprintlink.net!hookup!solaris.cc.vt.edu!news.mathworks.com!uhog.mit.edu!news.mtholyoke.edu!world!bobduff
From: bobduff@world.std.com (Robert A Duff)
Subject: Re: ada.sequential_io problem
Message-ID: <D5FoAF.AxI@world.std.com>
Organization: The World Public Access UNIX, Brookline, MA
References: <3k3e12$2op@toads.pgh.pa.us>
Date: Tue, 14 Mar 1995 14:01:27 GMT
Date: 1995-03-14T14:01:27+00:00
List-Id: <comp.lang.ada>

In article <3k3e12$2op@toads.pgh.pa.us>,
Tore Joergensen <tore@lis.pitt.edu> wrote:
>What is wrong???

Sounds like a compiler bug.

First of all, Sequential_IO allows both definite and indefinite subtypes
-- that's what the (<>) means.

Furthermore, all elementary subtypes, including modular ones, are
definite.  It's only composite subtypes that can be indefinite.

>I tried to define:
>  package bio is new ada.sequential_io(unsigned_8);
>
>Unsigned_8 is defined in the package interfaces as:
>  type unsigned_8 is mod 2 ** 8;
>  for unsigned_8'size use 8;
>
>When I try to compile (gnat 2.03 for OS/2), I get:
>  f:\EMX\GNATLIB\a-sequio.adb:33:59: actual for "Element_Type"
>    must be a definite subtype

- Bob