mrvn changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | http://www.ocaml.org | http://ocaml.org/releases/4.02.0.html | Logs at http://irclog.whitequark.org/ocaml
<Leonidas> Drup: actually, specifying Sys.max_string_length does not work, it always returns a HTTP 500 error
nifty has quit [Ping timeout: 272 seconds]
ggherdov has quit [Ping timeout: 272 seconds]
nifty_ has joined #ocaml
lopex has quit [Ping timeout: 272 seconds]
lopex has joined #ocaml
bartbes_ has joined #ocaml
bartbes has quit [Ping timeout: 272 seconds]
BitPuffin has quit [Ping timeout: 260 seconds]
wormphle1m has joined #ocaml
Mandus_ has joined #ocaml
sh1ken_ has joined #ocaml
Wandering_Glitch has joined #ocaml
jao` has joined #ocaml
jao` has joined #ocaml
jao` has quit [Changing host]
typedlambda has quit [Ping timeout: 250 seconds]
pollux__ has joined #ocaml
pyon-senpai has joined #ocaml
cross_ has joined #ocaml
jao has quit [Ping timeout: 255 seconds]
girrig has quit [Ping timeout: 255 seconds]
clog has quit [Ping timeout: 270 seconds]
sh1ken has quit [Ping timeout: 243 seconds]
maufred_ has quit [Ping timeout: 255 seconds]
gasche has quit [Ping timeout: 255 seconds]
pyon has quit [Ping timeout: 255 seconds]
cross has quit [Ping timeout: 255 seconds]
Mandus has quit [Ping timeout: 255 seconds]
ddosia has quit [Ping timeout: 255 seconds]
johnelse has quit [Ping timeout: 255 seconds]
WanderingGlitch has quit [Ping timeout: 255 seconds]
johnf has quit [Ping timeout: 255 seconds]
adrien has quit [Ping timeout: 255 seconds]
wormphlegm has quit [Ping timeout: 255 seconds]
maufred has joined #ocaml
thizanne has quit [Ping timeout: 255 seconds]
boegel|work has quit [Ping timeout: 255 seconds]
pollux has quit [Ping timeout: 255 seconds]
adrien has joined #ocaml
gasche has joined #ocaml
johnelse has joined #ocaml
johnelse has quit [Changing host]
johnelse has joined #ocaml
pollux__ is now known as pollux
thizanne has joined #ocaml
girrig has joined #ocaml
johnelse is now known as Guest88585
clog has joined #ocaml
boegel|work has joined #ocaml
typedlambda has joined #ocaml
rbm` has quit [Ping timeout: 272 seconds]
lbaan has quit [Quit: sleeping device]
ggherdov has joined #ocaml
mhi^ has quit [Ping timeout: 245 seconds]
ddosia has joined #ocaml
WraithM has joined #ocaml
Simn has quit [Quit: Leaving]
rgrinberg has quit [Quit: Leaving.]
Sizur has left #ocaml [#ocaml]
lbaan has joined #ocaml
troutwine is now known as troutwine_away
sh1ken_ is now known as sh1ken
sh1ken has quit [Changing host]
sh1ken has joined #ocaml
lbaan has quit [Quit: sleeping device]
shinnya has joined #ocaml
madroach has quit [Ping timeout: 250 seconds]
Guest88585 has quit [Ping timeout: 255 seconds]
gasche has quit [Ping timeout: 255 seconds]
maufred has quit [Ping timeout: 255 seconds]
maufred has joined #ocaml
gasche has joined #ocaml
johnelse_ has joined #ocaml
adrien has quit [Ping timeout: 255 seconds]
adrien has joined #ocaml
madroach has joined #ocaml
boegel|work has quit [Ping timeout: 255 seconds]
philtor has quit [Ping timeout: 260 seconds]
tautologico has quit [Quit: Textual IRC Client: www.textualapp.com]
rwmjones has quit [Ping timeout: 260 seconds]
boegel|work has joined #ocaml
rwmjones has joined #ocaml
q66 has quit [Quit: Leaving]
rgrinberg has joined #ocaml
charliefoul has joined #ocaml
charliefoul has quit [Remote host closed the connection]
rgrinberg has quit [Quit: Leaving.]
claudiuc_ has joined #ocaml
paddymahoney has joined #ocaml
claudiuc has quit [Ping timeout: 245 seconds]
rgrinberg has joined #ocaml
shinnya has quit [Ping timeout: 240 seconds]
pjdelport has quit [Quit: Connection closed for inactivity]
dotfelix has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest70819
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #ocaml
lgm has quit [Ping timeout: 260 seconds]
dotfelix has quit [Read error: Connection reset by peer]
SGrondin has joined #ocaml
dotfelix has joined #ocaml
<SGrondin> hi, I'm new-ish to ocaml and I have a question about OPAM
<SGrondin> I don't understand why it wants to reinstall all the dependencies for a new package I'm installing if the dependencies are already correctly installed (and the correct version)
<whitequark> as a rule, if a dependency changes, everything that is dependent on it must be reinstalled
<whitequark> and there are so-called optional dependencies, e.g. lwt can be built with or without react
<whitequark> so if you install react, it needs to reinstall lwt (to make Lwt_react available) and as a consequence, everything that depends on lwt
<SGrondin> makes sense
<whitequark> you may if you want to be sure
<SGrondin> should I delete ~/.opam ?
<SGrondin> I'm currenty installing opam 1.1.2, because 1.1.1 was giving me all sorts of bugs and apparently has issues with 4.02.0
<whitequark> I don't think it matters
<SGrondin> ok, thanks :)
dotfelix has quit [Quit: Leaving]
englishm has joined #ocaml
claudiuc_ has quit [Ping timeout: 245 seconds]
ZenosDance has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
Wandering_Glitch has quit [Changing host]
Wandering_Glitch has joined #ocaml
Wandering_Glitch is now known as WanderingGlitch
philtor has joined #ocaml
nns has left #ocaml ["where is the love..."]
rgrinberg has joined #ocaml
<SGrondin> # ocamlfind: Package bytes is already installed
<SGrondin> # - (file /home/don/.opam/4.01.0/lib/bytes/META already exists)
<SGrondin> Can't wait until the PR that fixes that bug gets pulled in and released
rand000 has joined #ocaml
philtor has quit [Ping timeout: 245 seconds]
philtor has joined #ocaml
nlucaron1 has joined #ocaml
nlucaroni has quit [Ping timeout: 240 seconds]
Guest70819 has quit [Remote host closed the connection]
axiles has joined #ocaml
ZenosDance has quit [Ping timeout: 272 seconds]
philtor has quit [Ping timeout: 245 seconds]
pyon-senpai has quit [Quit: These skies and seas hold great possibilities for you. Stay alive. Pursue happiness. I expect much from your life.]
SGrondin has quit [Read error: No route to host]
SGrondin has joined #ocaml
pyon has joined #ocaml
cdidd has quit [Remote host closed the connection]
cdidd has joined #ocaml
NoNNaN has quit [Remote host closed the connection]
philtom has joined #ocaml
siddharthv_away is now known as siddharthv
ousado has quit [Remote host closed the connection]
ousado has joined #ocaml
oscar_toro has joined #ocaml
oscar_toro has quit [Client Quit]
philtom has quit [Ping timeout: 240 seconds]
SGrondin has quit [Quit: Leaving.]
ousado has quit [Remote host closed the connection]
jao` has quit [Ping timeout: 240 seconds]
koderok has joined #ocaml
ousado has joined #ocaml
koderok has quit [Client Quit]
ousado has quit [Remote host closed the connection]
samrat has joined #ocaml
slash^ has joined #ocaml
darkf has quit [Read error: Connection reset by peer]
darkf has joined #ocaml
MercurialAlchemi has joined #ocaml
sivoais has joined #ocaml
paddymahoney has quit [Ping timeout: 268 seconds]
yacks has quit [Ping timeout: 246 seconds]
yacks has joined #ocaml
Sizur has joined #ocaml
<Sizur> Hi guys, i'm trying to install Eliom and I'm having trouble
dubst3pp4 has joined #ocaml
<Sizur> i do opam install eliom and i get ocamlfind: Package `optcomp' not found
NoNNaN has joined #ocaml
<Sizur> however, when i do opam install optcomp, i get: [NOTE] Package optcomp is already installed (current version is 1.6).
<Sizur> doing ocamlfind list, i see compiler-libs.optcomp (version: [distributed with Ocaml])
<Sizur> what's going on, why opam sees it but ocamlfind doesn't in the eliom makefile?
ygrek has joined #ocaml
paolooo has joined #ocaml
lbaan has joined #ocaml
<philed> Sizur: I'll give it a go on my machine.
englishm has quit [Remote host closed the connection]
englishm has joined #ocaml
<madroach> Can opam use system libraries and executables instead of building its own copy? Especially I'd like to use the pre-installed ocp-build.
<Sizur> philed: i figured it out. it's using /usr/bin/ocamlfind ocamldep when it needs to use the one that's installed in my home... how do i make opam pick that up?
lbaan has quit [Quit: sleeping device]
<philed> Sizur: You might want to check that .opam/opam-init/init.sh is being run in your .bashrc, and that the env variables are right there.
<Sizur> philed: ah, thanks. now all i need to do is translate the env to fish
koderok has joined #ocaml
<Sizur> philed: ok, env is set, but eliom makefile is still using wrong ocamlfind
<Sizur> # + /usr/bin/ocamlfind ocamldep -syntax camlp4o -package optcomp -package js_of_ocaml.ocamlbuild -package ocamlbuild -modules ocamlbuild_eliom.ml > ocamlbuild_eliom.ml.depends
<Sizur> # ocamlfind: Package `optcomp' not found
<Sizur> there's an earlier ocamlbuild -use-ocamlfind ocamlbuild_eliom.cma issued in the makefile
<Sizur> and i dont have ocamlbuild under my home dir, so it's using the global one. can that be the issue?
<philed> Could be. My ocamlbuild is in .opam/<compiler>/bin
<philed> And I believe ocamlfind is called by ocamlbuild.
<Sizur> how did you install it?
<philed> Using opam.
<philed> It was a dependency of something else.
<philed> In fact, 'ocamlfind' is a dependency of eliom.
<philed> Sorry, we were talking about ocamlbuild. (too early in the morning :P)
<philed> I don't recall installing ocamlbuild manually anyway.
ggole has joined #ocaml
<Sizur> do you also have one in /usr/bin/ocamlbuild?
<philed> I do. But my .opam one overrides it on $PATH.
<Sizur> now i need to find out how to get one under ~
ontologiae has joined #ocaml
<Sizur> i suspect just copying it from root won't cut it
ygrek has quit [Ping timeout: 260 seconds]
<philed> I should say that the entire ocaml installation I use is in my home directory.
<philed> I installed it with opam.
<Sizur> you installed ocaml with opam?
<philed> Yeah. Look into opam switch --help
<Sizur> lol Warning: Program '/usr/local/bin/fish' crashed.
<philed> That doesn't sound good. (hadn't heard of "fish" until today.)
rand000 has quit [Ping timeout: 245 seconds]
<Sizur> philed: thanks!, i hope i can play with eliom after ocaml will build
<philed> Have fun. Let us know what you think of it. I gave it a go a few years ago, and would like to have another play around sometime soon.
<philed> I'm pretty excited to try out their FRP implementation.
avsm has joined #ocaml
<Sizur> i've never seen more than a sample usage of frp. i begin to doubt the composability of frp for real world complex projects. its possible the complexity has an unexpected curve
dsheets has joined #ocaml
eikke__ has joined #ocaml
<philed> Possibly.
Simn has joined #ocaml
paolooo has quit [Ping timeout: 246 seconds]
siddharthv is now known as siddharthv_away
AltGr has joined #ocaml
dubst3pp4 has left #ocaml ["Ĝis baldaŭ!"]
jrw has left #ocaml ["WeeChat 0.4.1"]
_0xAX has joined #ocaml
adrien_o1w has joined #ocaml
_0xAX has quit [Remote host closed the connection]
rgrinberg has quit [Quit: Leaving.]
adrien_oww has quit [Ping timeout: 246 seconds]
<Sizur> another error :/ http://pastebin.com/pd8vHnnG
eikke__ has quit [Ping timeout: 260 seconds]
_0xAX has joined #ocaml
eikke__ has joined #ocaml
pgomes has joined #ocaml
MercurialAlchemi has quit [Remote host closed the connection]
_0xAX has quit [Remote host closed the connection]
MercurialAlchemi has joined #ocaml
bezirg has joined #ocaml
zpe has joined #ocaml
fraggle_ has quit [Quit: -ENOBRAIN]
fraggle_ has joined #ocaml
hhugo has joined #ocaml
_0xAX has joined #ocaml
Kakadu has joined #ocaml
_0xAX has quit [Remote host closed the connection]
dsheets has quit [Read error: Connection reset by peer]
tane has joined #ocaml
koderok has quit [Quit: koderok]
jerith_ is now known as jerith
siddharthv_away is now known as siddharthv
mk270_ is now known as mk270
<companion_cube> o/
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe has quit [Ping timeout: 260 seconds]
bezirg has quit [Quit: Leaving.]
dsheets has joined #ocaml
avsm has quit [Quit: Leaving.]
pgomes has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
koderok has joined #ocaml
BitPuffin has joined #ocaml
avsm has joined #ocaml
puzza007_ has quit [Ping timeout: 240 seconds]
zpe has joined #ocaml
puzza007_ has joined #ocaml
demonimin has quit [Read error: Connection reset by peer]
demonimin has joined #ocaml
adrien_o1w is now known as adrien_oww
avsm has quit [Quit: Leaving.]
|jbrown| has quit [Ping timeout: 246 seconds]
avsm has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
johnelse_ is now known as johnelse
samrat has joined #ocaml
|jbrown| has joined #ocaml
leifw has quit [Ping timeout: 240 seconds]
leifw has joined #ocaml
guy_ has quit [Remote host closed the connection]
bezirg has joined #ocaml
tani has joined #ocaml
tane is now known as Guest95797
Guest95797 has quit [Killed (weber.freenode.net (Nickname regained by services))]
tani is now known as tane
mhi^ has joined #ocaml
eikke__ has quit [Ping timeout: 246 seconds]
kalzz has quit [Ping timeout: 268 seconds]
kalzz has joined #ocaml
Hannibal_Smith has joined #ocaml
ygrek has joined #ocaml
bezirg has quit [Quit: Leaving.]
bezirg has joined #ocaml
pyon has quit [Ping timeout: 252 seconds]
<tane> ygrek, are you there?
ygrek has quit [Ping timeout: 240 seconds]
eizodo has joined #ocaml
sad0ur has quit [Ping timeout: 246 seconds]
avsm has quit [Quit: Leaving.]
samrat has quit [Quit: Computer has gone to sleep.]
samrat has joined #ocaml
dsheets has quit [Read error: Connection reset by peer]
pyon has joined #ocaml
_0xAX has joined #ocaml
eikke__ has joined #ocaml
sad0ur has joined #ocaml
hyperbor1ean is now known as hyperboreean
<mhi^> Hi. So I ran 'utop init' and added the mentioned stuff to .ocamlinit and my .zshenv. Afterwards I did 'opam install utop core', which finished without errors. Now I tried following the Real World book and the first line shown is 'open Core.Std;;', but that gives: Error: Unbound module Core. Do I have to setup something else to make it work?
_andre has joined #ocaml
<mhi^> FWIW, I also did "eval $(opam config env)" before starting utop.
<companion_cube> #require "core";; ?
<mhi^> Hmm, that seemed to work. I take it using #require is a utop directive and 'open' is the proper thing to do in a real file.
<companion_cube> no, #require "foobar";; is a directive to load some package (here, core)
<companion_cube> open Foobar;; is used to bring all values in the module Foobar into the local scoope
<companion_cube> scope*
<companion_cube> so you can write blah rather than Foobar.blah
<mhi^> Ah, I see, thanks.
<companion_cube> #require is specific to the toplevel, and open is an OCaml construct, too :)
* mhi^ nods
hexo is now known as hrkso
<ia0> a friend has a small program that uses an external cmx, but the problem is that this cmx depends on other cmx, which themselves depend on other cmx and so on
<ia0> so it is a pain to list them to compile the small program
<ia0> (knowing that you need to give them in order)
<ia0> if some cmx are missing he gets "No implementations provided for the following modules" "Foo referenced from bar.cmx"
<ia0> what is the correct way to compile such a program?
<ia0> (i.e. to recursively find and add the cmx on the command line in dependency order)
<flux> ia0, use ocamlfind
<flux> hmm
<flux> or you mean within the same project?
<flux> you can use OCamlMakefile if you prefer make, or ocamlbuild
<flux> but actually you mentioned 'external cmx'
<flux> typically if you have an external body of code you would package them into an archive, .cmxa
<flux> and if you want everything to work automatically, you can install the package with ocamlfind
<flux> you tell findlib in a description file the package's dependencies, and when you finally compile the program, it will automatically gather all required command line options
siddharthv is now known as siddharthv_away
<def`> flux: OCamlMakefile won't help you with linking order
<flux> hmm, I forgot that then. but within a single project you can use ocamldep them if ocamlmakefile doesn't use it automatically.
englishm has quit [Ping timeout: 260 seconds]
koderok has quit [Quit: koderok]
avsm has joined #ocaml
jue has left #ocaml [#ocaml]
<companion_cube> ia0: ocamlbuild
<ia0> flux: thx ! he'll go with the .cmxa
<companion_cube> hmm
<ia0> companion_cube: it's not that easy to use :-(
<companion_cube> you shouldn't use external .cmx, they should indeed live in a .cmxa
<ia0> we tried it with -cflags -I,foo -lflags -I,foo
<companion_cube> or some ocamlfind library
<ia0> yes, so we will build the .cmxa
<ia0> looks much easier than ocamlfind
dsheets has joined #ocaml
toroidalcode has joined #ocaml
sgnb` has joined #ocaml
bytbox has quit [Read error: Connection reset by peer]
bytbox has joined #ocaml
_weykent has joined #ocaml
avi___ has joined #ocaml
gargawel has joined #ocaml
weykent has quit [Ping timeout: 260 seconds]
abbe has quit [Ping timeout: 260 seconds]
avi__ has quit [Ping timeout: 260 seconds]
inr has quit [Ping timeout: 260 seconds]
gargawel_ has quit [Ping timeout: 260 seconds]
averell has quit [Ping timeout: 260 seconds]
SethTisue_______ has quit [Ping timeout: 260 seconds]
sgnb has quit [Ping timeout: 260 seconds]
toroidalcode_ has quit [Ping timeout: 260 seconds]
majoh has quit [Ping timeout: 260 seconds]
inr has joined #ocaml
abbe has joined #ocaml
averell has joined #ocaml
majoh has joined #ocaml
SethTisue_______ has joined #ocaml
nifty_ has quit [Ping timeout: 272 seconds]
nifty_ has joined #ocaml
koderok has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
koderok has quit [Quit: koderok]
bezirg has quit [Ping timeout: 268 seconds]
englishm has joined #ocaml
ontologiae has quit [Ping timeout: 240 seconds]
rollertrump has quit [Read error: Connection reset by peer]
hhugo has quit [Quit: Leaving.]
avsm has quit [Quit: Leaving.]
hhugo has joined #ocaml
arj has joined #ocaml
darkf has quit [Quit: Leaving]
avsm has joined #ocaml
avsm has quit [Client Quit]
bezirg has joined #ocaml
sepp2k has joined #ocaml
msaegesser has joined #ocaml
pyon is now known as ^pyon^
^pyon^ is now known as pyon
shinnya has joined #ocaml
mehdid has joined #ocaml
ustunozgur has joined #ocaml
mehdid has left #ocaml [#ocaml]
samrat has joined #ocaml
Hannibal_Smith has quit [Quit: Sto andando via]
pyon has quit [Quit: Okay, time to do some actual work.]
_0xAX has quit [Remote host closed the connection]
Khady_ has joined #ocaml
rishabhjain has joined #ocaml
bernardofpc has joined #ocaml
misv_ has joined #ocaml
tov_ has joined #ocaml
thomasga has joined #ocaml
gperetin has quit [Ping timeout: 260 seconds]
esden has quit [Ping timeout: 260 seconds]
tov has quit [*.net *.split]
keen________ has quit [*.net *.split]
Khady has quit [*.net *.split]
misv has quit [*.net *.split]
bernardo1pc has quit [*.net *.split]
n0v has quit [*.net *.split]
IbnFirnas has quit [*.net *.split]
thomasga has quit [Client Quit]
gperetin has joined #ocaml
esden has joined #ocaml
lbaan has joined #ocaml
keen________ has joined #ocaml
arj has quit [Quit: Leaving.]
SethTisue has joined #ocaml
abbe has quit [Ping timeout: 260 seconds]
esden has quit [Ping timeout: 260 seconds]
misv has joined #ocaml
IbnFirnas has joined #ocaml
bernardo1pc has joined #ocaml
SethTisue has quit [Ping timeout: 255 seconds]
samrat has quit [Ping timeout: 260 seconds]
misv has quit [Ping timeout: 244 seconds]
bernardo1pc has quit [Ping timeout: 244 seconds]
abbe has joined #ocaml
IbnFirnas has quit [Ping timeout: 244 seconds]
esden has joined #ocaml
gperetin has quit [Ping timeout: 260 seconds]
n0v has joined #ocaml
samrat has joined #ocaml
gperetin has joined #ocaml
thomasga has joined #ocaml
IbnFirnas has joined #ocaml
troutwine_away is now known as troutwine
rishabhjain has quit []
WraithM has quit [Ping timeout: 240 seconds]
troutwine is now known as troutwine_away
oscar_toro has joined #ocaml
ygrek has joined #ocaml
oscar_toro has quit [Client Quit]
oscar_toro has joined #ocaml
rgrinberg has joined #ocaml
pyon has joined #ocaml
<Denommus> what is the recommended monad library for OCaml?
eikke__ has quit [Ping timeout: 246 seconds]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
avsm has joined #ocaml
zpe has quit [Ping timeout: 245 seconds]
<companion_cube> Denommus: what do you mean by "monad library"?
<companion_cube> ocaml doesn't make it possible to talk about monads in general (except at the module level)
<Denommus> companion_cube: there are two libraries that introduce syntax for monads, aparently: omonad and pa_monad_custom
<companion_cube> my recommandation is: don't use syntax extensions ;)
<Drup> what companion_cube said, just don't do it.
<flux> you don't really need syntax extensions for using monads..
<Denommus> companion_cube: I'm asking this because my library will implement the monad sigs
<flux> there are some popular monadic libraries for ocaml, in particular lwt
<flux> maybe jane street core has something for it
<flux> and batteries
<companion_cube> Denommus: just define return and >>= ;)
<Denommus> companion_cube: I need more than return and >>=
<Drup> <insert implicites teasing/>
<companion_cube> :>
<companion_cube> I mean, implement at least those, and everyone will see it's a monad
<Denommus> maybe I should do my own internal library. It's not that there's that much in a monad library
<Denommus> only to be clear on what I'm doing: a monadic FRP library
<companion_cube> which monad are you going to write?
<companion_cube> ah
<Drup> Denommus: just use React already.
<Drup> there are stuff to reinvent, FRP in ocaml is not one of them
<Denommus> Drup: I've asked before what kind of FRP model React implements
<companion_cube> you should ask Bünzli
avsm has quit [Quit: Leaving.]
<companion_cube> (the author)
<Drup> actually, you should look at the documentation ...
<Denommus> because there are at least three models that I know of
<Drup> and it will be quite clear.
<Denommus> and I suspect React is classic FRP
<Denommus> classic, arrowized and monadic
avsm has joined #ocaml
avsm has quit [Read error: Connection reset by peer]
avsm has joined #ocaml
<Drup> Denommus: what about actually looking at it, and delay your opinion until you have an idea how it works, instead of guessing ? :D
<Denommus> Drup: I'm looking at the documentation
avsm has quit [Client Quit]
<Drup> (hint : it's not classical frp)
<Denommus> Drup: but it doesn't describe FRP in terms of signal functions, nor it describe behaviors in terms of a monadic type
<Drup> iirc, it's a variant of monadic frp, with various modification to work in practice
<Denommus> ok, then
WraithM has joined #ocaml
<Drup> in particular, I know there are some versions of monadic frp with only one type, and no distinction between event and signals
ygrek has quit [Ping timeout: 255 seconds]
philtom has joined #ocaml
Denommus has quit [Ping timeout: 252 seconds]
zarul has quit [Ping timeout: 240 seconds]
Denommus has joined #ocaml
shinnya has quit [Ping timeout: 240 seconds]
ustunozgur has quit [Remote host closed the connection]
lbaan has quit [Quit: sleeping device]
lbaan has joined #ocaml
zpe has joined #ocaml
Kakadu has quit [Quit: Page closed]
englishm has quit [Remote host closed the connection]
englishm has joined #ocaml
maufred has quit [Remote host closed the connection]
thomasga has quit [Quit: Leaving.]
hhugo has quit [Quit: Leaving.]
hhugo has joined #ocaml
dsheets has quit [Ping timeout: 245 seconds]
_twx_ has joined #ocaml
q66 has joined #ocaml
mobajm has joined #ocaml
zarul has joined #ocaml
jwatzman|work has joined #ocaml
ia0 has quit [Ping timeout: 250 seconds]
ia0 has joined #ocaml
BitPuffin has quit [Ping timeout: 255 seconds]
WraithM has quit [Ping timeout: 246 seconds]
cite-reader has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #ocaml
nojb has joined #ocaml
englishm has quit [Remote host closed the connection]
eizodo has quit [Ping timeout: 246 seconds]
englishm has joined #ocaml
ontologiae has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
mobajm has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
AltGr has left #ocaml [#ocaml]
zpe has quit [Ping timeout: 246 seconds]
mobajm has joined #ocaml
Kakadu has joined #ocaml
mobajm has quit [Client Quit]
philtor has joined #ocaml
mobajm has joined #ocaml
troutwine_away is now known as troutwine
Piotr has joined #ocaml
Piotr is now known as Piotr455
nojb` has joined #ocaml
<Piotr455> Hi everyone. I just experienced a strange behaviour with ocaml lately, I wonder whether I could poll the collective wisdom here.
ontologiae has quit [Ping timeout: 246 seconds]
oscar_toro has quit [Quit: oscar_toro]
<Piotr455> I think that it must be something fairly straightforward: I have a program doing enumerative combinatorics that segfaults after around 20 minutes of crunching. Increasing stack size to 4MB does nothing.
<Piotr455> Compiling in debug mode however seems to let the program run correctly.
<Piotr455> What could be amiss?
<nojb> exit
nojb` has quit [Client Quit]
nojb has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
troutwine is now known as troutwine_away
<Drup> segfaulting ?!
<Piotr455> Yes.
Haudegen has quit [Remote host closed the connection]
<Piotr455> I should add that the program is pure ocaml
<Drup> Piotr455: can you provide more details on the program ?
<Piotr455> no binding to any C library, no Obj.magic
<Drup> waow :O
Haudegen has joined #ocaml
<Piotr455> the repo is here : https://github.com/edinburgh-rbm/exmogen
Haudegen is now known as Guest31971
<Piotr455> it is almost entirely written in functional style
<Piotr455> to improve sharing
<Piotr455> it enumerates acyclic chemical compounds (or coloured unrooted trees, more generally)
<Piotr455> the bulk of the effort is to detect automorphisms
<Piotr455> that's where I use a bit of matrix computations
<ggole> You're not doing -unsafe or Array/String.unsafe_*?
<Piotr455> no
<ggole> Hmm. No libraries other than Unix, too.
samrat has quit [Quit: Computer has gone to sleep.]
<Piotr455> Ok, I think it /is/ a stack overflow, the program running in debug mode just crashed.
<Piotr455> I guess that 4MB was not enough ... Sorry for the noise guys!
<ggole> Are you using very long lists?
<Piotr455> yes
<ggole> Some of the stdlib stuff (sadly) isn't tail recursive
<Piotr455> something like 2-3 million elements
<ggole> Yeah, that could do it
<Piotr455> I'll use rev_map instead
<Piotr455> thanks guys
<smondet> Piotr455: ^
jwatzman|work has quit [Quit: jwatzman|work]
<Piotr455> ouh interesting
<Piotr455> stack size is ignored
<Piotr455> that would explain everything
<Piotr455> I'm going to fix that right away
WraithM has joined #ocaml
jwatzman|work has joined #ocaml
jao` has joined #ocaml
jao` has quit [Changing host]
jao` has joined #ocaml
troutwine_away is now known as troutwine
Guest31971 is now known as Haudegen
zpe has joined #ocaml
Muzer has quit [Excess Flood]
BitPuffin has joined #ocaml
Muzer has joined #ocaml
BitPuffin has quit [Ping timeout: 255 seconds]
samrat has joined #ocaml
athan has joined #ocaml
hhugo has quit [Quit: Leaving.]
Piotr455 has quit [Quit: Page closed]
<athan> So is caml anologous to Haskell? What sort of type system does vanilla caml support? Does it have higher-kinded types? What are some features it's _lacking_? (besides the obvious object oriented layer). For instance - type classes?
martintrojer has quit [Remote host closed the connection]
<Denommus> athan: it doesn't have higher-kinded types nor type classes. Instead, the module system provides similar features
<athan> also... (you guys are gonna hate this)... are there any OCaml web frameworks? :)
<athan> Denommus: Interesting! I can't wait to learn, I'm opening up the ocamlbook right now :)
athan has quit [Remote host closed the connection]
<smondet> athan: http://ocsigen.org/ but there are others
<Denommus> why can't I install batteries for ocaml 4.02 from opam?
martintrojer has joined #ocaml
mobajm_ has joined #ocaml
mobajm has quit [Ping timeout: 240 seconds]
mobajm_ is now known as mobajm
<Drup> Denommus: batteries is not compatible with it yet, it should come soon
<Denommus> Drup: which one do people use the most? Batteries or Core?
<Drup> hard to answer, there was an argument about it on reddit ocaml
ustunozgur has joined #ocaml
<asmanur> 4.02 people use core
ontologiae has joined #ocaml
Muzer has quit [Excess Flood]
<flux> who is the 0.02 people? *badamtish*
jwatzman|work has quit [Quit: jwatzman|work]
misv_ has quit [Ping timeout: 276 seconds]
Muzer has joined #ocaml
misv has joined #ocaml
jwatzman|work has joined #ocaml
<adrien> :D
cross_ is now known as cross
Thooms has joined #ocaml
oscar_toro has joined #ocaml
rand000 has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
cite-reader has quit [Quit: leaving]
zpe_ has joined #ocaml
zpe has quit [Read error: Connection reset by peer]
Ch0c0late has joined #ocaml
Ch0c0late has quit [Quit: Textual IRC Client: www.textualapp.com]
ontologiae has quit [Ping timeout: 246 seconds]
bezirg has quit [Ping timeout: 252 seconds]
q66_ has joined #ocaml
q66[lap] has quit [Ping timeout: 250 seconds]
q66 has quit [Ping timeout: 260 seconds]
tane has quit [Quit: Verlassend]
q66[lap] has joined #ocaml
alinab has quit [Ping timeout: 268 seconds]
nickmeharry has quit [Ping timeout: 245 seconds]
bezirg has joined #ocaml
j0sh has quit [Ping timeout: 240 seconds]
j0sh has joined #ocaml
alinab has joined #ocaml
nickmeharry has joined #ocaml
j0sh has quit [Ping timeout: 245 seconds]
j0sh has joined #ocaml
axiles has quit [Remote host closed the connection]
sepp2k has quit [Quit: Konversation terminated!]
Submarine has joined #ocaml
zpe_ has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
sad0ur has quit [Ping timeout: 252 seconds]
MercurialAlchemi has quit [Remote host closed the connection]
vanila has joined #ocaml
<vanila> hi
oscar_toro has quit [Quit: oscar_toro]
MercurialAlchemi has joined #ocaml
<vanila> does anyone have guides on how to directly implement shift/reset delimited continuations in a compiler?
samrat has quit [Quit: Computer has gone to sleep.]
lbaan has quit [Quit: sleeping device]
zpe has joined #ocaml
avsm has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
mhi^ has quit [Remote host closed the connection]
seanmcl has joined #ocaml
avsm has quit [Quit: Leaving.]
Simn has quit [Quit: Leaving]
sad0ur has joined #ocaml
avsm has joined #ocaml
avsm has quit [Client Quit]
bezirg has quit [Ping timeout: 245 seconds]
_andre has quit [Quit: leaving]
ustunozgur has quit [Remote host closed the connection]
philtor has quit [Ping timeout: 260 seconds]
<smondet> Hi, after calling Lwt_daemon.daemonize I get that Lwt_preemptive.detach that stops working, does that ring any bell to anyone? (it used to work, like a week ago, not sure what got upgraded)
q66_ is now known as q66
<companion_cube> vanila: use delimcc
<companion_cube> it's a library on opam
<vanila> thanks ill read about it
lbaan has joined #ocaml
rand000 has quit [Quit: leaving]
claudiuc has joined #ocaml
claudiuc_ has joined #ocaml
ustunozgur has joined #ocaml
claudiuc has quit [Ping timeout: 245 seconds]
jao` has quit [Ping timeout: 245 seconds]
ggole has quit []
MercurialAlchemi has quit [Ping timeout: 260 seconds]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe has quit [Ping timeout: 245 seconds]
ygrek has joined #ocaml
dsheets has joined #ocaml
englishm has quit [Remote host closed the connection]
englishm has joined #ocaml
englishm has quit [Ping timeout: 264 seconds]
seanmcl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
jwatzman|work has quit [Quit: jwatzman|work]
msaegesser has quit [Ping timeout: 240 seconds]
ollehar has quit [Ping timeout: 260 seconds]
philtor has joined #ocaml
jwatzman|work has joined #ocaml
bezirg has joined #ocaml
Submarine has quit [Remote host closed the connection]
bezirg has quit [Ping timeout: 268 seconds]
cloutedcanine has joined #ocaml
hhugo has joined #ocaml
eikke__ has joined #ocaml
ygrek has quit [Ping timeout: 272 seconds]
bezirg has joined #ocaml
cloutedcanine has quit [Read error: Connection reset by peer]
antelopebyzantiu has joined #ocaml
antelopebyzantiu has quit [Excess Flood]
eikke__ has quit [Ping timeout: 272 seconds]
zpe has joined #ocaml
hhugo has quit [Quit: Leaving.]
gazingbeak has joined #ocaml
gazingbeak has quit [Excess Flood]
fold has joined #ocaml
zpe has quit [Ping timeout: 246 seconds]
bezirg has quit [Remote host closed the connection]
Kakadu has quit [Quit: Konversation terminated!]
WraithM has quit [Ping timeout: 246 seconds]
WraithM has joined #ocaml
|jbrown| has quit [Ping timeout: 260 seconds]
WraithM has quit [Client Quit]
|jbrown| has joined #ocaml
WraithM has joined #ocaml
BitPuffin has joined #ocaml
fold has quit [Ping timeout: 255 seconds]
madroach has quit [Ping timeout: 250 seconds]
madroach has joined #ocaml
darkf has joined #ocaml
NoNNaN has quit [Remote host closed the connection]
demonimin has quit [Remote host closed the connection]
waneck has joined #ocaml
Thooms has quit [Ping timeout: 264 seconds]
ZenosDance has joined #ocaml
vanila has quit [Quit: Leaving]