Christophe Raffalli

> @damiendoligez Implemented various approaches to aging in the past, which is what your first suggestion is. They always turned out to perform worse than the current approach because the...

Kate writes: > Could you list what you have in ***@***.***/lib/pkgconfig` ? Run ls ***@***.***/lib/pkgconfig libcrypto.pc libssl.pc openssl.pc (This is on a github action with macos-latest) -- Christophe Raffalli tél:...

Le 13 février 2023 04:46:55 GMT-10:00, Simon Cruanes ***@***.***> a écrit : >Do you still use a GADT for typing paths? wrt the tree? > I mostly kept your code....

I decided to accept only the headers listed at iana. The are so many that I am sure one can find one with a reasonable name if you need something....

Le 13 février 2023 06:37:16 GMT-10:00, Simon Cruanes ***@***.***> a écrit : >Serious question: at what point is simple_httpd just a different project, anyway? It feels like you're doing a...

Simon Cruanes writes: > You mean, you don't accept custom headers at all? :o Yes I don't. I have never add any use for them (contrary to custom cookies), and...

Simon Cruanes writes: > Is it compliant to _reject_ custom headers? Or do you mean you just throw the parsing result away and move on to the next line? I...

I tried to fix/update the github workflow. I think it is now OK (not sure), but there are some opam download that fails, even after I added opam update !

Am I supposed to do something for the coverage ?

We could use report/detailed_report to avoid mapping the list of open_elements at each report if detailed_report is not demanded by the user ?