zolk3ri has quit [Remote host closed the connection]
BitPuffin has quit [Remote host closed the connection]
silver_ has joined #ocaml
silver has quit [Ping timeout: 260 seconds]
mfp_ has quit [Ping timeout: 240 seconds]
sh0t has quit [Remote host closed the connection]
kleimkuhler has joined #ocaml
silver_ has quit [Read error: Connection reset by peer]
shinnya has quit [Ping timeout: 240 seconds]
ctrlsbstr has joined #ocaml
hdon has quit [Ping timeout: 248 seconds]
csljq has quit [Remote host closed the connection]
csljq has joined #ocaml
pioneer42 has joined #ocaml
ctrlsbstr has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ctrlsbstr has joined #ocaml
cobreadmonster has joined #ocaml
tormen_ has joined #ocaml
tormen has quit [Ping timeout: 240 seconds]
ctrlsbstr has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
muelleme has joined #ocaml
muelleme has quit [Ping timeout: 264 seconds]
tarptaeya has joined #ocaml
kleimkuhler has quit [Quit: kleimkuhler]
kleimkuhler has joined #ocaml
struktured has quit [Ping timeout: 256 seconds]
struktured has joined #ocaml
xuanrui has quit [Remote host closed the connection]
pitastrudl has quit [Ping timeout: 265 seconds]
pitastrudl has joined #ocaml
govg has joined #ocaml
Madars has quit [Ping timeout: 265 seconds]
struktured has quit [Quit: Konversation terminated!]
kleimkuhler has quit [Quit: kleimkuhler]
kleimkuhler has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
Madars has joined #ocaml
hdon has joined #ocaml
jbrown has quit [Ping timeout: 260 seconds]
kleimkuhler has quit [Quit: kleimkuhler]
cobreadmonster has quit [Quit: Connection closed for inactivity]
Madars has quit [Ping timeout: 255 seconds]
kleimkuhler has joined #ocaml
kleimkuhler has quit [Quit: kleimkuhler]
kleimkuhler has joined #ocaml
csljq has quit [Remote host closed the connection]
Madars has joined #ocaml
mbuf has joined #ocaml
Madars has quit [Ping timeout: 256 seconds]
hdon has quit [Changing host]
hdon has joined #ocaml
Madars has joined #ocaml
bartholin has quit [Ping timeout: 240 seconds]
pierpal has quit [Ping timeout: 264 seconds]
muelleme has joined #ocaml
pierpal has joined #ocaml
bartholin has joined #ocaml
kleimkuhler has quit [Quit: kleimkuhler]
kleimkuhler has joined #ocaml
kleimkuhler has quit [Client Quit]
pierpal has quit [Read error: Connection reset by peer]
exarkun has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
jimmyrcom_ has quit [Ping timeout: 264 seconds]
exarkun has joined #ocaml
csljq has joined #ocaml
Haudegen has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
orbifx has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
muelleme has quit [Ping timeout: 248 seconds]
pierpal has joined #ocaml
cbot has quit [Ping timeout: 248 seconds]
cbot has joined #ocaml
noitakomentaja has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
<_xvilka_>
hi
<_xvilka_>
are there any examples on how to process the POST HTTP requests on the server side with Opium or Cohttp?
<_xvilka_>
wasn't able to find anything in the documentation
pierpal has quit [Ping timeout: 256 seconds]
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 260 seconds]
pierpal has joined #ocaml
hdon has quit [Ping timeout: 256 seconds]
<adrien>
morning
<adrien>
is there a way to tell opam to rebuild everything?
<adrien>
(I've upgraded openssl and I need a rebuild)
jaar has joined #ocaml
dhil has joined #ocaml
muelleme has joined #ocaml
hdon has joined #ocaml
muelleme has quit [Ping timeout: 255 seconds]
cbot has quit [Quit: Leaving]
<discord2>
<khady> opam switch reinstall or something like this
<Khady>
adrien: ^
orbifx has quit [Ping timeout: 256 seconds]
jmiven has quit [Quit: co'o]
jmiven has joined #ocaml
<Leonidas>
_xvilka_: maybe you could create an issue, then someone could try providing an example as part of the doc-sprint this weekend
hdon has quit [Changing host]
hdon has joined #ocaml
jaar has quit [Ping timeout: 260 seconds]
argent_smith has joined #ocaml
jaar has joined #ocaml
<adrien>
thanks!
mfp_ has joined #ocaml
mk9 has joined #ocaml
mk9 has quit [Client Quit]
muelleme has joined #ocaml
muelleme has quit [Ping timeout: 240 seconds]
zolk3ri has joined #ocaml
<_xvilka_>
Leonidas: yeah, sure, where? In Opium? or Cohttp?
Exagone313 has quit [Ping timeout: 260 seconds]
jaar has quit [Remote host closed the connection]
jaar has joined #ocaml
<Leonidas>
_xvilka_: Cohttp I would guess, but you can ask rgr[m] whether he's still working on opium.
dhil has quit [Ping timeout: 264 seconds]
hdon has quit [Ping timeout: 276 seconds]
noitakomentaja has quit [Ping timeout: 255 seconds]
kakadu has joined #ocaml
<rgr[m]>
All of OCaml work is dune these days, so unfortunately not.
ziyourenxiang has joined #ocaml
nicoo has quit [Remote host closed the connection]
hdon has joined #ocaml
nicoo has joined #ocaml
hdon has quit [Ping timeout: 264 seconds]
<_xvilka_>
rgr[m]: I see, thx, will open in Cohttp then
bairui has quit [Ping timeout: 256 seconds]
bairui has joined #ocaml
Exagone313 has joined #ocaml
bairui has quit [Ping timeout: 260 seconds]
dhil has joined #ocaml
barcabuona has quit [Quit: WeeChat 2.1]
hdon has joined #ocaml
<_xvilka_>
also I have a question - in a library, how to decide if provide the api for "bytes" or "string"?
<Drup>
_xvilka_: you are asking the wrong question. If you need bytes you use them, otherwise you use strings
hdon has quit [Ping timeout: 268 seconds]
bairui has joined #ocaml
moei has quit [Quit: Leaving...]
nicoo has quit [Read error: Connection reset by peer]
nicoo has joined #ocaml
Haudegen has quit [Remote host closed the connection]
dxtr has quit [Ping timeout: 255 seconds]
pioneer42 has left #ocaml [#ocaml]
<_xvilka_>
Drup: no, I know how to do that in the program. I meant if I write a library working with a buffers - is there any preference to provide API for bytes or strings?
<Armael>
the only difference between bytes and strings are that strings are immutable, while byte are mutable
<_xvilka_>
Yes, I know
shinnya has joined #ocaml
freyr has joined #ocaml
<freyr>
jbuilder says that the current scope doesn't define package "x"
<freyr>
but I know that it could build local sublibs without an opam file
<freyr>
I've written a public_name stanza
<freyr>
what does it want from me?
<Armael>
AFAIK it wants you to create a public_name.opam file
<Armael>
(you can create an empty file and fill it later)
<freyr>
So I have to create opam files for all libs, even for local ones I don't want to publish? I recall I've seen projects with jbuilds which didn't have the related opam file
<freyr>
but I'm not sure
<Armael>
I think you have to create an opam file for every lib that has a public name
<Armael>
you can have local libraries that do not have a public name, though
<Armael>
but I think it assumes that if a lib has a public name, then you'll want to install it using opam
<freyr>
Hm "Library "network" is private, it cannot be a dependency of a public library."
<freyr>
So I can't have a local library within the public one?
<Armael>
mmm I think that if it's a local library "bar" within the opam package "foo", then it should be named foo.bar
<Armael>
someone who actually knows jbuilder should probably confirm
<Drup>
freyr: that's work in progress, iirc
<Drup>
(private libraries used by public ones)
<freyr>
Drup: Ah, fine, then I'll make it public so far
noitakomentaja has joined #ocaml
sh0t has joined #ocaml
mbuf has quit [Quit: Leaving]
pierpal has quit [Ping timeout: 240 seconds]
_andre has joined #ocaml
spew has joined #ocaml
Haudegen has joined #ocaml
silver has joined #ocaml
mk9 has joined #ocaml
mk9 has quit [Client Quit]
mk9 has joined #ocaml
pierpal has joined #ocaml
sh0t has quit [Remote host closed the connection]
hdon has joined #ocaml
mk9 has quit [Quit: mk9]
moei has joined #ocaml
hdon has quit [Ping timeout: 256 seconds]
exarkun has quit [Read error: Connection reset by peer]
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
mk9 has joined #ocaml
malina has joined #ocaml
exarkun has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
mk9 has quit [Quit: mk9]
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
BitPuffin has joined #ocaml
dhil has quit [Ping timeout: 248 seconds]
hdon has joined #ocaml
sh0t has joined #ocaml
hdon has quit [Ping timeout: 255 seconds]
csljq has quit [Remote host closed the connection]
jbrown has joined #ocaml
dhil has joined #ocaml
jaar has quit [Remote host closed the connection]
noitakomentaja has quit [Ping timeout: 255 seconds]
govg has quit [Ping timeout: 240 seconds]
jaar has joined #ocaml
BitPuffin has quit [Remote host closed the connection]
freyr has quit [Remote host closed the connection]
BitPuffin has joined #ocaml
FreeBirdLjj has joined #ocaml
ctrlsbstr has joined #ocaml
elfring has joined #ocaml
ctrlsbstr has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jimmyrcom_ has joined #ocaml
shinnya has quit [Ping timeout: 248 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
baroud has joined #ocaml
FreeBirdLjj has joined #ocaml
jimmyrcom_ has quit [Ping timeout: 265 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
ctrlsbstr has joined #ocaml
<discord2>
<Bluddy> companion_cube: did you get lost on the way? I didn't see you
<companion_cube>
I went there and left after a while
<discord2>
<Bluddy> oh... ok
<discord2>
<Bluddy> did you get to ask your question?
<discord2>
<Bluddy> btw it's not a bad place to be if you want people to find out about Containers. New people in particular.
<companion_cube>
well I don't write reason :/
<discord2>
<Bluddy> There are people who find out about OCaml through reason
<companion_cube>
and people doing weird web stuff seem to have their own fork of containers anyway (‽)
<discord2>
<Bluddy> Wait did you go to the reason discord instead of the ocaml one?
<companion_cube>
yes I did, I had a question about reason itself
<discord2>
<Perry> Sounds reasonable.
<discord2>
<Perry> (Sorry, sometimes it's hard to resist.)
<companion_cube>
:p
<companion_cube>
but OCaml's discord is the one bridged here, right?
<discord2>
<Perry> Yes.
<discord2>
<Perry> There's a "#irc" channel that bridges here. There's also a "#general" channel that doesn't, which has a bunch of traffic too.
<discord2>
<Bluddy> And some other channels that currently aren't that busy
<companion_cube>
yeah I suppose bridging #general would be too verbose
<discord2>
<Bluddy> I'll consider it once we get a better bot going
<discord2>
<Perry> Have you heard more from the freenode people?
FreeBirdLjj has quit [Remote host closed the connection]
<discord2>
<Bluddy> They're supposed to take their sweet time to reply, but it should really be just a matter of time
<Drup>
it's been more than a week, you should ping them again.
<discord2>
<Bluddy> No in the automated email they tell you it'll take a while
sz0 has joined #ocaml
<discord2>
<Bluddy> Unfortunately even with a better bot, on the discord side we won't see IRC people as 'present'. The current API doesn't allow for it. And emoticon responses, which are extremely popular on discord, won't transfer to IRC.
<discord2>
<Bluddy> Those are the kinds of factors I'll have to consider before bridging the general channel, even after the bot is upgraded.
<Drup>
That's ... not so bad
hdon has joined #ocaml
<discord2>
<Bluddy> It's not terrible, but imagine being a discord user stumbling into the server and seeing a whole bunch of non-existent people having major conversations.
<Drup>
I mean, compared to the current situation, that is a very very minor concern that will be invisible 90% of the time ;)
<discord2>
<Perry> Is there a reason the bot can't post emoji as Unicode emoji on the other side?
<companion_cube>
we're ghooooooooosts
<discord2>
<Perry> No, you're the Spirit of OCaml!
<companion_cube>
Perry it's more that reactions are not really messages, I think
<discord2>
<Perry> Ah!
<discord2>
<Bluddy> yep. They're a special API that can be silently applied to old messages
<Drup>
Bluddy: Compared to the current situation, where a newcommer will see discord2 having major conversations with itself ?
<Drup>
:D
<Drup>
(newcommers to the IRC chan, yes, that stilll happen)
<discord2>
<Bluddy> Well, you have general which is your usual discord channel, and then #irc, which is self-explanatory
<discord2>
<Bluddy> So it does make sense
<discord2>
<Bluddy> The down side is obviously that IRC doesn't see everything going on
baroud` has joined #ocaml
jimmyrcom_ has joined #ocaml
<discord2>
<Perry> I did notice the bridge isn't sending markdown chars across which is bad.
<discord2>
<Perry> like this has underscores in it, but IRC doesn't see those.
loxs has joined #ocaml
<discord2>
<Perry> That surely can be fixed.
<companion_cube>
would it be possible to have a second IRC channel that is in communication with #general?
<companion_cube>
for those of us IRC users that don't want to miss on the fun
<discord2>
<Bluddy> Perry: that's an easy fix once I'm playing around with the bot, I think
baroud has quit [Ping timeout: 265 seconds]
hdon has quit [Ping timeout: 260 seconds]
<Drup>
I think having a maze of channel in irc and discord is just silly
<Drup>
just merge the big ones, and be done with it
<companion_cube>
hmmm
<discord2>
<Perry> We could just merge #irc and #general once the bridge is improved.
<discord2>
<Bluddy> Probably that's what I'll do
<Drup>
yeah
<discord2>
<Perry> For the moment with it not working quite optimally that might be premature, but eventually it's the right thing.
<discord2>
<Perry> BTW, if someone could look at: https://github.com/ocaml/ocaml/pull/1781 — if that gets fixed, it will make it easier to work on documentation improvements by speeding up the build process a lot.
<Drup>
Bluddy: did you heard back from the matrix people about the ocaml "group" ?
<discord2>
<Bluddy> I think I can also translate reactions to created messages, e.g. Tony added a 😋 reaction to Barry's message or something like that
jaar has quit [Ping timeout: 256 seconds]
<Drup>
Bluddy: as an irc user, just don't translate them
<companion_cube>
^
<Drup>
it's mostly just noise
<companion_cube>
it's nice as reactions, but spam as messages
<Drup>
exactly
<discord2>
<Bluddy> Drup: I haven't, but I was just able to create an ocamllang group, and that works. The thing is, matrix is really really not great, and looking at the issues, it can possibly mess up the discord server. So I'm treading carefully with that.
<Drup>
x)
<discord2>
<Bluddy> I disagree about reactions. It cleans up the bandwidth. Instead of everyone saying 'I agree', they just do a thumbs up and it shows the count. It's really good for this kind of chat. You can then mouse over to see who it was.
<companion_cube>
yes, but if you translate these as messages it's going to flood IRC
<discord2>
<Bluddy> Maybe I'll only translate specific things like thumbs up. Dunno yet -- I'll have to play around with that.
<discord2>
<Bluddy> Right, there has to be some heursitic. Maybe only for very recent messages or something like that.
<discord2>
<Bluddy> And limit the number of them per message.
<Drup>
Really, just don't translate them at all
<Drup>
it's pure flood from the IRC point of view, and will be seen a distributed for no added value
<discord2>
<Bluddy> That's obviously the easier thing to do 😃
<companion_cube>
let's be conservative wrt the amount of traffic broughgt to IRC, please
<companion_cube>
-g
<Drup>
it's also quite highly non-idiomatic for IRC to have auto-generated messages like that, so please, just don't try to impose discord idioms onto IRC
<discord2>
<Bluddy> OK got it. You'll be missing out on some beautiful emoticons though! I feel so bad for you guys. Just so, so bad.
<Drup>
I think I'll be able to manage not knowing how many people thumb up my rants :p
<discord2>
<Bluddy> I just had an idea: the bot can update a pinned message with the people present on IRC. Sweet.
<Drup>
You really want a pin with the list of the 300 nicks in the chan ?
<Drup>
the little "bot" marker next to the message seem sufficient to me
<discord2>
<Bluddy> Yeah but we can't complete your names. I guess it won't help with that anyway.
jaar has joined #ocaml
jaar has quit [Remote host closed the connection]
pierpal has quit [Ping timeout: 240 seconds]
loxs has quit [Quit: This computer has gone to sleep]
loxs has joined #ocaml
pierpal has joined #ocaml
loxs has quit [Client Quit]
loxs has joined #ocaml
dhil has quit [Ping timeout: 255 seconds]
loxs has quit [Client Quit]
loxs has joined #ocaml
loxs has quit [Client Quit]
loxs has joined #ocaml
loxs has quit [Client Quit]
loxs has joined #ocaml
loxs has quit [Client Quit]
loxs has joined #ocaml
loxs has quit [Client Quit]
loxs has joined #ocaml
loxs has quit [Client Quit]
loxs has joined #ocaml
loxs has quit [Client Quit]
<discord2>
<Perry> Clearly what we need is to create another chat protocol. That way we can increase the number of interoperability problems.
<Drup>
Yes, a meta chat protocole that unifies irc, matrix and discord
<Drup>
I propose we make it json based and call it JMPP.
pierpal has quit [Quit: Poof]
<companion_cube>
or just JPP
<companion_cube>
let's use yaml, it's so much simpler!
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
<Drup>
:D
loxs has joined #ocaml
pierpal has joined #ocaml
steenuil has quit [Remote host closed the connection]
loxs has quit [Quit: Leaving]
<discord2>
<Perry> If it's too simple will anyone want it? I thought people only wanted complicated solutoins now.
<discord2>
<Perry> Especially complicated solutions that are hard to implement and use.
<flux[m]>
Autogenerated messages should obviously be NOTICEs and then nobody would have anything to complain ;)
hdon has joined #ocaml
Haudegen has quit [Remote host closed the connection]
hdon has quit [Ping timeout: 248 seconds]
muelleme has joined #ocaml
orbifx has joined #ocaml
muelleme has quit [Ping timeout: 268 seconds]
Haudegen has joined #ocaml
hdon has joined #ocaml
steenuil has joined #ocaml
muelleme has joined #ocaml
jimmyrcom_ has quit [Ping timeout: 256 seconds]
muelleme has quit [Ping timeout: 256 seconds]
orbifx has quit [Ping timeout: 240 seconds]
jimmyrcom_ has joined #ocaml
elfring has quit [Quit: Konversation terminated!]
GreyFaceNoSpace has joined #ocaml
jnavila has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
ctrlsbstr has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
sz0 has quit [Quit: Connection closed for inactivity]
pierpal has quit [Read error: Connection reset by peer]
jnavila has quit [Ping timeout: 256 seconds]
jnavila has joined #ocaml
<Drup>
I've never used the smtlib input, but it seems pretty clear: you have a syntax error in your smtlib input :p
muelleme has joined #ocaml
<sh0t>
Yeah I guess that's the problem it's just that that string seems fine to me.
hdon has quit [Quit: Lost terminal]
jimmyrcom_ has quit [Quit: Leaving]
BitPuffin has quit [Remote host closed the connection]
baroud`` has joined #ocaml
baroud` has quit [Ping timeout: 248 seconds]
<sh0t>
Drup, yeah there was a problem in the input string haha
orbifx has joined #ocaml
<Drup>
:p
muesliLoops has joined #ocaml
<muesliLoops>
Hi everyone, I just started reading Real World Ocaml online and this example does not work for me "let magnitude { x = x_pos; y = y_pos } = Float.sqrt (x_pos **. 2. +. y_pos **. 2.);;", Says unbound value '**.', did the operator change?
<muesliLoops>
It's supposed to be the operator for exponentiation for float
<spew>
the pervasives module has (**) not (**.), but maybe (**.) is some core thing, I don't know