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
dedgrant has quit [Ping timeout: 240 seconds]
Muzer has joined #ocaml
zolk3ri has quit [Remote host closed the connection]
gtrak has quit [Ping timeout: 260 seconds]
sh0t has joined #ocaml
spew has joined #ocaml
spew has quit [Ping timeout: 248 seconds]
silver has quit [Read error: Connection reset by peer]
spew has joined #ocaml
spew has quit [Ping timeout: 240 seconds]
hdon has quit [Ping timeout: 248 seconds]
hdon has joined #ocaml
spew has joined #ocaml
hdon has quit [Ping timeout: 248 seconds]
h11 has joined #ocaml
shinnya has joined #ocaml
tormen_ has joined #ocaml
tormen has quit [Ping timeout: 260 seconds]
mfp has quit [Ping timeout: 240 seconds]
Chobbes has quit [Quit: WeeChat 1.9.1]
malina has joined #ocaml
bramford_ has quit [Remote host closed the connection]
bramford has joined #ocaml
govg has quit [Ping timeout: 260 seconds]
spew has quit [Quit: Leaving]
sh0t has quit [Remote host closed the connection]
lostman has joined #ocaml
govg has joined #ocaml
pierpal has quit [Ping timeout: 245 seconds]
pierpal has joined #ocaml
al-damiri has quit [Quit: Connection closed for inactivity]
pierpal has quit [Read error: Connection reset by peer]
hdon has joined #ocaml
hdon has quit [Ping timeout: 248 seconds]
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
mbuf has joined #ocaml
pierpal has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
unyu has quit [Ping timeout: 245 seconds]
pierpal has joined #ocaml
unyu has joined #ocaml
malina has quit [Ping timeout: 248 seconds]
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
bartholin has quit [Ping timeout: 245 seconds]
bartholin has joined #ocaml
on_ion has quit [Ping timeout: 240 seconds]
on_ion has joined #ocaml
tarptaeya has joined #ocaml
Simn has joined #ocaml
<Simn> Hi, if I have this code: https://paste2.org/EtzBjekg How can I prevent the "The method send_error has type Json.t list -> 'c where 'c is unbound" error? Is there a bottom type I can use?
mcspud has quit [Ping timeout: 260 seconds]
hdon has joined #ocaml
hdon has quit [Ping timeout: 244 seconds]
Armael has quit [Ping timeout: 260 seconds]
Armael has joined #ocaml
mcspud has joined #ocaml
lostman has quit [Quit: Connection closed for inactivity]
argent_smith has joined #ocaml
pierpal has joined #ocaml
<Simn> To answer my own question: `method send_error : 'a . Json.t list -> 'a = fun jl ->` works
tarptaeya has quit [Remote host closed the connection]
tarptaeya has joined #ocaml
hdon has joined #ocaml
sgnb` has quit [Remote host closed the connection]
le4fy has quit [Ping timeout: 256 seconds]
pierpal has quit [Ping timeout: 245 seconds]
monstasat has joined #ocaml
<monstasat> Hi! I am having a trouble with including a module into another module. I have a library named 'common' in my project, it has module 'uri.ml' which I want to extend with Uri library by 'include Uri'. When I'm trying to compile this, I get the following error:
<monstasat> Internal path Common__Uri is dangling.
<monstasat> The compiled interface for module Common__Uri was not found.
<monstasat> What can be wrong here?
hdon has quit [Changing host]
hdon has joined #ocaml
<monstasat> Tried to search for this error and possible solutions in google but had no success
<discord5> <bobby> monstasat, perhaps this could help https://github.com/ocaml/dune/issues/275
<monstasat> bobby, This is the only thread on this topic I've found too, but it seems that I can't qualify my path to external Uri library like it is supposed in this thread
<monstasat> maybe the problem is that jbuilder interpretes Uri in 'include Uri' not as an external library but as my 'uri.ml' module, trying to include itself?
<monstasat> when I rename my module to 'ur.ml', for example, everything is fine
<monstasat> But I don't want to rename my module, as my purpose is to extend existing library within my project
malina has joined #ocaml
Simn has quit [Quit: Leaving]
Haudegen has joined #ocaml
<discord5> <bobby> yeah that is most likely the issue, and you would need to somehow qualify the Uri, but not sure how you could
<discord5> <bobby> perhaps you could use uri_extended.ml and use module Uri = Uri_extended where you use it... but that is jumping through hoops
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 244 seconds]
keep_learning has quit [Ping timeout: 260 seconds]
kakadu has joined #ocaml
govg has quit [Quit: leaving]
pierpal has joined #ocaml
keep_learning has joined #ocaml
Haudegen has quit [Remote host closed the connection]
Haudegen has joined #ocaml
hdon has quit [Ping timeout: 240 seconds]
zolk3ri has joined #ocaml
mfp has joined #ocaml
ziyourenxiang has joined #ocaml
malina has quit [Ping timeout: 268 seconds]
hdon has joined #ocaml
pierpal has quit [Ping timeout: 244 seconds]
<discord5> <loxs> what's the practical difference between Containers' CCFQueue and CCSimple_queue?
pierpal has joined #ocaml
mk9 has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
silver has joined #ocaml
hdon has quit [Ping timeout: 260 seconds]
malina has joined #ocaml
gtrak has joined #ocaml
tarptaeya has quit [Ping timeout: 260 seconds]
tarptaeya has joined #ocaml
<Enjolras> loxs: apparently the implementation. It looks like CCSimple_queue is the classical amortized two single linked list queue
<Enjolras> CCFQueue, i'm not sure what it is but it looks much more clever, with unrolling and stuff
<discord5> <loxs> so it'll be a lot faster then?
<Enjolras> theorically yes
<Enjolras> i've not benched both to tell you in which case which one is faster
<Enjolras> For instance, if you push N elements into the queue the pop then all i suspect Simple_queue would be faster
<Enjolras> it's just a wild guess though
<Enjolras> on the other hand, if you mix push and pop in a bad way you can destroy the amortiation benefits
<Enjolras> also CCFQueue is probably faster if your queue stays mostly small (< 3 elements) as it's specialized for those cases
<discord5> <loxs> My usage will vary dramatically, most cases will be with small queue, but sometimes it may grow to hundreds of entries without taking anything
<discord5> <loxs> so from your writing I take it that I'm still better off with CCFQueue
<Enjolras> i suspect unless you care a lot about performance both should be fine anyway
<Enjolras> and if you care about performance you should try in real condition and check which one performs better
mk9 has quit [Quit: mk9]
spew has joined #ocaml
mk9 has joined #ocaml
Deknos has joined #ocaml
Soni has quit [Ping timeout: 276 seconds]
mk9 has quit [Quit: mk9]
mk9 has joined #ocaml
mk9 has quit [Client Quit]
kini has quit [Quit: No Ping reply in 180 seconds.]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
unyu has quit [Quit: Reboot.]
kini has joined #ocaml
FreeBirdLjj has joined #ocaml
Soni has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 244 seconds]
pierpal has quit [Ping timeout: 240 seconds]
Deknos has left #ocaml [#ocaml]
pierpal has joined #ocaml
Haudegen has quit [Remote host closed the connection]
mbuf has quit [Quit: Leaving]
hdon has joined #ocaml
hdon has quit [Ping timeout: 260 seconds]
<discord5> <mars0i> @loxs if the interfaces are similar it should be easy to do speed comparisons if you use module aliases.
<companion_cube> for small number of elements my guess is CCSimple_queue might be faster, because it shouldn't allocate much
<companion_cube> but yeah, benchmarking is neat
pierpal has quit [Read error: Connection reset by peer]
Haudegen has joined #ocaml
Soni has quit [Ping timeout: 245 seconds]
sh0t has joined #ocaml
Soni has joined #ocaml
Soni has quit [Remote host closed the connection]
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 240 seconds]
BitPuffin has joined #ocaml
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 244 seconds]
exarkun has quit [Read error: Connection reset by peer]
exarkun has joined #ocaml
pierpal has joined #ocaml
tarptaeya has quit [Ping timeout: 240 seconds]
tarptaeya has joined #ocaml
mnemem has joined #ocaml
pierpal has quit [Ping timeout: 248 seconds]
mnemem has quit [Ping timeout: 240 seconds]
monstasat has quit [Quit: Ухожу я от вас]
mnemem has joined #ocaml
mnemem has quit [Client Quit]
mnemem has joined #ocaml
mnemem has quit [Client Quit]
mnemem has joined #ocaml
FreeBirdLjj has joined #ocaml
shinnya has quit [Ping timeout: 240 seconds]
Soni has joined #ocaml
mnemem has quit [Ping timeout: 240 seconds]
mk9 has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
mk9 has quit [Quit: mk9]
FreeBirdLjj has joined #ocaml
pierpal has joined #ocaml
tizoc has quit [Quit: Coyote finally caught me]
gtrak has quit [Ping timeout: 256 seconds]
tizoc has joined #ocaml
gtrak has joined #ocaml
neatonk has quit [Quit: neatonk]
pierpal has quit [Ping timeout: 244 seconds]
neatonk has joined #ocaml
unyu has joined #ocaml
ziyourenxiang has quit [Ping timeout: 240 seconds]
Haudegen has quit [Remote host closed the connection]
mk9 has joined #ocaml
mk9 has quit [Client Quit]
gtrak has quit [Ping timeout: 240 seconds]
gtrak has joined #ocaml
Haudegen has joined #ocaml
Soni has quit [Read error: Connection reset by peer]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
jnavila has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 256 seconds]
Soni has joined #ocaml
hdon has joined #ocaml
al-damiri has joined #ocaml
hdon has quit [Ping timeout: 248 seconds]
cbot has joined #ocaml
gtrak has quit [Ping timeout: 260 seconds]
gtrak has joined #ocaml
pierpal has joined #ocaml
mk9 has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
pierpal has quit [Ping timeout: 256 seconds]
hdon has joined #ocaml
pierpal has joined #ocaml
NingaLeaf has joined #ocaml
colortear has joined #ocaml
jnavila has joined #ocaml
colortear has quit [Quit: WeeChat 1.4]
larhat has joined #ocaml
tarptaeya has quit [Ping timeout: 244 seconds]
tarptaeya has joined #ocaml
mnemem has joined #ocaml
kakadu_ has joined #ocaml
mk9 has quit [Quit: mk9]
tarptaeya has quit [Ping timeout: 240 seconds]
baroud has joined #ocaml
pierpal 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
malina has quit [Ping timeout: 256 seconds]
pierpal has quit [Read error: Connection reset by peer]
<mnemem> set weechat
hdon has quit [Changing host]
hdon has joined #ocaml
<mnemem> woops, sorry.
NingaLeaf has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Ankhers has joined #ocaml
steenuil has quit [Remote host closed the connection]
steenuil has joined #ocaml
gtrak has quit [Ping timeout: 260 seconds]
bronsen has quit [Remote host closed the connection]
steenuil has quit [Remote host closed the connection]
bronsen has joined #ocaml
steenuil has joined #ocaml
gtrak has joined #ocaml
jao has joined #ocaml
pierpal has joined #ocaml
mnemem has quit [Quit: WeeChat 2.0.1]
mnemem has joined #ocaml
mnemem has quit [Client Quit]
mnemem has joined #ocaml
cbot has quit [Ping timeout: 255 seconds]
NingaLeaf has joined #ocaml
mnemem has quit [Quit: WeeChat 2.0.1]
mnemem has joined #ocaml
mnemem has quit [Client Quit]
mnemem has joined #ocaml
<copy`> companion_cube: Is the use of `Sys.opaque_identity (ignore (…))` right? I think the compiler might optimise away the `ignore (…)` expression before it forgets about it due to `opaque_identity`. https://github.com/c-cube/ocaml-containers/blob/master/benchs/run_benchs.ml#L116
<companion_cube> Sys.opaque_identity prevents OCaml from not evaluating what's inside, afaik
<companion_cube> (from "optimizing away")
bairui has quit [Ping timeout: 264 seconds]
cbot has joined #ocaml
<copy`> So it would prevent OCaml from optimising away the value returned by `ignore`, wouldn't it?
<discord5> <copy> In my mental model Sys.opaque_identity works as if it stored its argument in a global variable or so
<companion_cube> copy`: yes, that's my understanding
<companion_cube> you could move `ignore` outside, too, the important part is not to kill the computation
baroud has quit [Ping timeout: 276 seconds]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
kakadu_ has quit [Remote host closed the connection]
larhat has quit [Quit: Leaving.]
gtrak has quit [Ping timeout: 256 seconds]
bairui has joined #ocaml
gtrak has joined #ocaml
exarkun has quit [Read error: Connection reset by peer]
pierpa has joined #ocaml
jnavila has quit [Remote host closed the connection]
gtrak has quit [Ping timeout: 256 seconds]
gtrak has joined #ocaml
exarkun has joined #ocaml
zolk3ri has quit [Ping timeout: 244 seconds]
mk9 has joined #ocaml
mk9 has quit [Remote host closed the connection]
<discord5> <Perry> Too many copies of copy.
<copy`> Too many chat clients
gtrak has quit [Ping timeout: 240 seconds]
unyu has quit [Read error: Connection reset by peer]
unyu has joined #ocaml
gtrak has joined #ocaml
<copy`> companion_cube: I had to delete the `CCHashTrie` benchmarks in order to run other benchmarks on 4.06.1+flambda (just FYI, it's the same bug that you already reported on mantis)
larhat has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
NingaLeaf has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<companion_cube> ah, yes :-/
mnemem has quit [Ping timeout: 260 seconds]
zolk3ri has joined #ocaml
mnemem has joined #ocaml
mnemem has quit [Ping timeout: 256 seconds]
argent_smith has quit [Quit: Leaving.]
<companion_cube> copy`: do you have results? I'm curious
dedgrant has joined #ocaml
sh0t has quit [Remote host closed the connection]
spew has quit [Quit: Connection closed for inactivity]
butterthebuddha has quit [Max SendQ exceeded]
butterthebuddha has joined #ocaml
mnemem has joined #ocaml
butterthebuddha has left #ocaml [#ocaml]
mnemem has quit [Ping timeout: 260 seconds]
mnemem has joined #ocaml
gtrak has quit [Ping timeout: 240 seconds]
mnemem has quit [Ping timeout: 240 seconds]
BitPuffin has quit [Remote host closed the connection]
shinnya has joined #ocaml
mk9 has joined #ocaml
sh0t has joined #ocaml
larhat has quit [Quit: Leaving.]