comp.lang.ada
 help / color / mirror / Atom feed
From: Christoph Grein <christoph.grein@eurocopter.de>
To: comp.lang.ada@ada.eu.org
Subject: Re: very specific question on Ada syntax
Date: Thu, 1 Feb 2001 06:52:03 +0100 (MET)
Date: 2001-02-01T06:52:03+01:00	[thread overview]
Message-ID: <mailman.981007013.11542.comp.lang.ada@ada.eu.org> (raw)

Florian Weimer wrote:

> A character literal is a prefix, taking attributes is allowed.  In
> contrast, a string literal is not a prefix, see RM 4.1(2) and 4.1.4.

Compiling the following with Gnat 3.13p gives:


package P is

  type  T  is ('a', None, 'Z');
  type F_T is access function return T;

  X: F_T := 'a''Access;
  Y: F_T := None'Access;

end P;

     6.   X: F_T := 'a''Access;
                    |
        >>> prefix of "Access" attribute must be aliased

Is this then a bug?





             reply	other threads:[~2001-02-01  5:52 UTC|newest]

Thread overview: 48+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2001-02-01  5:52 Christoph Grein [this message]
2001-02-01  6:25 ` very specific question on Ada syntax Robert Dewar
2001-02-01  9:21   ` Keith Thompson
  -- strict thread matches above, loose matches on Subject: below --
2001-02-02  5:53 Christoph Grein
2001-02-01 11:10 Christoph Grein
2001-02-01 17:58 ` Robert Dewar
2001-02-01  7:14 Christoph Grein
2001-01-31  5:01 Christoph Grein
2001-01-31  6:02 ` Robert Dewar
     [not found] <B6A1A9B09E52D31183ED00A0C9E0888C4699C9@nctswashxchg.nctswash.navy.mil>
     [not found] ` <mailman.980504596.2748.comp.lang.ada@ada.eu.org>
2001-01-26 16:17   ` Paul Graham
2001-01-26 16:38   ` Robert Dewar
2001-01-30 16:45   ` Tucker Taft
2001-01-30  9:30 Christoph Grein
2001-01-30  7:19 Jean-Pierre Rosen
2001-01-30  6:28 Christoph Grein
2001-01-30  7:16 ` Jean-Pierre Rosen
2001-01-30 16:25   ` Mario Amado Alves
2001-01-30 17:57     ` Robert Dewar
2001-01-30 19:16       ` Ted Dennison
2001-01-31  6:16         ` Robert Dewar
2001-01-31 11:40       ` Mario Amado Alves
2001-01-31 22:09         ` Florian Weimer
2001-02-01  5:39           ` Robert Dewar
2001-02-01  5:39           ` Robert Dewar
2001-02-04 14:24             ` Florian Weimer
2001-02-01  5:38         ` Robert Dewar
2001-02-01 18:24           ` Mario Amado Alves
2001-02-02  3:52             ` Robert Dewar
2001-01-30 19:06     ` Ted Dennison
2001-01-31  6:18       ` Robert Dewar
2001-01-30 18:41 ` Robert Dewar
     [not found] <mailman.980516658.10759.comp.lang.ada@ada.eu.org>
     [not found] ` <94s4vm$qr4$1@nnrp1.deja.com>
2001-01-26 20:26   ` Florian Weimer
2001-01-28  0:28     ` Robert Dewar
2001-01-30  8:47       ` Florian Weimer
2001-01-30 18:35         ` Robert Dewar
2001-01-30 22:16           ` Florian Weimer
2001-01-31  6:10             ` Robert Dewar
2001-01-31 13:29               ` Florian Weimer
2001-01-31 14:40                 ` Marc A. Criley
2001-01-26 22:43 ` Paul Graham
2001-01-28  0:32   ` Robert Dewar
     [not found] <200101261211.NAA13016@bulgaria.otn.eurocopter.de>
2001-01-26 17:17 ` Mario Amado Alves
2001-01-28  0:36   ` Robert Dewar
2001-01-29 11:11     ` Mario Amado Alves
2001-01-29 15:55       ` Ted Dennison
2001-01-29 16:41         ` Ted Dennison
2001-01-29 17:52         ` Mario Amado Alves
2001-01-30  6:26         ` Robert Dewar
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox