Christophe Raffalli
Christophe Raffalli
I propose a new kind of ppx extension where the type would be known. The idea is as follows: - ppx extensions that need type information require two AST tranformations...
Hello, In a code using a lot first class modules, I am in need for a feature that would be similar to "module type of", but for values. I only...
webGL2 is now pretty standard and js_of_ocaml only supports webGL1 and a few extension. I actually started working on that... But there are a lot of valid combinations of internal...
Hello, I read in the documentation of postgresql that results of query can be sent to the client in BINARY, I guess it should improve efficiency and could even be...
Two features which are almost always needed are not provided: - handling of body with Post method (the normal case is ok with Tiny_httpd_util.parse_query, but things like multipart should be...
Headers may have much more that 10 fields and usually use common headers (see []https://en.wikipedia.org/wiki/List_of_HTTP_header_field]) We could encode header_field as type _ header_field = | Connection : 'a header_field |...
I would suggest to use Postgresql.null for null value. This way physical equality can distinguish the NULL value and the empty string. Accessing the result to know is a parameter...
The socket method is unusable with type int, for instance with select in async mode. This solves the problem. I think there is no way in Stdlib to convert int...
Erasing the initial comment is really painful.
With domains or async, it is more and more common to read and write on nonblocking sockets and current Unix.write/Unix.single_write/Unix.read are tailored for blocking sockets with - entering/leaving the blocking...