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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.uzoreto.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Bill Findlay <findlaybill@blueyonder.co.uk>
Newsgroups: comp.lang.ada
Subject: Re: ANN: GCC 10.1.0 for macOS
Date: Sat, 16 May 2020 16:12:54 +0100
Organization: none
Message-ID: <0001HW.24703A76026BCAD0700008FE338F@news.individual.net>
References: <lyd0749hde.fsf@pushface.org>
Reply-To: findlaybill@blueyonder.co.uk
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Trace: individual.net kLUrGub9WYgtq97jNjwDKAI5oGZjhP8/XclDYVmCoEZUSy1BRi
X-Orig-Path: not-for-mail
Cancel-Lock: sha1:BlxLfUBVdNyuZy6fk63dJXjl0Eo=
User-Agent: Hogwasher/5.24
Xref: reader01.eternal-september.org comp.lang.ada:58706
Date: 2020-05-16T16:12:54+01:00
List-Id: <comp.lang.ada>

On 16 May 2020, Simon Wright wrote
(in article <lyd0749hde.fsf@pushface.org>):

> Native and cross-arm-eabi compilers now available at
> https://sourceforge.net/projects/gnuada/files/GNAT_GCC%20Mac%20OS%20X/10.1.0/

Hi Simon.
Many thanks for that.

After battling GateKeeper, I get the error:

> ==============Error messages for source file: ../Source/magtape_data.ads 28.
> with Static_Predicate =>  slice_size_limit <= 255;
> | >>>  aspect specifications not allowed here

in the file:

package magtape_data is

-- 
-- slice_size_limit is set so that the slice size field fits into 1 byte,
-- thus avoiding endian-ness and portability issues.
-- 

slice_size_limit : constant := 128
with Static_Predicate =>  slice_size_limit <= 255; --<<<<<  HERE

max_MT_record_length : constant := slice_size_limit + 3;

subtype LBM_markers is Character
with Static_Predicate =>  LBM_markers in '@' | 'A' | 'H' | 'I';

-- 
-- These subtypes are used in the post-processing of OUT 8 spool tapes.
-- 

subtype OUT8_selection_characters is Character
with Static_Predicate =>  OUT8_selection_characters in '#' | '_' | '@' | '"';

end magtape_data;

This compiles with GNAT CE 2019.
Looking at it again, I wonder whether predicates *are* allowed for constants?

Apart from that, and some new warnings about fields being named in
a different order between a record declaration and its rep. spec.,
my ~25K SLOC KDF9 emulator compiles and passes its regression tests.

-- 
Bill Findlay