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
codefo has joined #ocaml
kakadu has quit [Remote host closed the connection]
gdrooid has quit [Ping timeout: 276 seconds]
codefo has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
pierpa has quit [Ping timeout: 245 seconds]
groovy2shoes has quit [Quit: Leaving]
madroach has quit [Ping timeout: 248 seconds]
madroach has joined #ocaml
groovy2shoes has joined #ocaml
cwood has joined #ocaml
cwood has quit [Ping timeout: 240 seconds]
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
Stalkr_ has quit [Ping timeout: 272 seconds]
aantron has quit [Remote host closed the connection]
wagle has quit [Remote host closed the connection]
relrod has quit [Ping timeout: 264 seconds]
tvaalen has quit [Ping timeout: 264 seconds]
tvaalen has joined #ocaml
wagle has joined #ocaml
relrod_ has joined #ocaml
relrod_ has quit [Changing host]
relrod_ has joined #ocaml
struk|desk|away is now known as struk|desk2
FreeBirdLjj has joined #ocaml
damason has joined #ocaml
Fleurety has quit [Ping timeout: 265 seconds]
Fleurety has joined #ocaml
Fleurety has quit [Max SendQ exceeded]
Fleurety has joined #ocaml
Fleurety has quit [Max SendQ exceeded]
Algebr has quit [Remote host closed the connection]
ygrek has quit [Ping timeout: 260 seconds]
Fleurety has joined #ocaml
Fleurety has quit [Excess Flood]
Fleurety has joined #ocaml
Fleurety has quit [Max SendQ exceeded]
foolishmonkey has quit [Remote host closed the connection]
Fleurety has joined #ocaml
struk|desk has joined #ocaml
struk|desk2 has quit [Ping timeout: 276 seconds]
struk|desk is now known as struk|desk|away
struk|desk|away is now known as struk|desk
badon has quit [Quit: Leaving]
nullremains has quit [Ping timeout: 265 seconds]
badon has joined #ocaml
Algebr has joined #ocaml
xyh has quit [Ping timeout: 245 seconds]
cody` has quit [Quit: Connection closed for inactivity]
mac10688 has quit [Ping timeout: 240 seconds]
rossberg has quit [Ping timeout: 264 seconds]
rossberg has joined #ocaml
teknozulu_ has joined #ocaml
teknozulu has quit [Ping timeout: 256 seconds]
ygrek has joined #ocaml
thesnowdog3 has joined #ocaml
thesnowdog2 has quit [Ping timeout: 256 seconds]
aantron has joined #ocaml
ril is now known as ril[away]
xyh has joined #ocaml
ril[away] is now known as ril
kushal has joined #ocaml
ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
Fleurety has quit [Remote host closed the connection]
nyon has quit [Quit: Loops are hard. Let's GOTO shopping!]
ril has joined #ocaml
Sorella has quit [Quit: Connection closed for inactivity]
MercurialAlchemi has joined #ocaml
kushal has quit [Quit: Leaving]
ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
ril has joined #ocaml
nyon has joined #ocaml
ril has quit [Client Quit]
MercurialAlchemi has quit [Ping timeout: 245 seconds]
darkf has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 260 seconds]
ril has joined #ocaml
FreeBirdLjj has joined #ocaml
aantron has quit [Remote host closed the connection]
yegods has quit [Remote host closed the connection]
toolslive has joined #ocaml
aantron has joined #ocaml
MercurialAlchemi has joined #ocaml
kushal has joined #ocaml
struk|desk is now known as struk|desk|away
struk|desk|away is now known as struk|desk
xyh has quit [Ping timeout: 264 seconds]
ril is now known as ril[away]
MercurialAlchemi has quit [Quit: Lost terminal]
MercurialAlchemi has joined #ocaml
ril[away] is now known as ril
badon has quit [Ping timeout: 265 seconds]
badon has joined #ocaml
codefo has joined #ocaml
Mercuria1Alchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
damason has quit [Ping timeout: 272 seconds]
Fleurety has joined #ocaml
ygrek has quit [Ping timeout: 256 seconds]
struk|desk is now known as struk|desk|away
ggole has joined #ocaml
mort___ has joined #ocaml
mort___ has left #ocaml [#ocaml]
Haudegen has quit [Ping timeout: 245 seconds]
ggole_ has joined #ocaml
ggole has quit [Ping timeout: 240 seconds]
Algebr has quit [Remote host closed the connection]
Haudegen has joined #ocaml
JacobEdelman has quit [Quit: Connection closed for inactivity]
mcc has quit [Quit: Connection closed for inactivity]
octachron has joined #ocaml
palomer has quit [Quit: palomer]
silver has joined #ocaml
palomer has joined #ocaml
palomer has quit [Ping timeout: 256 seconds]
palomer has joined #ocaml
Simn has joined #ocaml
ontologiae has joined #ocaml
BitPuffin|osx has joined #ocaml
palomer has quit [Ping timeout: 264 seconds]
ggole__ has joined #ocaml
ggole_ has quit [Ping timeout: 250 seconds]
codefo has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
ggole_ has joined #ocaml
ggole__ has quit [Ping timeout: 245 seconds]
codefo has joined #ocaml
johnelse_ is now known as johnelse
inr has quit [Remote host closed the connection]
inr has joined #ocaml
ggole__ has joined #ocaml
cody` has joined #ocaml
ggole_ has quit [Ping timeout: 250 seconds]
Nahra``` has quit [Ping timeout: 250 seconds]
BitPuffin|osx has quit [Ping timeout: 250 seconds]
Nahra``` has joined #ocaml
toolslive has quit [Ping timeout: 245 seconds]
ggole_ has joined #ocaml
ggole__ has quit [Ping timeout: 250 seconds]
palomer has joined #ocaml
zpe has joined #ocaml
thesnowdog3 has quit [Read error: Connection reset by peer]
zpe has quit [Remote host closed the connection]
thesnowdog3 has joined #ocaml
jwatzman|work has joined #ocaml
_andre has joined #ocaml
FreeBirdLjj has quit [Read error: No route to host]
Nahra``` has quit [Ping timeout: 245 seconds]
kakadu has joined #ocaml
aantron has quit [Remote host closed the connection]
demonimin has quit [Ping timeout: 256 seconds]
larhat has joined #ocaml
Stalkr_ has joined #ocaml
Stalkr_ has quit [Ping timeout: 250 seconds]
foolishmonkey has joined #ocaml
zpe has joined #ocaml
FreeBirdLjj has joined #ocaml
johnf has joined #ocaml
mac10688 has joined #ocaml
Sorella has joined #ocaml
virtualeyes has joined #ocaml
mau has joined #ocaml
virtualeyes is now known as nullremains
Haudegen has quit [Ping timeout: 240 seconds]
Simn has quit [Quit: Leaving]
ggole__ has joined #ocaml
BitPuffin has joined #ocaml
ggole_ has quit [Ping timeout: 250 seconds]
Haudegen has joined #ocaml
aantron has joined #ocaml
aantron has quit [Ping timeout: 256 seconds]
FreeBird_ has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 245 seconds]
tane has joined #ocaml
mac10688 has quit [Ping timeout: 264 seconds]
sepp2k has joined #ocaml
mac10688 has joined #ocaml
mac10688 has quit [Remote host closed the connection]
pierpa has joined #ocaml
ril is now known as ril[away]
ril[away] is now known as ril
raphaelss has joined #ocaml
ggole__ is now known as ggole
ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<raphaelss> When working on multifile projects using emacs/tuareg/utop, how do you load files as modules (respecting the mli files)?
<raphaelss> evaluating buffers is good, but it does not work when your files reference other files from the same project as modules
<ggole> raphaelss: usually you compile them and then load the .cmos
<raphaelss> I'm probably missing something with regards to the tooling
<ggole> Once you get sick of that, you can also use a build system to construct a toplevel that contains all the things that you want.
<raphaelss> I tried that, but my .cmo does no seem to add anything to the toplevel
<ggole> Did you qualify by module name?
<ggole> eg, compile foo.mli, compile foo.ml, #load "foo.cmo";; Foo.zonk?
<raphaelss> yes
lobo__ has joined #ocaml
<ggole> You may need to include a directory so that the toplevel can find the bits.
<ggole> With -I or #directory
musha68k has joined #ocaml
<raphaelss> I think I understood the problem now
<raphaelss> I was giving the full path to #load
malc_ has joined #ocaml
<raphaelss> like #load "path/to/cmo";;
<raphaelss> so it was finding the thing (the command completed without errors)
<raphaelss> but I wasn't able to use what was defined in the file
<ggole> Ah, that's annoying
<raphaelss> adding the directory and just doing #load "cmo";; solved it
zpe has quit [Remote host closed the connection]
<raphaelss> this behaviour feels like a bug
FreeBirdLjj has joined #ocaml
<raphaelss> anyway, thank you
FreeBird_ has quit [Ping timeout: 256 seconds]
<ggole> Yeah, the toplevel is easy to misuse
<ggole> I did a fair amount of beating my head against it until I figured out how it all worked
FreeBirdLjj has quit [Ping timeout: 276 seconds]
NhanH has quit [Quit: Connection closed for inactivity]
raphaelss has quit [Ping timeout: 240 seconds]
aantron has joined #ocaml
silver has quit [Quit: rakede]
aantron has quit [Ping timeout: 256 seconds]
codefo has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
govg has joined #ocaml
raphaelss has joined #ocaml
cthuluh has quit [Ping timeout: 250 seconds]
thesnowdog3 has quit [Read error: Connection reset by peer]
thesnowdog3 has joined #ocaml
struk|desk|away is now known as struk|desk
Nahra``` has joined #ocaml
hnagamin has joined #ocaml
cthuluh has joined #ocaml
mort___ has joined #ocaml
Nahra``` has quit [Ping timeout: 265 seconds]
mac10688 has joined #ocaml
BitPuffin is now known as niffuPtiB
niffuPtiB is now known as avsshCgvO
silver has joined #ocaml
avsshCgvO is now known as BitPuffin
govg has quit [Remote host closed the connection]
Mirry has joined #ocaml
govg has joined #ocaml
mort___ has quit [Quit: Leaving.]
Mirry has quit [Quit: leaving]
groovy2shoes has quit [Quit: Leaving]
lokien_ has joined #ocaml
aantron has joined #ocaml
aantron has quit [Ping timeout: 256 seconds]
relrod_ is now known as relrod
groovy2shoes has joined #ocaml
dhil has joined #ocaml
MercurialAlchemi has joined #ocaml
mau has quit [Remote host closed the connection]
psy_ has joined #ocaml
ontologiae has quit [Ping timeout: 256 seconds]
slash^ has joined #ocaml
Fleurety has quit [Remote host closed the connection]
BitPuffin has quit [Ping timeout: 256 seconds]
ygrek has joined #ocaml
govg has quit [Ping timeout: 240 seconds]
govg has joined #ocaml
aantron has joined #ocaml
AltGr has joined #ocaml
Fleurety has joined #ocaml
mac10688 has quit [Ping timeout: 245 seconds]
sh0t has joined #ocaml
hcarty has joined #ocaml
AltGr has left #ocaml [#ocaml]
sh0t has quit [Ping timeout: 260 seconds]
mort___ has joined #ocaml
malc_ has quit [Quit: leaving]
mort___1 has joined #ocaml
lobo__ has quit [Quit: WeeChat 1.3]
JacobEdelman has joined #ocaml
BitPuffin has joined #ocaml
mort___ has quit [Ping timeout: 245 seconds]
_andre has quit [Quit: leaving]
Haudegen has quit [Ping timeout: 260 seconds]
Nahra has joined #ocaml
yegods has joined #ocaml
octachron has quit [Ping timeout: 272 seconds]
mort___1 has quit [Quit: Leaving.]
AlexRussia has quit [Quit: WeeChat 1.4-dev]
AlexRussia has joined #ocaml
lokien_ has quit [Quit: Connection closed for inactivity]
ril has joined #ocaml
govg has quit [Ping timeout: 245 seconds]
mort___ has joined #ocaml
mort___1 has joined #ocaml
Haudegen has joined #ocaml
ril is now known as ril[away]
ril[away] is now known as ril
mort___ has quit [Ping timeout: 276 seconds]
govg has joined #ocaml
govg has quit [Ping timeout: 264 seconds]
mort___1 has quit [Quit: Leaving.]
ygrek has quit [Ping timeout: 240 seconds]
sh0t has joined #ocaml
jwatzman|work has quit [Quit: jwatzman|work]
shinnya has quit [Ping timeout: 265 seconds]
kakadu has quit [Quit: Page closed]
mort___ has joined #ocaml
raphaelss has quit [Ping timeout: 264 seconds]
yegods has quit [Remote host closed the connection]
raphaelss has joined #ocaml
mort___1 has joined #ocaml
ygrek has joined #ocaml
mort___1 has left #ocaml [#ocaml]
mort___ has quit [Ping timeout: 250 seconds]
ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
sbrouf has joined #ocaml
mort___ has joined #ocaml
BitPuffin has quit [Ping timeout: 250 seconds]
darkf has quit [Quit: Leaving]
foolishmonkey has quit [Quit: Leaving]
NhanH has joined #ocaml
Haudegen has quit [Ping timeout: 272 seconds]
kakadu has joined #ocaml
ril has joined #ocaml
palomer has quit [Quit: palomer]
zaquest has quit [Quit: Leaving]
Haudegen has joined #ocaml
octachron has joined #ocaml
sfri has quit [Remote host closed the connection]
chris2 has quit [Ping timeout: 250 seconds]
sfri has joined #ocaml
ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
thesnowdog3 has quit [Read error: Connection reset by peer]
mort___ has quit [Quit: Leaving.]
thesnowdog3 has joined #ocaml
mort___ has joined #ocaml
xaimus has quit [Ping timeout: 276 seconds]
mort___ has quit [Client Quit]
Denommus has joined #ocaml
octachron has quit [Quit: Leaving]
zpe has joined #ocaml
xaimus has joined #ocaml
raphaelss has quit [Ping timeout: 240 seconds]
ggole has quit []
struk|desk is now known as struk|desk|away
slash^ has quit [Read error: Connection reset by peer]
xyh has joined #ocaml
dhil has quit [Quit: Leaving]
ril has joined #ocaml
xyh has left #ocaml [#ocaml]
lobo has joined #ocaml
codefo has joined #ocaml
yegods has joined #ocaml
yegods has quit [Remote host closed the connection]
yegods has joined #ocaml
_JusSx_ has joined #ocaml
Haudegen has quit [Ping timeout: 256 seconds]
lokien_ has joined #ocaml
yegods has quit [Remote host closed the connection]
codefo has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
yegods has joined #ocaml
yomimono has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 256 seconds]
codefo has joined #ocaml
yegods has quit [Remote host closed the connection]
Haudegen has joined #ocaml
chris2 has joined #ocaml
sbrouf has quit [Quit: Quitte]
codefo has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
larhat1 has joined #ocaml
egogiraffe has quit [Quit: wir müssen wissen -- wir werden wissen!]
_JusSx_ has quit [Quit: leaving]
yegods has joined #ocaml
yegods has quit [Remote host closed the connection]
mort___ has joined #ocaml
prepor has joined #ocaml
sepp2k has quit [Quit: Leaving.]
<prepor> Hello! I have problem with some common pattern in Lwt uses `choose` and `map` with shared thread. https://github.com/ocsigen/lwt/issues/211. I don't have any problems with such patterns in Async (example also in ticket). Can anyone point me in the right direction? Thank you
Denommus has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
<smondet> prepor: how do you tell there is a memory leak?
<hnrgrgr> prepor: what if you replace `wait` by `task`, and `choose` by `pick` ?
<prepor> hnagamin: i tried pick, nothing changed
<prepor> smondet: it just eat 1gb for a few seconds
<hnrgrgr> My guess is that "Lwt.map (fun _ -> `Stop) stopper;" bind many waiters that are never collected.
<prepor> hnrgrgr: yes
<hnrgrgr> prepor: did you tried `pick` together with `task` ?
<prepor> hnrgrgr: there are not any "deregister" code in `choose`
<prepor> hnrgrgr: 1 second
palomer has joined #ocaml
<prepor> hnrgrgr: with `task` and `pick` i get Lwt.Canceled exception. It's nice, but not what I really want to :)
<hnrgrgr> Yes, IIRC it is the only way to "unregister" things in Lwt.choose/pick. That is "kill" the others threads.
<smondet> prepor: it's not "really" a memory leak; if I add `Gc.full_major ();` before `tick ()` the memory doesn't grow
<smondet> the problem should be that the GC does not get the occasion to run (?)
<edwin> could you use Lwt.protected and Lwt.cancel instead of Lwt.choose/pick?
<prepor> smondet: I've just added Gc.full_major and heap is still growing (but much slower)
<hnrgrgr> prepor: with task/choose, if you allocate a 'task' inside `tick`, everything is fine. No memory leak, no exception.
<smondet> prepor: I have it running for a while now, it seems to be stable after a little while
<prepor> hnrgrgr: ok, I can ask very "real" question :) How should I write this code without memory leaks https://github.com/mirage/ocaml-conduit/pull/111/files#diff-0547829b9d4fcfa4bf829c6f7322c054R230 ?
<jerith> prepor: Thanks for looking at my bug. :-)
groovy2shoes has quit [Quit: Leaving]
<prepor> jerith: it's my bug too :)
<prepor> hnrgrgr: nice, but how to connect it with real `stopper`? :)
<prepor> smondet: 5 minutes, still growing :)
codefo has joined #ocaml
<hnrgrgr> prepor: do not 'rebind' every loop to stop : https://gist.github.com/OCamlPro-Henry/eabd21789ab4b57bbcf2
<smondet> prepor: interesting, mine is still stable :/
<hnrgrgr> prepor: still to 'cancel' the processing thread: https://gist.github.com/OCamlPro-Henry/8d3fa62429b3f4080814
<hnrgrgr> ignore my last message, this is already the case in conduit.
zpe has quit [Remote host closed the connection]
<prepor> hnrgrgr: yes, I thought about it, but looked for may be more convenient solution
<prepor> hnrgrgr: async's solution looks like more thoughtful for me :)
<prepor> hnrgrgr: thank you!
<hnrgrgr> what is inconvenient here ?
groovy2shoes has joined #ocaml
<hnrgrgr> there is far less "administrative burden". No need to register/unregister waiters for 'stop' at every tick.
yegods has joined #ocaml
<_berke_> I'm trying to use gadts to define a function that can return bigarrays of different types. could anyone lend a hand? see here http://pastebin.com/0ppwRutW
<_berke_> I have trouble with the cube_type_of_sexp. don't know if this even makes sense with gadts
<prepor> hnrgrgr: ok, I fixed my PR to conduit https://github.com/mirage/ocaml-conduit/pull/111/files#diff-0547829b9d4fcfa4bf829c6f7322c054R228 (and my code too, constantly just 6 mb in memory, great :) )
raphaelss has joined #ocaml
ollehar has joined #ocaml
<smondet> _berke_: doesn't look possible, the type parameter cannot be "set" at runtime (you should look at https://github.com/rleonid/bau, leo has been thinking a lot about bigarrays lately)
<_berke_> I'll have a look, thanks
<hcarty> _berke_: I played around with the gadt bigarray change a bit here - https://github.com/hcarty/extbigarray/blob/master/src/extbigarray.ml
hcarty has quit [Quit: WeeChat 1.4]
<_berke_> hcarty: interesting, thanks.
yegods has quit [Remote host closed the connection]
ollehar has quit [Quit: ollehar]
yegods has joined #ocaml
tane has quit [Quit: Verlassend]
foolishmonkey has joined #ocaml
yegods has quit [Remote host closed the connection]
hnagamin has quit [Ping timeout: 265 seconds]
yegods has joined #ocaml
<_berke_> I found a way of solving half my problem with gadts http://pastebin.com/mRkJ1YAd
<_berke_> not sure if gadts were strictly necessary here.
yegods has quit [Remote host closed the connection]
<_berke_> I use a non-gadt type to store the cube type in the info file, and it is checked at run-time.
yegods has joined #ocaml
<_berke_> and there is a projection from the gadt type to the non-gadt type.
prepor has quit [Quit: Leaving.]
mac10688 has joined #ocaml
mac10688 has quit [Remote host closed the connection]
mort___ has quit [Quit: Leaving.]
kakadu has quit [Remote host closed the connection]
zpe has joined #ocaml
silver has quit [Quit: >>=]
zpe has quit [Ping timeout: 240 seconds]
mort___ has joined #ocaml
lobo has quit [Quit: zleep]
yegods has quit [Remote host closed the connection]
yegods has joined #ocaml