From: "Jeffrey R.Carter" <spam.jrcarter.not@spam.acm.org.not>
Subject: Re: Text_io package's Positive_Count type
Date: Wed, 11 Jan 2023 22:46:56 +0100 [thread overview]
Message-ID: <tpnaog$sra1$1@dont-email.me> (raw)
In-Reply-To: <fa48ad91-93de-41e2-a314-3ae2925f547cn@googlegroups.com>
On 2023-01-11 22:04, Mace Ayres wrote:
> ____
> This is different error than before and I easily see Put() is expecting Integer but has the.. count type; so I need some sort of translation to satisfy put(), maybe with and use Text_IO.Integer_IO as error message suggest?
Ada.Text_IO.Integer_IO is a generic package that you would instantiate with
Ada.Text_IO.Positive_Count. The instantiation would then have a Put procedure
for Positive_Count.
Alternatively, you could use Positive_Count'Image to convert your values into
Strings that may be used directly with Ada.Text_IO.Put.
--
Jeff Carter
"You me on the head hitted."
Never Give a Sucker an Even Break
108
prev parent reply other threads:[~2023-01-11 21:46 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-01-11 10:14 Text_io package's Positive_Count type Mace Ayres
2023-01-11 13:52 ` Niklas Holsti
2023-01-11 21:04 ` Mace Ayres
2023-01-11 21:42 ` Niklas Holsti
2023-01-11 21:46 ` Jeffrey R.Carter [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox