help / color / mirror / Atom feed
From: "Jeffrey R.Carter" <>
Subject: Re: Text_io package's Positive_Count type
Date: Wed, 11 Jan 2023 22:46:56 +0100	[thread overview]
Message-ID: <tpnaog$sra1$> (raw)
In-Reply-To: <>

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

      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