adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml MOOC http://1149.fr/ocaml-mooc | OCaml 4.02.3 announced http://ocaml.org/releases/4.02.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
Simn has quit [Quit: Leaving]
madroach_ has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
jbrown has quit [Ping timeout: 245 seconds]
jbrown has joined #ocaml
jwatzman|work has quit [Quit: jwatzman|work]
NingaLeaf123 has joined #ocaml
govg has joined #ocaml
NingaLeaf has quit [Ping timeout: 272 seconds]
madroach_ has quit [Ping timeout: 246 seconds]
madroach has joined #ocaml
ncthom91 has joined #ocaml
govg has quit [Ping timeout: 272 seconds]
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
NingaLeaf123 has quit [Read error: Connection reset by peer]
NingaLeaf123 has joined #ocaml
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ncthom91 has joined #ocaml
lewis1711 has joined #ocaml
jbrown has quit [Ping timeout: 240 seconds]
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Sorella has joined #ocaml
jbrown has joined #ocaml
ceryo has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
ceryo has joined #ocaml
FreeBirdLjj has joined #ocaml
segmond has joined #ocaml
segmond has quit [Ping timeout: 264 seconds]
segmond has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
ncthom91 has joined #ocaml
govg has joined #ocaml
SuperNoeMan has quit [Ping timeout: 240 seconds]
segmond has quit [Read error: Connection reset by peer]
govg has quit [Ping timeout: 272 seconds]
SuperNoeMan has joined #ocaml
nojb has joined #ocaml
FreeBirdLjj has joined #ocaml
<apache2_> let b = `Unhandled in begin match 1 , b with | _ , `Handled -> "ok" | _ , x -> begin match x with `Unhandled -> "unhandled 1" end end ;;
<apache2_> Characters 79-129: Warning 8: this pattern-matching is not exhaustive. Here is an example of a value that is not matched:
<apache2_> `Handled
<apache2_> shouldn't the pattern matching engine be able to recognize that it is in fact handled?
<apache2_> let b = `Handled in begin match 1 , b with | _ , `Handled -> "ok" | _ , x -> begin match x with `Unhandled -> "unhandled 1" end end ;;
<apache2_> Characters 77-127: Warning 8: this pattern-matching is not exhaustive. Here is an example of a value that is not matched:
<apache2_> `Handled
nojb has quit [Ping timeout: 250 seconds]
<apache2_> - : bytes = "ok"
<apache2_> the matching on x will only happen if x is not `Handled
Algebr has joined #ocaml
Algebr is now known as Guest41671
toomuchtvrotsurb has quit [Remote host closed the connection]
<cody`> Exhaustiveness is only checked per match
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ceryo has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
lewis1711 has quit [Ping timeout: 250 seconds]
igoroliveira has quit [Quit: Connection closed for inactivity]
damason has quit [Quit: No Ping reply in 180 seconds.]
damason has joined #ocaml
Guest41671 has quit [Ping timeout: 250 seconds]
jonh has left #ocaml ["WeeChat 0.4.2"]
nullcatxxx_ has joined #ocaml
jeffmo has quit [Quit: jeffmo]
bitbckt has quit [Remote host closed the connection]
Guest41671 has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 272 seconds]
bitbckt has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
nullcatxxx_ has quit [Read error: Connection reset by peer]
nullcatxxx_ has joined #ocaml
nchambers has quit [Quit: compilerdev.net - Compilers made easy]
yegods has quit [Remote host closed the connection]
nullcatxxx_ has quit [Read error: Connection reset by peer]
pierpa has quit [Ping timeout: 240 seconds]
nullcatxxx_ has joined #ocaml
chambart has quit [Ping timeout: 256 seconds]
contempt has quit [Disconnected by services]
contempt has joined #ocaml
nullcatxxx_ has quit [Read error: Connection reset by peer]
nullcatxxx_ has joined #ocaml
Guest41671 has quit [Ping timeout: 240 seconds]
mac10688 has quit [Ping timeout: 272 seconds]
ncthom91 has joined #ocaml
ygrek_ has quit [Ping timeout: 250 seconds]
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
antkong has quit [Quit: antkong]
cody` has quit [Quit: Connection closed for inactivity]
keep_learning has joined #ocaml
hbar has joined #ocaml
darkf has joined #ocaml
MercurialAlchemi has joined #ocaml
nullcatxxx_ has quit [Read error: Connection reset by peer]
Guest72510 has quit [Changing host]
Guest72510 has joined #ocaml
Guest72510 is now known as trix
nullcatxxx_ has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
Sorella has quit [Quit: Connection closed for inactivity]
lewis1711 has joined #ocaml
FreeBirdLjj has joined #ocaml
<flux> I think apache2_ is onto something there, why does the type of 'x' still have `Handled in it?
sbrouf has quit [Ping timeout: 240 seconds]
<flux> hmm, but it doesn't work in the base case either. I was thinking it pretty sure should've.. but maybe I'm mixing it up with using explicit matches like match .. #f as x -> match x with ..
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
MercurialAlchemi has joined #ocaml
zpe has quit [Remote host closed the connection]
ggole has joined #ocaml
badon has quit [Disconnected by services]
badon_ has joined #ocaml
badon_ is now known as badon
Simn has joined #ocaml
ggole_ has joined #ocaml
ggole has quit [Ping timeout: 256 seconds]
malc_ has joined #ocaml
<zozozo> actually, I think this is where GADTs can be useful
ldopa has quit [Ping timeout: 272 seconds]
nojb has joined #ocaml
Nahra``` has quit [Ping timeout: 246 seconds]
jonludlam has quit [Remote host closed the connection]
ely-se has joined #ocaml
hay207 has joined #ocaml
<hay207> hi guys, how to install utop?
<hay207> im a beginner in ocaml
<struk|desk> hay207: did you install opam yet?
<hay207> yes
<struk|desk> opam install utop then
<hay207> opam init first?
<hay207> i get this : 'opam init' failed. , Fatal error:, Sys_error("/home/hay207/.opam/repo/default/packages/dockerfile/dockerfile.1.1.1/opam: Too many open files")
<hay207> using kubuntu 14.04
freehck has joined #ocaml
<freehck> Hello. I'd like to turn off warning about not axhaustive pattern-matching for a specific part of code. Is it possible?
<freehck> The function the compuler is blaming on is supposed to get a list and return the list of the same length. I've given 2 values list to this function so the list returned should have 2 values too. And there's no other case.
<ggole_> There's a ppx for that... lemme dig it up
<freehck> let echo lst = lst
<freehck> let [x;y] = echo [1;2]
<freehck> an example of the problem
Haudegen has quit [Ping timeout: 256 seconds]
<ggole_> Ah, there
<ggole_> [@ocaml.warning "-8"]
<freehck> thank you ggole_
<freehck> ggole_: and to turn it on I should next do [@ocaml.warning "+8"] ?
<ggole_> Just stick it on the end, ie: let [x;y] = echo [1;2] [@ocaml.warning "-8"]
<ggole_> No, it only applies to the annotated expression
<freehck> hm.. the scope of this expression is the line it's written?
t4nk260 has joined #ocaml
<freehck> it seems merlin knows nothing about it
sbrouf has joined #ocaml
<ggole_> Hmm, how recent is your ocaml?
ggole_ is now known as ggole
<freehck> ggole: 4.01.0
<ggole> Hmm. I think extension points are 4.02 or later.
<freehck> ggole: So I need to find the appropriate machanism with camlp4?
<ggole> I don't think camlp4 supports this.
t4nk260 has quit [Ping timeout: 252 seconds]
<ggole> You might have to resort to muffling warnings on the entire file :/
<ggole> (You can muffle only the exhaustiveness warning, but that's still pretty bad.)
<freehck> Bad news.
<ggole> Having looked around, extension points are indeed 4.02+.
<freehck> ggole: I suppose I can just use let x = echo [1;2];; let a = nth x 0;; let b = nth x 1;;
ygrek_ has joined #ocaml
<freehck> Seems ugly but a workaround.
<ggole> You can also use a match with assert false, although that's ugly as well
<freehck> yep
<ggole> It may be less error prone though, since you can name the variables rather than using indices
Haudegen has joined #ocaml
<malc_> freehck: let a::b::_ = [1;2];;
<freehck> malc_: no, it doesn't work of course.
<freehck> because the expression is not considered for the type int list is an empty list.
<freehck> you'd see it if you tried specifically let a::b::_ = echo [1;2];;
nojb has quit [Quit: nojb]
<ggole> Be aware that the toplevel muffles some warnings
<malc_> freehck: eh?
<malc_> and why aren't you using tupples anyway
<ggole> Because echo doesn't take a tuple, I imagine
freehck` has joined #ocaml
freehck has quit [Ping timeout: 245 seconds]
<ggole> There's a fairly common pattern where you have a list of repetitive calculations you want to bind the result of to variables, without duplicating the common parts
<ggole> Something like let [a;b;c;...] = List.map (fun x -> f arg x) [a0; b0; c0; ...]
<ggole> Being able to muffle warnings is nice for that.
<hay207> when i init opam, aspcud gives permission denied , should i run opam init as root?
Anarchos has joined #ocaml
<mrvn> ggole: let f0 = f arg in let a = f0 a0 in let b = f0 b0 in let c = f0 c0 in ...
<Anarchos> salut tout le monde
<mrvn> ggole: let (a, b, c, ...) = (f0 a0, f0 b0, f0 c0, ...)
<mrvn> No reason to use lists
nojb has joined #ocaml
<companion_cube> Anarchos: this is the english speaking channel :P
<ggole> Unless you object to typing the same thing out again and again like a monkey?
<Anarchos> companion_cube: "Honni soit qui mal y pense"
<Anarchos> :)
<Anarchos> companion_cube: but you are right, i typed into the wrong channel.
<Anarchos> companion_cube: thanks for your multiset module by the way, it helps me a lot
<companion_cube> :)
AlexRussia has quit [Ping timeout: 256 seconds]
Nahra``` has joined #ocaml
nojb has quit [Quit: nojb]
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
mort___ has joined #ocaml
ygrek_ has quit [Ping timeout: 240 seconds]
sbrouf has quit [Ping timeout: 272 seconds]
Nahra``` has quit [Ping timeout: 240 seconds]
dsheets_ has joined #ocaml
jonludlam has joined #ocaml
larhat1 has quit [Quit: Leaving.]
_andre has joined #ocaml
ely-se has quit [Quit: leaving]
<freehck`> How does ocamlfind look up for packages? Where does it stores the database of installed packages?
freehck` is now known as freehck
<freehck> Does it just look for META files in ocaml's library directory?
<adrien> ocamlfind printconf
jonludlam has quit [Ping timeout: 250 seconds]
ely-se has joined #ocaml
rand has joined #ocaml
jonludlam has joined #ocaml
sbrouf has joined #ocaml
dsheets_ has quit [Ping timeout: 240 seconds]
sbrouf has quit [Ping timeout: 250 seconds]
Kakadu has joined #ocaml
arquebus has joined #ocaml
zpe has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
groovy2shoes has quit [Ping timeout: 272 seconds]
malc_ has quit [Quit: leaving]
cody` has joined #ocaml
ely-se has quit [Quit: leaving]
groovy2shoes has joined #ocaml
lewis1711 has quit [Ping timeout: 256 seconds]
<hay207> i get External solver failure when i run ooam initwhen i run opam init, i get this error
<hay207> External solver failure, please fix your installation and check ~/.opam2/config and variable $OPAMEXTERNALSOLVER.
<hay207> i get this error when i run opam init
<hay207> sorry mistyped first statement
<hay207> nvm i cd'ed to home directory, and it works now :)
<hay207> does changing the working directory solve the problem ?
<hay207> the previous directory was /usr/share/man then i changed to home directory
<def`> it should not
<def`> it seems related to the solver and not to opam. Did you install aspcud?
arquebus has quit [Quit: Textual IRC Client: www.textualapp.com]
<hay207> i mean the current directory was not home , in pwd
<hay207> i installed aspcud
<hay207> anyhow opam runs now and i'm fine, just wanted to share my experience
<ggole> Did you run the eval thingy?
<hay207> i opened another terminal rather than running eval `opam config env`
<ggole> If your environment is set up properly, I think it has pretty much the same effect
dsheets_ has joined #ocaml
Intensity has quit [Ping timeout: 260 seconds]
Intensity has joined #ocaml
ely-se has joined #ocaml
Intensity has quit [Ping timeout: 260 seconds]
jonludlam has quit [Ping timeout: 272 seconds]
Intensity has joined #ocaml
jonludlam has joined #ocaml
lewis1711 has joined #ocaml
mort___ has quit [Quit: Leaving.]
ceryo has joined #ocaml
chambart has joined #ocaml
chambart has quit [Client Quit]
malc_ has joined #ocaml
Nahra``` has joined #ocaml
rand has quit [Ping timeout: 250 seconds]
Haudegen has quit [Ping timeout: 240 seconds]
native_killer has joined #ocaml
dsheets_ has quit [Ping timeout: 272 seconds]
<apache2_> flux: I would have expected the `Handled to be erased from the type definition before the second match. what is this '#f' syntax?
Haudegen has joined #ocaml
<apache2_> oh, wow, I didn't know there was such a thing as expression annotations. is that documented somewhere I missed?
ely-se has quit [Quit: leaving]
<ggole> #f means match anything from the polymorphic variant type called f
<ggole> apache2_: what do you mean by "erased from the type definition"?
Nahra``` has quit [Ping timeout: 240 seconds]
<apache2_> thanks drup
<apache2_> ggole: well, it seems to me that in this case the type would be [< `Handled | `Unhandled]
<ggole> Wouldn't you run into trouble with subtyping?
<apache2_> so if `Handled is already matched, x must have [< `Unhandled]
<apache2_> what do you mean?
<ggole> Sometimes you need explicit subtype coercions to use polymorphic variants where they are acceptable
<ggole> (It's done that way to make inference behave nicely.)
Anarchos has quit [Ping timeout: 252 seconds]
BitPuffin|osx has joined #ocaml
<apache2_> can you give an example? I'm not so strong in this type terminology
d0nn1e has quit [Ping timeout: 250 seconds]
d0nn1e has joined #ocaml
AlexRussia has joined #ocaml
yegods has joined #ocaml
ely-se has joined #ocaml
ely-se has quit [Quit: leaving]
Major_Biscuit has joined #ocaml
emias has quit [Quit: Bye]
pierpa has joined #ocaml
dsheets_ has joined #ocaml
Intensity has quit [Ping timeout: 260 seconds]
Intensity has joined #ocaml
freehck has quit [Ping timeout: 245 seconds]
ely-se has joined #ocaml
Intensity has quit [Remote host closed the connection]
<apache2_> ah hm, in this case I'd like to go the other way though
<apache2_> ggole: from an "abc" value to a "needs_coercion" type, hoping that pattern matching the `C away (guaranteeing that my "abc" cannot possibly be `C)
Intensity has joined #ocaml
keep_learning has quit [Quit: This computer has gone to sleep]
<ggole> The problem is that pattern matching does that, you get type errors that you would not otherwise get. Matching on an abc will not give you an abc, but a different type (that is coercible to an abc).
<ggole> *is that if
<ggole> So the suggestion to refine matched values in this way is not without problems (which is not to say a reasonable design is impossible...)
Nahra``` has joined #ocaml
<apache2_> alright :)
Intensity has quit [Ping timeout: 260 seconds]
<def`> OCaml type system is not expressive enough to represent "I eliminated one case"
<def`> (yet)
<gasche> although (#foo as x) is rather close to it
<gasche> (I don't see enough of the context of the present discussion to know whether this can help)
ncthom91 has joined #ocaml
<ggole> Yeah, it would be nice to be able to say something like let remove_foos x : t - Foo = ...
<ggole> Complexity would go up a bit, which is never wonderful.
<gasche> there might be something interesting to be done revisiting row variable design choices
<gasche> but that is a few-months-of-work affair, not a one-pull-request-at-a-time thing
<def`> more or less mandatory for typing effect system
<ggole> Elm has a similar mechanism for records
<gasche> if you are interested, send an internship application to Didier Rémy or Jacques Garrigue
keep_learning has joined #ocaml
<gasche> (or Leo/Jeremy maybe?)
<def`> one thing at a time :)
<gasche> some things can be done in the small, during week-end hacking sessions; I don't believe this one is
<gasche> def`: you have bigger fish to fry
<def`> ggole: problem is for records, the value representation is non trivial
<gasche> (also, hi)
<apache2_> btw, is there a way to make the compiler complain if a recursive function is not tail-recursive?
<def`> (hi)
<ggole> def`: right. Elm compiles into JS, so it can (more or less) rely on a strong speculative compiler eliding the cost much of the time
<ggole> I'm not sure how a more traditional AoT compiler would handle it.
<def`> ggole: yes. In OCaml you would endup with the hash based dispatch of objects (which is reasonably efficient)
<gasche> apache2_: not-yet-released OCaml version supports annotating tail calls with the @tailcall attribute
<def`> (also what objective-c runtime is doing too)
<def`> ggole: problem is that object extension is not (easily) safe in this model (I don't know how elm handles that)
<apache2_> gasche: alright, I'll wait :)
<ggole> Mmm. It might be OK for sums rather than records since there is already dispatch of a kind to piggyback on
<companion_cube> def`: for this to happen, we would have to introduce a kind system and explicit row variables, right?
<def`> companion_cube: I don't know, that's a matter of syntax
<ggole> def`: it's based on a particular paper which I cannot recall the name or author of at the moment
<def`> koka from Daan Leijen I guess
<def`> (or whatever first-class labels from same author)
cantstanya has joined #ocaml
<ggole> Not sure, but I have it sitting around
* ggole wanders off to check
* def` gasche au fait tu avais des remarques a me faire pour améliorer l'exposé ?
<def`> oups
<def`> wrong cmd
<rks`> nah, it's just fine
freehck has joined #ocaml
<ggole> Yeah, Leijen: "Extensible records with scoped labels"
<def`> rks`: :D
jeffmo has joined #ocaml
emias has joined #ocaml
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<ggole> (Which describes an encoding in Haskell)
Nahra``` has quit [Ping timeout: 256 seconds]
ely-se has quit [Quit: leaving]
Haudegen has quit [Remote host closed the connection]
linse has joined #ocaml
ely-se has joined #ocaml
Haudegen has joined #ocaml
Haudegen has quit [Ping timeout: 250 seconds]
kolko has quit [Ping timeout: 272 seconds]
linse has quit [Quit: linse]
Haudegen has joined #ocaml
mort___ has joined #ocaml
Intensity has joined #ocaml
kolko has joined #ocaml
Haudegen has quit [Read error: Connection reset by peer]
ncthom91 has joined #ocaml
ncthom91 has quit [Max SendQ exceeded]
<gasche> apache2_: I forgot to mention that this @tailcall attribute is due to your own companion_cube
ncthom91 has joined #ocaml
Haudegen has joined #ocaml
<companion_cube> \o/
<apache2_> <3
lewis1711 has quit [Ping timeout: 240 seconds]
octachron has joined #ocaml
lewis1711 has joined #ocaml
Haudegen has quit [Ping timeout: 272 seconds]
MercurialAlchemi has quit [Ping timeout: 272 seconds]
Major_Biscuit has quit [Quit: WeeChat 1.3]
Major_Biscuit has joined #ocaml
bobry has joined #ocaml
Nairwolf has joined #ocaml
infinity0 has quit [Ping timeout: 256 seconds]
Haudegen has joined #ocaml
Nahra``` has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
keep_learning has quit [Quit: This computer has gone to sleep]
infinity0 has joined #ocaml
jeffmo has quit [Quit: jeffmo]
Kakadu has quit [Quit: Page closed]
infinity0 has quit [Remote host closed the connection]
linse has joined #ocaml
infinity0 has joined #ocaml
itPuffin|osxB has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 240 seconds]
ely-se has quit [Quit: leaving]
slash^ has joined #ocaml
infinity0 has quit [Remote host closed the connection]
Major_Biscuit has quit [Quit: WeeChat 1.3]
jeffmo has joined #ocaml
infinity0 has joined #ocaml
Nahra``` has quit [Ping timeout: 256 seconds]
ldopa has joined #ocaml
<freehck> I'm very sorry for this question, I'm so ashamed, but... How could I learn wether a file is a symbolic link?
GooseYArd has left #ocaml [#ocaml]
<apache2_> freehck: don't be :) it depends on the operating system, but on freebsd/linux/most posix-ish operating systems you do it using stat()
<thizanne> $ file foo.bar
<freehck> I thought that I should use Unix.stat, but it fails when meet a brocken link.
<thizanne> oh, in ocaml :D makes sense.
<freehck> *broken
<freehck> Ah, I see there's lstat.
<freehck> Gotcha.
<apache2_> you found it yourself!
mort___ has quit [Quit: Leaving.]
cody` has quit [Quit: Connection closed for inactivity]
keep_learning has joined #ocaml
infinity0 has quit [Remote host closed the connection]
<lostman> does try catch Lwt exceptions? Or do I need try_lwt (try%lwt)? is there an idiomatic way to catch all exceptions?
infinity0 has joined #ocaml
<lostman> what about the match exception syntax?
johnf has joined #ocaml
<lostman> I had an exception leak through try/with in my top level loop: "Lwt_main.run(loop ())" where the first thing in loop is try/with
<Nairwolf> hi guys, can you explain me what does mean @ in Ocmal ?
<def`> Nairwolf: list concatenation
<def`> lostman: try%lwt yes
<Nairwolf> ok, it's hard to find this in the doc
<lostman> def`: what if I used the match syntax that does exception catching (recent compiler)
lewis1711 has quit [Ping timeout: 256 seconds]
<Nairwolf> thank you def`
<lostman> Nairwolf: if you type "(@);;" in utop you'll get "'a list -> 'a list -> 'a list = <fun>"
<lostman> Nairwolf: also, #show is your friend:
<lostman> #show (@);;
<lostman> val ( @ ) : 'a list -> 'a list -> 'a list
<freehck> lostman: of course only list concatenation could have such a time, couldn't it? )
<def`> type*
<def`> lostman: this won't catch lwt exceptions
<def`> unless you do match%lwt
<lostman> does match%lwt catch non-lwt exceptions?
<def`> not 100% sure
<rks`> I'd be less than 50% on that one
<def`> closer to 90%
<rks`> ok it's handled
<def`> it is yes
<def`> so match%lwt catch all exceptions
MercurialAlchemi has joined #ocaml
<Drup> I have had bug reports about warning triggered by the ppx, which proves that people actually use it, so it probably works.
<Drup> (yes, I just stated that "I get bug reports" implies "It probably works")
<Drup> (:D)
<def`> (you are turning into an engineer :D)
keep_learning has quit [Quit: Leaving]
<rks`> :)
jonludlam has quit [Ping timeout: 240 seconds]
<Nairwolf> lostman thank you for your help
Nairwolf has quit [Quit: WeeChat 1.3]
Nairwolf has joined #ocaml
Nairwolf has quit [Client Quit]
zpe has quit [Remote host closed the connection]
dsheets_ has quit [Ping timeout: 240 seconds]
d0nn1e has quit [Ping timeout: 256 seconds]
d0nn1e has joined #ocaml
systmkor has joined #ocaml
^elyse^ has joined #ocaml
toomuchtvrotsurb has joined #ocaml
itPuffin|osxB has quit [Ping timeout: 240 seconds]
haesbaert has quit [Remote host closed the connection]
bobry has quit [Quit: Connection closed for inactivity]
SuperNoeMan has quit [Quit: ZNC - http://znc.in]
toomuchtvrotsurb has quit [Remote host closed the connection]
linse has quit [Quit: linse]
linse has joined #ocaml
psy has joined #ocaml
psy has quit [Max SendQ exceeded]
psy has joined #ocaml
jwatzman|work has joined #ocaml
djellemah has joined #ocaml
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
nullcatxxx_ has joined #ocaml
malc_ has quit [Quit: leaving]
ldopa has left #ocaml [#ocaml]
nullcatxxx_ has quit [Client Quit]
ldopa has joined #ocaml
^elyse^ has quit [Quit: Leaving]
toomuchtvrotsurb has joined #ocaml
badon_ has joined #ocaml
badon has quit [Disconnected by services]
badon_ is now known as badon
Haudegen has quit [Ping timeout: 250 seconds]
ygrek_ has joined #ocaml
nullcatxxx_ has joined #ocaml
_andre has quit [Ping timeout: 240 seconds]
^elyse^ has joined #ocaml
Haudegen has joined #ocaml
_andre has joined #ocaml
native_killer has quit [Ping timeout: 256 seconds]
^elyse^ has quit [Quit: Leaving]
^elyse^ has joined #ocaml
johnelse has joined #ocaml
johnelse is now known as Guest62928
larhat1 has joined #ocaml
toomuchtvrotsurb has quit [Remote host closed the connection]
^elyse^ has quit [Client Quit]
^elyse^ has joined #ocaml
_andre has quit [Quit: leaving]
Guest62928 has quit [Ping timeout: 250 seconds]
johnelse_ has joined #ocaml
ldopa has left #ocaml [#ocaml]
ggole has quit []
^elyse^ has quit [Quit: Leaving]
octachron has quit [Quit: Leaving]
hay207 has quit [Ping timeout: 240 seconds]
nicoo has quit [Remote host closed the connection]
hay207 has joined #ocaml
nicoo has joined #ocaml
Kakadu has joined #ocaml
hay207 has quit [Ping timeout: 256 seconds]
hay207 has joined #ocaml
tane has joined #ocaml
^elyse^ has joined #ocaml
darkf has quit [Quit: Leaving]
contempt has quit [Ping timeout: 272 seconds]
contempt has joined #ocaml
ceryo has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
jonludlam has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
<lostman> how can I pass additional library/header locations to opam? trying to install ssl and it can't find the headers
<Algebr`> look up on github, the fix is there.
<Algebr`> the fix was provided a few days after inital error, yet author doesn't want to fix it.
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<lostman> Algebr`: got it, thanks!
<smondet> hannes: hi. I was wondering if you monitored issues on conduit/cohhtp related to nqsb-tls? Like this one : https://github.com/mirage/ocaml-conduit/issues/97
jonludlam has quit [Ping timeout: 256 seconds]
nullcatxxx_ has joined #ocaml
freehck has quit [Remote host closed the connection]
Haudegen has quit [Ping timeout: 256 seconds]
ncthom91 has joined #ocaml
Haudegen has joined #ocaml
cody` has joined #ocaml
jeffmo has quit [Quit: jeffmo]
ygrek_ has quit [Ping timeout: 250 seconds]
ianhedoesit has joined #ocaml
<edwin> smondet: I had trouble with Lwt and forking too, don't use Unix.fork, you must use Lwt_unix.fork
<edwin> or use Lwt_daemon.daemonize
<edwin> had exactly same symptoms as you: server works fine when run in foreground, hangs on first http call when daemonized if some Lwt code run in the parent (e.g. print some warning)
Denommus has joined #ocaml
<smondet> edwin: thanks, I bypased my issues with daemons with some other work-around
manizzle has quit [Ping timeout: 250 seconds]
<edwin> you might want to test out of curiosity if replacing Unix.fork with Lwt_unix.fork on that older version of ketrew fixes tls issue 302, but yeah now I see the code's completley changed on master
ygrek_ has joined #ocaml
manizzle has joined #ocaml
<edwin> smondet: maybe some of my other commits from that file could be useful for ketrew as well: http://gitweb.skylable.com/gitweb/?p=libres3.git;a=commitdiff;h=b2a0c3fa2efa255e4a1dcea2881682c360b97d1a http://gitweb.skylable.com/gitweb/?p=libres3.git;a=commitdiff;h=5650a3e48bebb5ec875e7c6e2e5515cf09d9d677. First one avoids swapping on low-mem VMs if you run too many concurrent unix jobs, second one improves performance a bit (by increasing default buffer size), Y
<smondet> edwin: Thanks !!
MercurialAlchemi has quit [Ping timeout: 250 seconds]
<edwin> yw, just thought to share Lwt gotchas, those are the two main ones I remember (Unix.fork vs Lwt_unix.fork and Lwt_unix.set_pool_size)
sbrouf has joined #ocaml
<smondet> I've spent the past few days on http://caml.inria.fr/mantis/view.php?id=7013 , https://github.com/mmottl/postgresql-ocaml/issues/15, and reaching `ulimit` on open files with cohttp ... I hope I'm done with low-level crap for a while :)
mac10688 has joined #ocaml
groovy2shoes has quit [Quit: Leaving]
toomuchtvrotsurb has joined #ocaml
<sbrouf> how do you use cc libraries ?
<companion_cube> which ones do you mean?
<sbrouf> I'm trying to open CCMultiset
<companion_cube> ok, so `opam install containers`
<sbrouf> but I don't know what to load
<companion_cube> then you need to use containers.data
<sbrouf> sorry, I mean what to Open
<companion_cube> http://cedeela.fr/~simon/software/containers/ see, MultiSet is in the 'containers.data' part
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<companion_cube> you don't have to open anything
<companion_cube> just link the library
<sbrouf> oh ok, thank you !
<companion_cube> you're welcome
lobo has joined #ocaml
jonludlam has joined #ocaml
Kakadu has quit [Remote host closed the connection]
^elyse^ has quit [Quit: Leaving]
^elyse^ has joined #ocaml
Denommus has quit [Quit: going home]
ceryo has joined #ocaml
<hay207> hi guys, this command won't give me any output
<hay207> printenv OCAML_TOPLEVEL_PATH
<mrvn> This commando solves all my problems: /quit
<hay207> nvm, solved by eval `opam config env`
linse has quit [Quit: linse]
Simn has quit [Quit: Leaving]
sbrouf has quit [Ping timeout: 272 seconds]
jonludlam has quit [Ping timeout: 250 seconds]
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
tane has quit [Quit: Verlassend]
larhat1 has quit [Read error: Connection reset by peer]
larhat2 has joined #ocaml