Re: unicode and wide_text_io

[Niklas Holsti <niklas.holsti@tidorum.invalid>]

On 17-12-28 11:04 , Dmitry A. Kazakov wrote:
> On 2017-12-27 23:32, Mehdi Saada wrote:
    [snip]
>> Superscripts and subscripts means more change in the IO package.
>> Before I could simply use the generic Integer_IO, but I have no clue
>> how to do to output a specific code point for each digit in a
>> specific  base... wouldn't that mean rewriting part of Integer_IO ?
>
> You mean the standard library Integer_IO? Sure, you will have to replace
> it.

It seems simpler to continue using Integer_IO, but to Put the number 
into a String, and then translate the digits in the resulting String 
into superscript or subscript form, as desired.

The translation for decimal digits 0..9 seems quite simple 
(https://en.wikipedia.org/wiki/Superscripts_and_Subscripts).

Using the Unicode "fraction slash" seems less reliable, to judge from 
the hints in 
https://en.wikipedia.org/wiki/Unicode_subscripts_and_superscripts: "Some 
browsers support this".

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
       .      @       .