From: Alexander Kogtenkov <kwaxer@ah...> - 2009-09-10 09:15:53
It looks like there is a type mismatch between
CHARACTER.code and STRING_GENERAL.code.
The latter is used to define other operations on strings:
in append, put_code, etc.
The types are
- in CHARACTER_XX - INTEGER_32
- in STRING_GENERAL - NATURAL_32
As there is no imlpicit conversion from INTEGER to NATURAL,
one should write the code like
that does not look straitforward compared to the expected
Would it make sense to change the declaration of CHARACTER_XX.code
be of type NATURAL_32?