Eduardo Rafael

@murgatroid99 It should work with every API that supports promise, the base of a Promise it's a thenable(object that have a then). https://promisesaplus.com/ The advantage is that we can by...

@rgrinberg can we get a flag to disable those? I have someone to implement that, I just need to know how that would look like ## OCaml 4.14 https://github.com/EduardoRFS/ocaml-lsp/commit/06a7589b09407478bbea0eb8952e42ff4c77113f ##...

Antonio did a fix for Melange, but it seems like this should not be a valid lambda anyway, while it is low priority, my bet it is that this will...

@lthls right, it should work, but this is an Lstaticraise, so in general that's exactly one of the goals of simplif right? I know that it is semantically valid, but...

The patch on https://github.com/ocamllabs/vscode-ocaml-platform/pull/1321 seems reasonable, on all editors except vscode it is quite easy to set settings on start. While implementing configuration fetching would be quite annoying.

@voodoos at least from reading on the spec, it seems like the "client" solution was the old solution, before the 3.6.0 version. > This pull model replaces the old push...

Just leaving a comment, as someone may be interested, this "feature"(induction-induction) can be completely described using self types as proposed by Stump, but it requires a curry-style presentation https://homepage.divms.uiowa.edu/~astump/papers/fu-stump-rta-tlca-14.pdf IIRC...

@lukaszlew right, that's why I provided with an alternative presentation in the gist, I personally prefer the ones on the gist as they feel "safer" and easier to implement. But...

httpaf is the outlier here, so if you're subject to differences of parsing, then not accepting \n only is actually worse. Also it makes working with httpaf manually way more...

@olafhering this is an invalid opam package, leading your opam file to be invalid, it should be `dune-configurator` instead https://github.com/olafhering/ocaml-camlzip/blob/dune-master/dune-project#L21