companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 5.0 released(!!1!): https://ocaml.org/releases/5.0.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/
John_Ivan has joined #ocaml
szkl has quit [Quit: Connection closed for inactivity]
waleee has quit [Ping timeout: 246 seconds]
chrisz has quit [Ping timeout: 260 seconds]
chrisz has joined #ocaml
azimut has quit [Remote host closed the connection]
azimut has joined #ocaml
<discocaml> <parataxis> I'm having a problem with inline_test. my program builds fine without it, but when I add the ppx to my dune file it builds fail with "File "_none_", line 1:
<discocaml> <parataxis> Error: No implementations provided for the following modules:"
<discocaml> <parataxis> "Unix referenced from index/index.cmxa(Index__Postings)"
<discocaml> <parataxis> I'm having a problem with inline_test. my program builds fine without it, but when I add the ppx to my dune file builds fail with "File "_none_", line 1:
<discocaml> <parataxis> Error: No implementations provided for the following modules:"
spip has quit [Quit: Konversation terminated!]
<discocaml> <cemerick> has dbuenzli ever commented on his view of pvec's status/future?
TrillionEuroNote has quit [Ping timeout: 248 seconds]
TrillionEuroNote has joined #ocaml
bgs has joined #ocaml
Serpent7776 has joined #ocaml
Serpent7776 has quit [Ping timeout: 256 seconds]
azimut has quit [Ping timeout: 246 seconds]
cedric has joined #ocaml
cedric has quit [Client Quit]
Awww has joined #ocaml
Serpent7776 has joined #ocaml
bartholin has joined #ocaml
remexre has quit [Read error: Connection reset by peer]
remexre has joined #ocaml
mima has joined #ocaml
xd1le has quit [Ping timeout: 245 seconds]
xd1le has joined #ocaml
<discocaml> <drupyog> @companion_cube what's the purpose of Trace.Meta_map ? It doesn't seem used
<discocaml> <rgrinberg> @drupyog coincidentally, I've been experimenting with an RB map/set in dune that uses separate constructors for Red/Black to save one bit
<discocaml> <rgrinberg> @drupyog coincidentally, I've been experimenting with an RB map/set in dune that uses separate constructors for Red/Black to save one field
<discocaml> <rgrinberg> I don't know if this an issue with my pdf reader (preview), but the table of contents doesn't work
mima has quit [Ping timeout: 245 seconds]
spip has joined #ocaml
<discocaml> <drupyog> you're the first to have that issue
leon_on9527 has joined #ocaml
tom1212 has joined #ocaml
<tom1212> Hi! Given a functor module B (A: A_sig) : B_sig with module A = A = struct module A = A ... end would it be possible to ensure that if you pass a superset of A_sig then it gets reflected in B.A?
<tom1212> if there are workarounds or ways to achieve something similar I'm interested!
<octachron> No, this is not possible. The solution is to not store functor argument inside functor body.
<tom1212> thanks!
xd1le has quit [Quit: xd1le]
leon_on9527 has quit [Remote host closed the connection]
yoyofreeman has quit [Remote host closed the connection]
yoyofreeman has joined #ocaml
uncomfy has joined #ocaml
<discocaml> <drupyog> @companion_cube I would pay a lot for a polymorphic function decorator that open a span the size of the decorated function, and attach its argument+output ....
<discocaml> <drupyog> @companion_cube I would pay a lot for a decorator that open a span the size of the decorated function, and attach its argument+output ....
yoyofreeman has quit [Read error: Connection reset by peer]
<companion_cube> oh, using ppx_deriving.show or something?
<companion_cube> I mean that's doable, but ppxes are really not my thing
yoyofreeman has joined #ocaml
<companion_cube> (the output might be a bit harder but still)
<discocaml> <drupyog> it's quite harder, because you don't know the types at all
<discocaml> <drupyog> unless you annotates profusely, but, grmbl.
<companion_cube> I like to annotate but I hear you
<companion_cube> anyway with `let@` I'm ok annotating by hand, mostly
xenu has quit [Ping timeout: 246 seconds]
mima has joined #ocaml
uncomfy has quit [Quit: uncomfy]
yoyofreeman has quit [Read error: Connection reset by peer]
yoyofreeman has joined #ocaml
xenu has joined #ocaml
Janni has joined #ocaml
<Janni> Hello! I'm trying to do some pretty-printing based on Format.fprintf. The trouble is that I'd like to generate parantheses wherever necessary. I'm guessing this is not possible in my case, but I'd like to make sure...
<Janni> Let's say that there is a user-supplied function f : formatter -> t -> unit
<Janni> I have a transformer t : (formatter -> 'a -> unit) -> formatter -> unit
<Janni> I'd like the transformer to add parentheses around the output of f, iff f produces a space somewhere in its output.
<Janni> I suppose that it's fundamentally impossible to examine the output up to this point for generic formatters.
<Janni> Am I right? Is there a workaround?
<octachron> The issue is rather than you want to maybe insert a "(" before the output of the inner output, so you cannot share the underlying printing device.
<octachron> With this constraint, the solution is to redirect the inner printer to a separate buffer and take the decision to insert the parenthesis once the rendering to the buffer is done.
yoyofreeman has quit [Read error: Connection reset by peer]
<Janni> Oh, alright. It's easy actually! Thanks!
<Janni> (I hadn't seen the buffer stuff in the Format module.)
<Janni> But it will be much less efficient, obviously...
xenu has quit [Ping timeout: 244 seconds]
xenu has joined #ocaml
Janni has quit [Quit: leaving]
xenu has quit [Ping timeout: 260 seconds]
troydm has quit [Ping timeout: 245 seconds]
troydm has joined #ocaml
xenu has joined #ocaml
waleee has joined #ocaml
azimut has joined #ocaml
Anarchos has joined #ocaml
Serpent7776 has quit [Quit: WeeChat 1.9.1]
mima has quit [Ping timeout: 245 seconds]
Serpent7776 has joined #ocaml
waleee has quit [Ping timeout: 246 seconds]
ursa-major has joined #ocaml
waleee has joined #ocaml
waleee has quit [Ping timeout: 260 seconds]
Serpent7776 has quit [Ping timeout: 246 seconds]
Anarchos has quit [Quit: Vision[]: i've been blurred!]
wingsorc has joined #ocaml
mima has joined #ocaml
tom1212 has quit [Remote host closed the connection]
waleee has joined #ocaml
oriba has joined #ocaml
Serpent7776 has joined #ocaml
mima has quit [Ping timeout: 248 seconds]
mima has joined #ocaml
bgs has quit [Remote host closed the connection]
bartholin has quit [Quit: Leaving]
wingsorc__ has joined #ocaml
wingsorc has quit [Ping timeout: 258 seconds]
Tuplanolla has joined #ocaml
Serpent7776 has quit [Ping timeout: 246 seconds]
wingsorc__ has quit [Read error: Connection reset by peer]
wingsorc__ has joined #ocaml
tjammer_ has joined #ocaml
tjammer has quit [Ping timeout: 248 seconds]
uncomfy has joined #ocaml
uncomfy has quit [Remote host closed the connection]
uncomfy has joined #ocaml
uncomfy has quit [Remote host closed the connection]
uncomfy has joined #ocaml
uncomfy has quit [Remote host closed the connection]
uncomfy has joined #ocaml
uncomfy has quit [Remote host closed the connection]
chrisz has quit [Ping timeout: 245 seconds]
chrisz has joined #ocaml
uncomfy has joined #ocaml
uncomfy has quit [Remote host closed the connection]
uncomfy has joined #ocaml
uncomfy has quit [Remote host closed the connection]
uncomfy has joined #ocaml
uncomfy has quit [Remote host closed the connection]
uncomfy has joined #ocaml
uncomfy has quit [Remote host closed the connection]