Christophe Raffalli

And by the way, I need that to write a ppx and at this level, I can not write the type of the value.

Why not declare the "of" syntax deprecated to keep only the more general syntax of GADT in the future ? OK it is a bit annoying to have to write...

> No, we don't deprecate simpler, perfectly-fine syntax used all over the place > (programs, docs, textbook, wikipedia, whatever) just to work around a parsing > ambiguity. The cost of...

The application I have in mind would be to infer the sql type from ocaml type in some data base interface I am currently writing. It would be a bit...

On 22-01-18 06:07:03, hhugo wrote: > I'm not very familiar with the Webgl api and the difference between GL1 and > Gl2. Would you be able to provide more information...

Hello, I read in postgresql documentation that 17 digit allows to give a decimal representation that will be guaranty to be rounded exactly to the original double. This would ensure...

The following code gives some hint that .17g seems to behave as postgresql doc suggest: After a rather long run, it still did not find any counter-example. ``` let to_string...

The converse `to_string (of_string x)` is certainly wrong, but it is not the important property that we want to ensure. Remark: postgres does not support hexadecimal litteral double, and only...

OCaml is ok there, I checked this no problem both for unwanted representation and reading back. But we need a theorem not a "general agreement" ? ``` let to_string x...

For a theorem, if we can not find it, we must ask [Jean-Michel Muller](https://perso.ens-lyon.fr/jean-michel.muller/), I am pretty sure he will have something to say ?