05:46 <d_bot> <minimario> what is the current state of having a hoogle for ocaml?

05:47 <d_bot> <minimario> is there anyone working on it? what are the major barriers?

05:47 <d_bot> <minimario> i see a few attempts after a quick google search, but curious why they're not used much by ocaml practitioners?

06:46 <d_bot> <darrenldl> https://ocaml.org/api/ is pretty similar to hoogle, but i forgot what is powering it

07:03 <d_bot> <andreypopp> Check out https://github.com/Drup/dowsing

08:54 <d_bot> <Lupus> Is it possible to construct a function signature that will add a tag to existing tags of phantom type (polymorphic variant)? Like it receives <X as 'a and I want it to return >X with other constructors that were previously in 'a. Like in [A,B,C] -> [A,B,C,X]. Underlying implementation will be Obj.magic, phantom types are needed to enforce business logic.

09:05 <d_bot> <Lupus> Some background on the business logic: http request processing with filters. I have some type for request with universal map inside, that universal map is extended in runtime by a set of user-provided functions-filters (set itself is known at compile time), each of those extension function-filters can read the request type itself or read the extensions set in universal map by other filters. I was thinking about introducing some typ

09:25 <d_bot> <Lupus> Looks like this is not possible in first place, if I'm reading https://github.com/ocaml/ocaml/issues/6122 correctly... OCaml can't transfer arbitrary polyvariant constructors from type parameter to another type 😦

09:27 <d_bot> <Lupus> Are there any other possibilities to model this in types without sacrificing the end-user sanity?

12:13 <d_bot> <VPhantom> Holy cow I had no idea ocaml.org had an interactive API search feature! 😱

13:13 <sim642> Is there an equivalent of Python's shlex.split in some package?

13:17 <mouseghost> i think you would need to specify what exactly you want... sim642

13:19 <sim642> Split a string just like a shell would, correctly handling quoting and escaping

13:40 <hannes> is here anyone around who can explain something about "opam-monorepo" to me?

13:41 <hannes> the main question I guess is how it figures out dependencies (when invoking "opam monorepo lock")?

14:56 <d_bot> <Et7f3> Not in standard library but there is one https://github.com/ocaml/ocaml/blob/93db249300b0069f15e8ccf4e9a172fa6359a3e2/ocamltest/ocamltest_stdlib.ml#L59

21:23 <mouseghost> sim642, see last message here

22:00 <d_bot> <Alistair> Are there plans for ppx_let to support let pruning?

22:15 <d_bot> <leviroth> Do you mean let punning? I was under the impression that the expansion of `let%foo bar in` to `let%foo bar = bar in` was done automatically by the compiler wherever there is an extension node, before the ppx does anything.