adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.06.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.06/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
hdon has quit [Ping timeout: 256 seconds]
caltelt_ has joined #ocaml
FreeBirdLjj has joined #ocaml
halogenandtoast has joined #ocaml
neatonk has joined #ocaml
FreeBirdLjj has quit [Read error: Connection reset by peer]
halogenandtoast has quit [Ping timeout: 264 seconds]
markoong has quit [Read error: Connection reset by peer]
isd has joined #ocaml
markoong has joined #ocaml
markoong has quit [Ping timeout: 260 seconds]
neatonk has quit [Ping timeout: 276 seconds]
hdon has joined #ocaml
halogenandtoast has joined #ocaml
SomeDamnBody has quit [Ping timeout: 276 seconds]
silver has quit [Read error: Connection reset by peer]
hdon has quit [Ping timeout: 240 seconds]
kleimkuhler has quit [Quit: kleimkuhler]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 255 seconds]
kleimkuhler has joined #ocaml
SomeDamnBody has joined #ocaml
tormen_ has joined #ocaml
tormen has quit [Ping timeout: 256 seconds]
mk9 has joined #ocaml
mfp has quit [Ping timeout: 264 seconds]
ratschance has quit [Remote host closed the connection]
ratschance has joined #ocaml
alphor has quit [Ping timeout: 245 seconds]
alphor has joined #ocaml
loli has quit [Quit: WeeChat 2.1]
loli has joined #ocaml
pierpa has quit [Quit: Page closed]
tautologico has joined #ocaml
mk9 has quit [Quit: mk9]
jao has quit [Ping timeout: 255 seconds]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
hdon has joined #ocaml
hdon has quit [Ping timeout: 248 seconds]
pierpal has quit [Read error: Connection reset by peer]
loli has quit [Quit: WeeChat 2.1]
loli has joined #ocaml
jbrown has quit [Ping timeout: 260 seconds]
mbuf has joined #ocaml
pierpal has joined #ocaml
hdon has joined #ocaml
hdon has quit [Ping timeout: 260 seconds]
malina has quit [Ping timeout: 240 seconds]
hdon has joined #ocaml
kleimkuhler has quit [Quit: kleimkuhler]
kleimkuhler has joined #ocaml
hdon has quit [Ping timeout: 256 seconds]
kleimkuhler has quit [Quit: kleimkuhler]
isd has quit [Quit: Leaving.]
kleimkuhler has joined #ocaml
kleimkuhler has quit [Quit: kleimkuhler]
cbot has quit [Quit: Leaving]
hdon has joined #ocaml
barcabuona has joined #ocaml
SomeName has joined #ocaml
hdon has quit [Ping timeout: 264 seconds]
barcabuona has quit [Ping timeout: 248 seconds]
moolc has joined #ocaml
ozzymcduff has joined #ocaml
sagotch has joined #ocaml
SomeDamnBody has quit [Ping timeout: 245 seconds]
caltelt_ has quit [Ping timeout: 256 seconds]
ozzymcduff has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
hdon has joined #ocaml
Haudegen has joined #ocaml
pierpal has quit [Ping timeout: 265 seconds]
SomeName has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
ozzymcduff has joined #ocaml
tautologico has quit [Quit: Connection closed for inactivity]
SomeName has joined #ocaml
SomeName has quit [Client Quit]
chindy has joined #ocaml
steenuil has quit [Remote host closed the connection]
steenuil has joined #ocaml
tarptaeya has joined #ocaml
jaar has joined #ocaml
ziyourenxiang_ has joined #ocaml
hdon has quit [Ping timeout: 276 seconds]
mk9 has joined #ocaml
mbuf has quit [Quit: Leaving]
argent_smith has joined #ocaml
ozzymcduff has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mk9 has quit [Quit: mk9]
TarVanimelde has joined #ocaml
hdon has joined #ocaml
hdon has quit [Ping timeout: 248 seconds]
ozzymcduff has joined #ocaml
pierpal has joined #ocaml
TarVanimelde has quit [Quit: TarVanimelde]
zolk3ri has joined #ocaml
pierpal has quit [Ping timeout: 240 seconds]
halogenandtoast has quit [Ping timeout: 240 seconds]
hdon has joined #ocaml
hdon has quit [Ping timeout: 245 seconds]
hdon has joined #ocaml
mfp has joined #ocaml
halogenandtoast has joined #ocaml
hdon has quit [Ping timeout: 268 seconds]
pierpal has joined #ocaml
mk9 has joined #ocaml
mk9 has quit [Client Quit]
mbuf has joined #ocaml
shinnya has quit [Ping timeout: 240 seconds]
nullifidian has quit [Remote host closed the connection]
Haudegen has quit [Remote host closed the connection]
argent_smith has quit [Ping timeout: 240 seconds]
sagotch has quit [Ping timeout: 256 seconds]
moolc has quit [Quit: ERC (IRC client for Emacs 27.0.50)]
hdon has joined #ocaml
jao has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
dhil has joined #ocaml
Haudegen has joined #ocaml
tokomak has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
hdon has quit [Ping timeout: 256 seconds]
gareppa has joined #ocaml
gareppa has quit [Client Quit]
markoong has joined #ocaml
hdon has joined #ocaml
<xvilka> Hi!
<xvilka> how quickly sort Hashtbl?
<xvilka> And why there is no such function out of the box
hdon has quit [Ping timeout: 240 seconds]
gtrak has joined #ocaml
ziyourenxiang_ has quit [Quit: Leaving]
ziyourenxiang has joined #ocaml
<octachron> what do you mean by sorting an Hashtbl?
<xvilka> octachron: sort by key in my case, i have Int64.Table.create ()
<octachron> but what do you intend to sort by key? The hash table bindings? Then you can you use "tbl |> Hashtbl.to_seq |> List.of_seq |> List.sort compare" for instance
sagotch has joined #ocaml
<octachron> but the notion of sorting the hashtable itself makes little sense
<xvilka> yes, I do use conversion into list
<xvilka> I thought maybe here is more effective solution
mk9 has joined #ocaml
mk9_ has joined #ocaml
shinnya has joined #ocaml
mk9 has quit [Ping timeout: 256 seconds]
mk9_ is now known as mk9
gtrak has quit [Ping timeout: 256 seconds]
<octachron> No? A hash table is a intrisically sorted according to the preorder induced by the hash function, but there is no way to go from this ordering to another arbitrary order without resorting the whole set of bindings
<octachron> (except strange cases where the target ordering and the hash ordering are somehow related)
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
gtrak has joined #ocaml
mbuf has quit [Quit: Leaving]
mk9_ has joined #ocaml
<xvilka> ok, one more question - how to destructively insert into a tree of type "type tree = Empty | Node of 'a * 'a tree * 'a tree list" (multitree). Why destructively? Because I need to store both rootnode and currentnode. While building tree rootnode is the first, so if I store it, no children appears in it
mk9 has quit [Read error: Connection reset by peer]
mk9_ is now known as mk9
gtrak has quit [Ping timeout: 255 seconds]
<octachron> xvilka, without more information, you can first remove then insert
mk9 has quit [Quit: mk9]
FreeBirdLjj has joined #ocaml
<companion_cube> the preorder of the hash function modulo the size of the table, even
neatonk has joined #ocaml
malina has joined #ocaml
mbuf has joined #ocaml
Haudegen has quit [Remote host closed the connection]
Haudegen has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
hdon has joined #ocaml
gtrak has joined #ocaml
hdon has quit [Ping timeout: 255 seconds]
FreeBirdLjj has joined #ocaml
malina has quit [Ping timeout: 240 seconds]
jbrown has joined #ocaml
nullifidian has joined #ocaml
discord has joined #ocaml
neatonk has quit [Ping timeout: 260 seconds]
SomeDamnBody has joined #ocaml
neatonk has joined #ocaml
shinnya has quit [Ping timeout: 255 seconds]
nullifidian has quit [Remote host closed the connection]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
halogenandtoast has quit [Ping timeout: 276 seconds]
ozzymcduff has quit [Remote host closed the connection]
malina has joined #ocaml
mbuf has quit [Quit: Leaving]
malina has quit [Ping timeout: 256 seconds]
dakk has joined #ocaml
pierpal has quit [Ping timeout: 264 seconds]
shinnya has joined #ocaml
nullifidian has joined #ocaml
letoh_ has joined #ocaml
hdon has joined #ocaml
moolc has joined #ocaml
letoh has quit [Ping timeout: 268 seconds]
letoh_ is now known as letoh
Haudegen has quit [Remote host closed the connection]
hdon has quit [Ping timeout: 245 seconds]
<discord> <Christophe> What does it run on?
SomeDamnBody has quit [Ping timeout: 240 seconds]
pierpal has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
<discord> <Bluddy> It's on the ocaml infrastructure on the cloud. Looks like RSS-bot ran out of memory
<companion_cube> grrr, I should write an alcotest backend for qcheck, I think
sagotch has quit [Ping timeout: 240 seconds]
dhil has quit [Ping timeout: 276 seconds]
dhil has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]
sagotch has joined #ocaml
Haudegen has joined #ocaml
sagotch_ has joined #ocaml
sagotch has quit [Ping timeout: 265 seconds]
dakk has quit [Remote host closed the connection]
sagotch has joined #ocaml
hdon has joined #ocaml
sagotch_ has quit [Ping timeout: 264 seconds]
hdon has quit [Ping timeout: 256 seconds]
jnavila has joined #ocaml
ziyourenxiang has quit [Ping timeout: 256 seconds]
shinnya has quit [Ping timeout: 248 seconds]
gsingh93_ has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
sagotch has quit [Ping timeout: 256 seconds]
jnavila has joined #ocaml
cthuluh has quit [Ping timeout: 264 seconds]
jnavila has quit [Ping timeout: 245 seconds]
hdon has joined #ocaml
jao has quit [Remote host closed the connection]
hdon has quit [Ping timeout: 248 seconds]
ygrek has joined #ocaml
jaar has quit [Ping timeout: 248 seconds]
silver has joined #ocaml
jao has joined #ocaml
hdon has joined #ocaml
Haudegen has quit [Ping timeout: 256 seconds]
Haudegen has joined #ocaml
jao has quit [Ping timeout: 256 seconds]
tarptaeya has quit [Quit: Konversation terminated!]
tokomak has joined #ocaml
yomimono has joined #ocaml
moolc has quit [Remote host closed the connection]
jao has joined #ocaml
hdon has quit [Ping timeout: 260 seconds]
hdon has joined #ocaml
halogenandtoast has joined #ocaml
<Drup> Yes.
<companion_cube> (and probably make the ounit backend optional, but… that would again break compat :/)
halogenandtoast has quit [Ping timeout: 256 seconds]
larhat has joined #ocaml
jnavila has joined #ocaml
gsingh93_ has quit [Quit: Connection closed for inactivity]
hdon has quit [Ping timeout: 248 seconds]
jnavila has quit [Remote host closed the connection]
freyr69 has joined #ocaml
dtornabene has joined #ocaml
cthuluh has joined #ocaml
coventry has joined #ocaml
<Leonidas> then bump the version, no big deal
<coventry> Is this an appropriate place to ask ocsigen questions? Anyone got a way to configure merlin to ignore the eliomc special syntax, like `%%shared`?
<Drup> You can't :(
<Drup> Oh, to *ignore*, hmm, not sure
<coventry> OK, thanks.
<coventry> I guess it needs its own merlin.
<coventry> Is there a way to point it at definitions in .eliom files, so it roughly works in multi-file projects?
<Drup> Yeah, you can point it to the subdirectories .client and/or .server
dhil has quit [Ping timeout: 256 seconds]
<coventry> For some reason, that leads to merlin no longer recognizing `Eliom_*` modules, in some contexts. E.g., `Eliom_parameter.(suffix (suffix_const "deposit"))` is accepted, but `Eliom_parameter.(suffix (suffix_const "transfer"))` is rejected two lines down. (Both in `%%shared` context.)
<coventry> Also, I only have the _client subdirectory, not the _server one.
<coventry> Oh, I just had to run the right make command.
<coventry> Thanks!
<companion_cube> Drup: do you use alcotest, in practice?
Haudegen has quit [Remote host closed the connection]
<companion_cube> it's be helpful to have a user to help me make the sublibrary
<companion_cube> I just split into qcheck.ounit
sz0 has joined #ocaml
hdon has joined #ocaml
<coventry> What does it mean to provide more than one unit as an argument in a function signature? E.g. `fun () () -> blah`.
<companion_cube> it means the API might be suboptimal :-)
<companion_cube> that's quite a strange signature, even though it's valid
tokomak has quit [Ping timeout: 240 seconds]
<Drup> companion_cube: I do, ocasionally
<coventry> (Search for "My_app.create")
<Drup> coventry: well, it takes two arguments, and they both are units :D
<companion_cube> Drup: what would the expected interface of `QCheck_alcotest` look like?
<Drup> coventry: the two arguments are the GET and POST arguments, if you have none, then both are units
<zozozo> companion_cube: coventry imagine a function that creates a generator, of type unit -> 'a gen = unit -> (unit -> 'a) ?
<Drup> companion_cube: It's too late and I have pinte of cider in me. I'm not able to answer that question
<companion_cube> yeah, but it's more an instantiation of a polymorphic type alias then
<companion_cube> heh
<companion_cube> Drup: it's ok, I'll assign you ;)
Haudegen has joined #ocaml
<Drup> Damn, I should learn to shut up
<companion_cube> :D
<companion_cube> the cider has spoken for you
<coventry> Thanks, guys. Where is that API documented? It's not clear from https://ocsigen.org/eliom/6.3/api/server/Eliom_registration.App
shinnya has joined #ocaml
<Drup> coventry: there is a little bit of type magic involved
<Drup> coventry: this should be the best: https://ocsigen.org/eliom/6.3/manual/server-outputs
<coventry> Great, thanks.
Haudegen has quit [Read error: Connection reset by peer]
<Drup> (This is minor type magic, but can be intimidating neverthless)
Haudegen has joined #ocaml
freyr69 has quit [Remote host closed the connection]
yomimono has quit [Ping timeout: 256 seconds]
gtrak has quit [Quit: WeeChat 2.1]
shinnya has quit [Ping timeout: 260 seconds]
Jesin has joined #ocaml
yomimono has joined #ocaml
coventry has quit [Ping timeout: 268 seconds]
larhat has quit [Quit: Leaving.]
zolk3ri has quit [Ping timeout: 245 seconds]
pierpal has quit [Ping timeout: 256 seconds]
cbot has joined #ocaml
loli has quit [Quit: WeeChat 2.1]
caltelt_ has joined #ocaml
loli has joined #ocaml
loli has quit [Quit: WeeChat 2.1]
Haudegen has quit [Read error: Connection reset by peer]
caltelt_ has quit [Ping timeout: 260 seconds]
ecalg42` has joined #ocaml
nopf has joined #ocaml
ecalg42` has quit [Ping timeout: 240 seconds]
caltelt_ has joined #ocaml
Jesin has quit [Quit: Leaving]
Jesin has joined #ocaml
ecalg42 has joined #ocaml
sgnb has quit [Ping timeout: 260 seconds]
ecalg42 has quit [Remote host closed the connection]