Gabriel Scherer

My understanding is that there is a tension between: - being able to uniformly monitor arbitrary OCaml programs - giving OCaml programs control over how they want to monitor themselves...

@Julow implemented an aspect of this feature proposal in #11679, with new messages such as ``` Error: The function 'print_lines' has type string list -> unit It is applied to...

(In particular, the compiler codebase now contain a heuristic function which decides "is this expression small enough to be shown in the error message". We can always extend it to...

> Should/could the new behaviour become the default? If the behavior is careful about not quoting parts of the source that are too long, it could be enabled unconditionally --...

`module type Intf = ` means that the position that is meant in the error message is what corresponds to `` in the real signature, that is, the definition of...

We have a candidate PR for the better solution, #12654, but it needs more work to be mergeable. (The original author, an external contributor, does not seem to be able...

I would be happy to support stdlib additions in this direction provided that @dbuenzli approves the proposed API.

> And to inform that potential %+C, could the masters of available OCaml syntactic space say if there could be a prospect for a nice looking literal syntax for Uchar.t...

I still agree that `"foo"u` or `u"foo"` and `'a'u` or `u'a'` would be reasonable choices, but this requires work -- to introduce a warning in the lexer, etc. -- that...

> Translating the structured constants into their final representation at compile-time rather than at runtime, to simplify the way they are stored in cmo files and make their stored representaiton...