From: Anh Vo <anhvofrcaus@gmail.com>
Subject: Subtype predicates
Date: Tue, 23 Aug 2016 13:14:29 -0700 (PDT)
Date: 2016-08-23T13:14:29-07:00 [thread overview]
Message-ID: <adfbe98c-ab98-4361-af42-89617f192096@googlegroups.com> (raw)
The following type definition is rejected by GNAT-GPL-2016 with error message 'prefix of "First" attribute cannot be the current instance of a scalar type'.
type Human_Life_Span_Type is range 0 .. 130
with Default_Value => Human_Life_Span_Type'First;
Is it a legit syntax error based on 3.2.4 26/3 of LRM?
Anh Vo
next reply other threads:[~2016-08-23 20:14 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-08-23 20:14 Anh Vo [this message]
2016-08-24 13:06 ` Subtype predicates AdaMagica
2016-08-24 16:45 ` Shark8
2016-08-24 21:18 ` Anh Vo
2016-08-24 21:32 ` Shark8
2016-08-24 21:54 ` Jeffrey R. Carter
2016-08-25 0:08 ` Shark8
2016-08-25 0:31 ` Jeffrey R. Carter
2016-08-25 17:28 ` Anh Vo
2016-08-31 18:16 ` Randy Brukardt
2016-09-01 8:09 ` J-P. Rosen
2016-09-01 20:02 ` Randy Brukardt
2016-09-01 20:16 ` Shark8
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox