From: arne@vajhoej.dk

On 11/17/2025 1:56 PM, Simon Clubley wrote:
> On 2025-11-14, Arne Vajhøj  wrote:
> These two examples _appear_ to do different things.

They both stuff an integer into a char aka circumvent
strict typing.

They do it differently.

>> $ type usaf.pas

>> var
>>      c : [unsafe] char;

>>      c := 65;

> This one appears to say that _all_ writes to the variable "c" are not
> checked.

Yes.

>> $ type usaf.adb
>> with Unchecked_Conversion;

>> function i2c is new Unchecked_Conversion(Source => integer, Target =>
>> character);
>>
>> c : character;

>>       c := i2c(65);
>>       Put(c);

> However, with this one, you get to choose which writes to "c" are checked
> by Ada.

Yes.

The Pascal example is by variable. The Ada example is by assignment.

More granular control in Ada.

> Have I understood the Pascal code correctly or is there something
> I am missing ?

No.

Only thing is that [unsafe] can be used for other things - see
the hexdump example.

Arne

--- SoupGate-Win32 v1.05
 * Origin: you cannot sedate... all the things you hate (1:229/2)