Consider the following code snippet : type wrapped_int=Wr of int;; let print_wrapped_int (Wr i)= "\xe3\x80\x90 "^(string_of_int i)^" \xe3\x80\x91";; let print_out_wrapped_int (fmt:Format.formatter) x= Format.fprintf fmt "@[%s@]" (print_wrapped_int x);; #install_printer print_out_wrapped…

The problem must be on your side. example1 renders correctly here. Note however that Format.formatter will not be able to perform good layout on UTF-8, see here and here for a full explanation and (necessarily incomplete) solutions.

Thank you for your feedback. [image] dbuenzli: example1 renders correctly here. What do you mean ? Since when is rendering a character by another character “correct rendering” ? [image] dbuenzli: Note however that Format.formatter will not be able to perform good layout on UTF-8, see he…

[image] jonathandoyle: What do you mean ? Since when is rendering a character by another character “correct rendering” ? I tried your example1 on my machine and it renders correctly like example2. So the problem seems to be with your terminal. [image] jonathandoyle: I read those links th…

[image] dbuenzli: using the provided functions Though if you are not dealing with general UTF-8 input and only using a fixed set of uchars you could do it yourself e.g. via Format.fprintf ppf "@<1>%s" "\xe3\x80\x90"

[image] dbuenzli: I tried your example1 on my machine and it renders correctly like example2. So the problem seems to be with your terminal. I also realized just now that the problem appears only when I use utop, not when I use the ordinary ocaml toplevel. Which did you try on your machine ? …

[image] dbuenzli: you could do it yourself e.g. via Format.(fprintf ppf "@<1>%s" "\xe3\x80\x90") I tried the following : type wrapped_int=Wr of int;; let print_out_wrapped_int (fmt:Format.formatter) (Wr i)= Format.fprintf fmt "@[<1>%s%s@<1>%s@]" "\xe3\x80\x90" (" "^(string…

Using non-ASCII characters in pretty printing?

Learning

dbuenzli June 29, 2017, 3:59pm 7

Utop on macOS. 123456789012345689 (characters added to sastisfy the minimal number of character needed to post).

Topic		Replies	Views
Deriving, Format-ting and unicode Learning format , unicode , deriving	3	1034	February 20, 2022
Help me pick a bikeshed color, er, print syntax for Uchar.t Ecosystem	5	917	October 14, 2018
Wrap paragraph at N characters Learning	4	287	February 29, 2024
Printing Uchar.t values Ecosystem unicode , stdlib	6	1231	February 8, 2023
Exception UTF-8 inconsistently printing as an escaped string Learning unicode	1	116	February 24, 2026

Using non-ASCII characters in pretty printing?

Related topics