From: Shark8 <onewingedshark@gmail.com>
Subject: Re: qualified expressions acting as names - not accepted?
Date: Sun, 21 Aug 2016 18:25:51 -0700 (PDT)
Date: 2016-08-21T18:25:51-07:00 [thread overview]
Message-ID: <644b357b-f55f-4a20-ba45-7fb2e9189392@googlegroups.com> (raw)
In-Reply-To: <npcivp$6jf$1@dont-email.me>
> X := S'("AZ")(False); -- (3)
This should be X := S'('A','Z')(False);
> X := S'(Z) (False); -- (2)
This should be compilable, as you're essentially asserting that Z is type-S, and accessing False should result in a character.
next prev parent reply other threads:[~2016-08-22 1:25 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-08-21 15:56 qualified expressions acting as names - not accepted? G.B.
2016-08-22 1:25 ` Shark8 [this message]
2016-08-22 10:00 ` AdaMagica
2016-08-23 7:03 ` G.B.
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox