lapinou changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | http://www.ocaml.org | OCaml 4.01.0 announce at http://bit.ly/1851A3R | Public logs at http://tunes.org/~nef/logs/ocaml/
<Drup> I'm not writing a lot of ocaml right now, so I don't really want to voice my opinion on the subject as a user, but I some point I will :)
<Drup> (also need to write up on my usage of batteries's stream-like data structure)
<rgrinberg> you mean enum?
<Drup> enum, seq, various lists, ccube's sequence and gen, ..
n0v has quit [Quit: !]
<Drup> I have some benchmark comparing them, too
<rgrinberg> Drup: cool please share on the list whenver you are ready
thomasga has quit [Client Quit]
<Drup> the usage is very specific but it may be of interest
<rgrinberg> 1 data point is better than none
<rgrinberg> Drup: does ocsigen have some json lib in it somewhere or it relies on yojson/jsonm?
<Drup> it doesn't rely on yojson
n0v has joined #ocaml
<struktured> sigh I almost want to stop using "deriving" syntax just to get rid of syntax erros in vim
<Drup> there is something in js_of_ocaml
<rgrinberg> Drup: im trying to compose some benchmarks for various ocaml json libs
<rgrinberg> so far i have jsonm and yojson
<Drup> I don't really know where it is, but there is something in js_of_ocaml
<Drup> since there is a "deriving (Json)" in it
<rgrinberg> yeah i knew that existed as well but i don't know what's based on
<struktured> rgrinberg: based on?
<rgrinberg> i mean whether it's standalone or depends on yojson or jsonm
<Drup> rgrinberg: it's definitely standalone.
<Drup> but I think it's a bit hard coded using the deriving stuff
<Drup> and the output format is not really nice, it's more like a json version of marshalling that you can use with the json parser included in javascript
<rgrinberg> the copyright says martin jambon and gregoire henry, maybe it's been imported from some other package? or were they contributors
<Drup> they are contributors
<rgrinberg> didn't see them as committers for the file
<rgrinberg> forgot that you guys switched to github ^_^
<Drup> from darcs, yes
<rgrinberg> yeah I guess I might add deriving_json as well although i'm not sure how general purpose it is
<Drup> it's not really :p
<Drup> (afaict)
ocp has quit [Ping timeout: 265 seconds]
mcclurmc has quit [Remote host closed the connection]
comacat has quit [Quit: Lost terminal]
jao` has joined #ocaml
jao` has quit [Changing host]
jao` has joined #ocaml
ygrek has quit [Ping timeout: 252 seconds]
ocp has joined #ocaml
mcclurmc has joined #ocaml
mort___ has joined #ocaml
mcclurmc has quit [Ping timeout: 252 seconds]
ousado has joined #ocaml
mort___ has quit [Ping timeout: 260 seconds]
jwatzman|work has quit [Quit: jwatzman|work]
ygrek has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
struktured has quit [Ping timeout: 264 seconds]
manizzle has quit [Ping timeout: 252 seconds]
csakatoku has quit [Ping timeout: 265 seconds]
Eyyub has quit [Quit: Lost terminal]
struktured has joined #ocaml
csakatoku has joined #ocaml
boogie has quit [Remote host closed the connection]
csakatok_ has joined #ocaml
csakatoku has quit [Read error: Operation timed out]
wolfnn has quit [Ping timeout: 272 seconds]
dsheets has quit [Ping timeout: 245 seconds]
mcclurmc has joined #ocaml
Yoric has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
clan has joined #ocaml
kyrylo has quit [Ping timeout: 272 seconds]
csakatok_ has quit [Remote host closed the connection]
csakatoku has joined #ocaml
S11001001 has joined #ocaml
<covi> Is (@) an ordinary function?
talzeus has quit [Read error: Connection reset by peer]
mort___ has joined #ocaml
yacks has joined #ocaml
zxqdms has quit [Quit: leaving]
mort___ has quit [Ping timeout: 265 seconds]
ocp has quit [Ping timeout: 272 seconds]
talzeus has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest81352
Guest81352 has quit [Remote host closed the connection]
ocp has joined #ocaml
tnguyen1 has quit [Ping timeout: 252 seconds]
travisbrady has quit [Quit: travisbrady]
mcclurmc has quit [Remote host closed the connection]
struktured has quit [Ping timeout: 245 seconds]
mort___ has joined #ocaml
<zRecursive> covi: (@) : 'a list -> 'a list -> 'a list = <fun>
mort___ has quit [Ping timeout: 252 seconds]
philtor has joined #ocaml
csakatok_ has joined #ocaml
S11001001 has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
csakatoku has quit [Ping timeout: 245 seconds]
csakatok_ has quit [Remote host closed the connection]
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
philtor has quit [Ping timeout: 240 seconds]
jao` has quit [Ping timeout: 272 seconds]
Guest36956 has quit [Read error: Connection reset by peer]
arj has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest74576
mort___ has joined #ocaml
Yoric has quit [Ping timeout: 252 seconds]
mort___ has quit [Ping timeout: 272 seconds]
csakatoku has joined #ocaml
csakatok_ has joined #ocaml
csakatoku has quit [Ping timeout: 260 seconds]
struktured has joined #ocaml
clan has quit [Quit: clan]
csakatoku has joined #ocaml
csakatok_ has quit [Ping timeout: 272 seconds]
ocp has quit [Ping timeout: 272 seconds]
ygrek has quit [Ping timeout: 265 seconds]
csakatok_ has joined #ocaml
csakatoku has quit [Ping timeout: 264 seconds]
csakatoku has joined #ocaml
siddharthv_away is now known as siddharthv
csakatok_ has quit [Ping timeout: 240 seconds]
NoNNaN has joined #ocaml
ocp has joined #ocaml
csakatok_ has joined #ocaml
csakatoku has quit [Ping timeout: 252 seconds]
axiles has joined #ocaml
ulfdoz has joined #ocaml
csakatoku has joined #ocaml
csakatok_ has quit [Ping timeout: 245 seconds]
dant3 has joined #ocaml
yacks has quit [Quit: Leaving]
csakatok_ has joined #ocaml
ygrek has joined #ocaml
wwilly has joined #ocaml
csakatoku has quit [Ping timeout: 272 seconds]
csakatoku has joined #ocaml
csakatok_ has quit [Ping timeout: 272 seconds]
nikki93_ has quit [Remote host closed the connection]
nikki93 has joined #ocaml
clan_ has joined #ocaml
nikki93 has quit [Remote host closed the connection]
csakatok_ has joined #ocaml
csakatoku has quit [Ping timeout: 248 seconds]
yacks has joined #ocaml
so has quit [Ping timeout: 245 seconds]
ggole has joined #ocaml
ocp has quit [Ping timeout: 260 seconds]
nikki93 has joined #ocaml
ulfdoz has quit [Ping timeout: 272 seconds]
Guest74576 has quit [Remote host closed the connection]
csakatoku has joined #ocaml
csakatok_ has quit [Ping timeout: 252 seconds]
so has joined #ocaml
csakatok_ has joined #ocaml
csakatoku has quit [Ping timeout: 264 seconds]
csakatoku has joined #ocaml
zpe has joined #ocaml
Kakadu has joined #ocaml
csakatok_ has quit [Ping timeout: 272 seconds]
zpe has quit [Ping timeout: 252 seconds]
csakatok_ has joined #ocaml
csakatoku has quit [Ping timeout: 272 seconds]
sagotch has joined #ocaml
csakatoku has joined #ocaml
ollehar has joined #ocaml
csakatok_ has quit [Ping timeout: 264 seconds]
<sagotch> Ola todos, any bisect user today?
zRecursive has left #ocaml []
csakatok_ has joined #ocaml
csakatoku has quit [Ping timeout: 240 seconds]
martintrojer has joined #ocaml
csakatoku has joined #ocaml
csakatok_ has quit [Ping timeout: 272 seconds]
Yoric has joined #ocaml
cago has joined #ocaml
csakatok_ has joined #ocaml
siddharthv is now known as siddharthv_away
dant3 has quit [Remote host closed the connection]
csakatoku has quit [Ping timeout: 260 seconds]
dant3 has joined #ocaml
FreeArtMan has joined #ocaml
mika1 has joined #ocaml
csakatoku has joined #ocaml
<gasche> sagotch: what is your question?
csakatok_ has quit [Ping timeout: 248 seconds]
FreeArtMan has quit [Read error: Connection reset by peer]
sagotch_ has joined #ocaml
<sagotch_> Cannot succeed to compile. Let me post a Makefile
<gasche> the workflow of bisect is that you preprocess your program with "camlp4o `ocamlfind query bisect`/bisect_pp.cmo", and running the preprocessed program will generate coverage results on the side
<gasche> I will be very asynchronous today, so may not be able to help you much more
sagotch has quit [Ping timeout: 245 seconds]
Simn has joined #ocaml
csakatok_ has joined #ocaml
<sagotch_> Okay. Here is my makefile: http://pastebin.com/gkXt21FT
<sagotch_> And then the (first) error:
<sagotch_> ocamlfind bisect/bisect-report -html report coverage*.out ocamlfind: Cannot find command: /home/ju/.opam/4.01.0/lib/bisect/bisect-report
csakatoku has quit [Ping timeout: 252 seconds]
<sagotch_> (I agree there is no such file). There is a no such file
<sagotch_> So I tried to run:
<sagotch_> *** system error: src/lexer.ml: No such file or directory
<sagotch_> command was: /home/ju/.opam/4.01.0/bin/bisect-report -I _build/ -html report coverage0001.out
<sagotch_> (sorry for my poor connection but I am at faculty now)
skchrko has quit [Quit: Leaving]
wwilly has quit [Remote host closed the connection]
<sagotch_> (there actually is a file named _build/src/lexer.ml)
<Kakadu> ocamlfind query bisect
<Kakadu> ls `ocamlfind query bisect`
<Kakadu> ah, no such file
cago1 has joined #ocaml
dant3 has quit [Remote host closed the connection]
<sagotch_> ju:~/workspace/pastek$ ls `ocamlfind query bisect` bisect.a bisect.cmo bisect_pp.cmo bisectThread.cmx bisect.cma bisect.cmx bisectThread.cmi bisectThread.o bisect.cmi bisect.cmxa bisectThread.cmo META
cago has quit [Read error: Connection reset by peer]
<Kakadu> > ocamlfind bisect/bisect-report -html report coverage*.out
<Kakadu> very suspicious line
<Kakadu> try to change into bisect-report -html report coverage*.out
* Kakadu expects that `/home/ju/.opam/4.01.0/bin` in in $PATH
csakatoku has joined #ocaml
FreeArtMan has joined #ocaml
cago1 has quit [Quit: Leaving.]
cago has joined #ocaml
csakatok_ has quit [Ping timeout: 252 seconds]
<sagotch_> It does, thanks (this line comes from the bisect manual, but I certainly use it the wrong way...), but I have now may second issue
<sagotch_> bisect-report -I _build -html report coverage*.out *** system error: src/lexer.ml: No such file or directory
<sagotch_> with ls -R _build = http://pastebin.com/5FAejgm4
avsm has joined #ocaml
<sagotch_> (if I do not pass the -I _build option, it will complain about missing tests/basic_tests.cmp missing
cago1 has joined #ocaml
cago has quit [Read error: Connection reset by peer]
ollehar1 has joined #ocaml
csakatok_ has joined #ocaml
<rks`> struktured: open an issue (iirc the deriving syntax is bot supported in merlin)
<lapinou> if anyone feels like doing it, I've improved things in win-builds for linux hosts and could do with some testing
lapinou is now known as adrien
<adrien> also the manual needs a mention on from when Printexc.get_raw_backtrace is available
<adrien> (and print_raw_backtrace)
<adrien> can I bribe someone to have that updated?
csakatoku has quit [Ping timeout: 240 seconds]
ocp has joined #ocaml
<sagotch_> (and with -verbose) : Processing file 'src/lexer.ml'... ... file has 33 points *** system error: src/lexer.ml: No such file or directory
<sagotch_> src/lexer.ml has 33 points but there is no such file (one more time, there actually is)... well...
<adrien> hmm, few more things to fix in the new win-builds script :P
pango has quit [Ping timeout: 245 seconds]
<Kakadu> sagotch_: can you try to execute bisect-report from _build directory?
<sagotch_> seems to work, I have to check result
<sagotch_> yes THANK YOU, it works
<sagotch_> but it is strange... could it be a bug?
csakatoku has joined #ocaml
<Kakadu> I guess when you set path using -I it is not set well enough
<Kakadu> I could be a bug
csakatok_ has quit [Ping timeout: 252 seconds]
demonimin has quit [Ping timeout: 245 seconds]
zpe has joined #ocaml
<sagotch_> I have to put a `cd _build` instruction in my Makefile, but it works, so thank you again for your help
x4i has joined #ocaml
x4i has quit [Changing host]
x4i has joined #ocaml
pango has joined #ocaml
csakatok_ has joined #ocaml
csakatoku has quit [Ping timeout: 245 seconds]
<companion_cube> \o
csakatoku has joined #ocaml
cago1 has quit [Quit: Leaving.]
dant3 has joined #ocaml
cago has joined #ocaml
Yoric has quit [Ping timeout: 252 seconds]
csakatok_ has quit [Ping timeout: 265 seconds]
demonimin has joined #ocaml
<Kakadu> o/
mort___ has joined #ocaml
csakatok_ has joined #ocaml
csakatoku has quit [Ping timeout: 248 seconds]
csakatoku has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatok_ has quit [Ping timeout: 264 seconds]
csakatoku has joined #ocaml
adrien_oww is now known as lapinoww
_andre has joined #ocaml
csakatoku has quit [Ping timeout: 272 seconds]
<sagotch_> bisect-report result is weird (and vary if i run the code coverage test 1 or 2 times). Tests in a suit (using OUnit2) are red-colored, whereas it is actually ran (OUnit says 11/11 tests OK, and if I run the coverage twice, some red-colored code becomes green)
x4i has quit [Quit: Lingo - http://www.lingoirc.com]
<sagotch_> is OUnit2 running multiple threads? Is it supposed to be a known issue with bisect?
dant3 has quit [Remote host closed the connection]
thomasga has joined #ocaml
dant3 has joined #ocaml
thomasga1 has joined #ocaml
thomasga1 has quit [Client Quit]
thomasga has quit [Ping timeout: 272 seconds]
michael_lee has joined #ocaml
<companion_cube> it's not running multiple threads afaik
dant3 has quit [Ping timeout: 260 seconds]
dant3 has joined #ocaml
jonludlam has joined #ocaml
avsm has quit [Quit: Leaving.]
<sagotch_> Since OUnit2 it is possible to run using different cores, but I do not know if it is the default behavior, nor how to turn it off is so (yet)
Yoric has joined #ocaml
jonludlam has quit [Ping timeout: 245 seconds]
wolfnn has joined #ocaml
jonludlam has joined #ocaml
lapinoww_ has joined #ocaml
AltGr has joined #ocaml
lapinoww has quit [Ping timeout: 272 seconds]
dant3 has quit [Remote host closed the connection]
michael_lee has quit [Ping timeout: 260 seconds]
<companion_cube> oh, is it? my bad then
<sagotch_> Okay, running test with the old OUnit API (v 1.???) gives me a 100% code coverage, so the problem was indeed multi core/thread test running.
<sagotch_> (cannot find out how to use the old sequential test runner instead of the new one with OUnit2).
michael_lee has joined #ocaml
dant3 has joined #ocaml
siddharthv_away is now known as siddharthv
dant3 has quit [Remote host closed the connection]
kyrylo has joined #ocaml
avsm has joined #ocaml
thomasga has joined #ocaml
dant3 has joined #ocaml
dant3 has quit [Ping timeout: 252 seconds]
dsheets has joined #ocaml
dant3 has joined #ocaml
agnoctone has joined #ocaml
ontologiae_ has joined #ocaml
wolfnn has quit [Remote host closed the connection]
avsm has quit [Quit: Leaving.]
clan_ has quit [Quit: clan_]
<gasche> sagotch_: it may be possible to make Bisect re-entrant to avoid your issue
<gasche> 10:09 < adrien> can I bribe someone to have that updated?
<gasche> get*backtrace are available when backtraces are available :-'
nikki93 has quit [Remote host closed the connection]
<gasche> (documentation accepts patches too)
ygrek has quit [Ping timeout: 252 seconds]
skchrko has joined #ocaml
<sagotch_> I don't know. Bisect manual says few words about thread-safety and safe/fast/faster mode. But there is no example setting a specific mode, as there is too few explanation/example on how to use bisect with ocamlbuid (and without myocamlbuild.ml)
Thooms has joined #ocaml
<gasche> sagotch_: why not use a myocamlbuild.ml if you want to use ocamlbuild?
<sagotch_> I used to write complete rules for makefile, but I was lazy this time and tried ocamlbuild. I have no idea how to use a myocamlbuild.ml file, and you are not supposed to **have to** use it, do you?
<gasche> yes you are, if you want to define new tags or rules
<sagotch_> Hum... I should have a closer look to myocamlbuid.ml
sagotch_ has quit [Quit: Page closed]
<lapinoww_> gasche: no time for patches right now; presenting at fosdem next sunday :P
<lapinoww_> thus the bribe :D
<Thooms> lapinoww_: what are you presenting :) ?
<Thooms> (also, who will go there ?)
ygrek has joined #ocaml
csakatoku has joined #ocaml
<lapinoww_> Thooms: https://fosdem.org/2014/schedule/event/wine_mingw64/ (for which I need to fix and update the description)
<Thooms> nice :)
yacks has quit [Remote host closed the connection]
siddharthv is now known as siddharthv_away
nikki93 has joined #ocaml
nikki93 has quit [Ping timeout: 260 seconds]
mort___ has quit [Ping timeout: 252 seconds]
jonludlam has quit [Ping timeout: 245 seconds]
<ggole> The common practice of calling the "primary" type in a module t, e.g. Foo.t, seems to have a precursor in Modula-3. Is that where it came from? Is there an earlier antecedent?
shinnya has joined #ocaml
<pippijn> in C, people like to (although posix says you shouldn't) call their type names foo_t
lapinoww_ has quit [Ping timeout: 272 seconds]
<ggole> That's a bit different though: that's just short for _typedef
<ggole> It *is* very lexically similar, true
lapinoww has joined #ocaml
dant3 has quit [Remote host closed the connection]
sagotch has joined #ocaml
hto_ has joined #ocaml
hto has quit [Quit: Lost terminal]
hto_ has quit [Client Quit]
hto has joined #ocaml
yacks has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
yacks has quit [Max SendQ exceeded]
<gasche> rks`: could you talk a bit about what went on in this "refactor" branch that you cite in a pull request?
dant3 has joined #ocaml
<gasche> something like a blog post for example?
yacks has joined #ocaml
csakatoku has quit [Ping timeout: 245 seconds]
<gasche> (if you gh-pages something, I'll happily reddit it)
<rks`> gasche: sure, as I said the other day
<rks`> def-lkb has a partial blog post about that
<rks`> we'll put it online as soon as it is finished :)(
<rks`> -(
avsm has joined #ocaml
agnoctone has quit [Ping timeout: 245 seconds]
mmachenry has joined #ocaml
nikki93 has joined #ocaml
zpe_ has joined #ocaml
zpe has quit [Ping timeout: 252 seconds]
nikki93 has quit [Ping timeout: 245 seconds]
rwmjones has quit [Quit: Terminated with extreme prejudice - dircproxy 1.2.0]
diethyl has joined #ocaml
jonludlam has joined #ocaml
<def-lkb> gasche: I want my ocamllex :)
agnoctone has joined #ocaml
<gasche> I'm currently grading master projects, and it's a *lot* of work
<gasche> but yeah
avsm has quit [Quit: Leaving.]
* lapinoww hands gasche a stair
<gasche> I think you need several stairs to produce a non-obvious grading :-'
<lapinoww> boolean: 0 or 20!
maufred_ has quit [Ping timeout: 248 seconds]
maufred has quit [Ping timeout: 252 seconds]
travisbrady has joined #ocaml
* companion_cube gives gasche the path to an elevator
<companion_cube> should be more efficient than stairs
darkf has quit [Quit: Leaving]
maufred has joined #ocaml
maufred_ has joined #ocaml
avsm has joined #ocaml
saml has joined #ocaml
<lapinoww> happy 200th connectee \o/
<lapinoww> (in a few seconds, a leave)
shinnya has quit [Ping timeout: 272 seconds]
avsm has quit [Quit: Leaving.]
nlucaroni has joined #ocaml
csakatoku has joined #ocaml
mort___ has joined #ocaml
demonimin has quit [Ping timeout: 252 seconds]
mcclurmc has joined #ocaml
nikki93 has joined #ocaml
travisbrady has quit [Quit: travisbrady]
demonimin has joined #ocaml
travisbrady has joined #ocaml
nikki93 has quit [Ping timeout: 272 seconds]
avsm has joined #ocaml
amirmc has joined #ocaml
struktured has quit [Ping timeout: 252 seconds]
travisbrady has quit [Quit: travisbrady]
cesar_ has joined #ocaml
cesar_ is now known as Guest49094
csakatoku has quit [Remote host closed the connection]
dant3 has quit [Remote host closed the connection]
csakatoku has joined #ocaml
csakatoku has quit [Remote host closed the connection]
sagotch has quit [Quit: Page closed]
thomasga has quit [Quit: Leaving.]
nikki93 has joined #ocaml
thomasga has joined #ocaml
mika1 has quit [Quit: Leaving.]
cago has left #ocaml []
nikki93 has quit [Ping timeout: 252 seconds]
watermind has joined #ocaml
gargawel has joined #ocaml
gargawel has quit [Client Quit]
mocrunsthecity has joined #ocaml
avsm has quit [Quit: Leaving.]
gargawel_ has quit [Quit: Lost terminal]
gargawel has joined #ocaml
martintrojer has quit [Ping timeout: 252 seconds]
avsm has joined #ocaml
amirmc has quit [Quit: Leaving.]
Kakadu has quit [Ping timeout: 245 seconds]
yacks has quit [Quit: Leaving]
mmachenry has quit [Quit: Leaving.]
mmachenry has joined #ocaml
lostcuaz has joined #ocaml
amirmc has joined #ocaml
mreca has joined #ocaml
travisbrady has joined #ocaml
S11001001 has joined #ocaml
S11001001 has quit [Changing host]
S11001001 has joined #ocaml
mocrunsthecity has quit [Remote host closed the connection]
zpe_ has quit [Remote host closed the connection]
zpe has joined #ocaml
kaustuv has joined #ocaml
<kaustuv> When is 4.01.1 scheduled for release?
zpe has quit [Ping timeout: 264 seconds]
<Drup> Is it a trick question ? :D
<Drup> ocaml releases are on some sort of "when we have enough stuff" basis
michael_lee has quit [Quit: Ex-Chat]
<kaustuv> OK, so when are you scheduled to have enough stuff?
<Drup> no idea
agnoctone has quit [Quit: Page closed]
<Drup> kaustuv: are you looking for something specific ?
<rks`> kaustuv: when everything here http://caml.inria.fr/mantis/roadmap_page.php is crossed
<rks`> (seems like a good enough approximation)
<kaustuv> I'm looking for several specific things, but nothing I cannot be patient about.
<kaustuv> Thanks.
kaustuv has left #ocaml []
jonludlam has quit [Remote host closed the connection]
<dsheets> http://chaudhuri.info/misc/fwocaml/ is interesting
watermind has quit [Read error: Connection reset by peer]
watermind has joined #ocaml
avsm has quit [Quit: Leaving.]
jwatzman|work has joined #ocaml
<Drup> I disagree quite strongly with type/4.
<Drup> I agree with most of the rest :)
mmachenry has quit [Quit: Leaving.]
<Drup> it's not the first time I have seen this list
FreeArtMan has quit [Remote host closed the connection]
<Drup> there is somewhere an article "why ocaml sucks" which is mostly the same, the conclusion is just different
FreeArtMan has joined #ocaml
skchrko has quit [Ping timeout: 240 seconds]
<companion_cube> well those propositions are intereesting, but I fear that most just won't happen
<ggole> He doesn't seem to understand some of the syntax he is complaining about
<ggole> For instance :: is a ordinary *constructor* (apart from how it parses).
<companion_cube> well maybe constructors should also be operators
<companion_cube> it's a pain to write (fun x l -> x :: l), honestly
<companion_cube> (same for user-defined variants)
<nicoo> companion_cube: It used to be, in Caml Light
<ggole> It's rarely needed. It would be ok to just provide named functions for the few cases you actually want, like that one.
<ggole> (It would be nice if there was a Pervasives.cons.)
<companion_cube> I don't agree it's rarely needed
<companion_cube> Some, for instance, would make a very useful function
sagotch has joined #ocaml
demonimin has quit [Ping timeout: 252 seconds]
<ggole> I seem to remember Appel arguing that it should not have been in ML
<companion_cube> why not? what are the drawbacks?
zpe has joined #ocaml
<ggole> I have the paper I think it was in, let me see if I can find it
<companion_cube> (well that would be better if constructors were curried, but still)
demonimin has joined #ocaml
Kakadu has joined #ocaml
avsm has joined #ocaml
<ggole> Can't find it. :/
Yoric has quit [Ping timeout: 252 seconds]
<companion_cube> also, record fields should have associated functions (hence "fieldlib" on opam, I think)
<ggole> Can't agree, I don't want opening a module to shadow even more than it does.
<companion_cube> well, don't open modules
<companion_cube> that's the safest
<companion_cube> I think opening modules should trigger a warning unless open! is used :)
<companion_cube> but some people seem to like it
boogie has joined #ocaml
mmachenry has joined #ocaml
<nicoo> companion_cube: record fields shoud have associated lenses
clan has joined #ocaml
<companion_cube> arf
FreeArtMan has quit [Quit: main.lv]
nikki93 has joined #ocaml
mort___ has quit [Ping timeout: 264 seconds]
nikki93 has quit [Ping timeout: 245 seconds]
avsm has quit [Quit: Leaving.]
AltGr has left #ocaml []
Qett has joined #ocaml
Qett has quit [Client Quit]
Qett has joined #ocaml
Anarchos has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
sagotch has quit [Quit: Page closed]
jwatzman|work has quit [Quit: jwatzman|work]
jwatzman|work has joined #ocaml
zpe has quit [Ping timeout: 248 seconds]
jwatzman|work has quit [Read error: Connection reset by peer]
jwatzman|work has joined #ocaml
rz has quit [Quit: Ex-Chat]
rz has joined #ocaml
rwmjones has joined #ocaml
comacat has joined #ocaml
amirmc has quit [Quit: Leaving.]
ygrek has quit [Ping timeout: 272 seconds]
watermind has quit [Quit: Konversation terminated!]
travisbrady has quit [Quit: travisbrady]
travisbrady has joined #ocaml
thomasga has quit [Ping timeout: 240 seconds]
avsm has joined #ocaml
mreca has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dsheets has quit [Ping timeout: 260 seconds]
nikki93 has joined #ocaml
<erider> adrien: thanks for the help I finally got it to compile
<adrien> nice :)
nikki93 has quit [Ping timeout: 240 seconds]
<seliopou> anybody have experiencing speeding up travis-ci builds for ocaml projects?
<erider> btw what is an cmx file
arjunguha has joined #ocaml
<seliopou> in particular, building core an async is like a 20 minute ordeal in and of itself
<adrien> have you managed to get everything as a patch? I'm really curious about the changes you had to make
<seliopou> any ideas?
<adrien> a .cmx file is one of the output of native compilation
<adrien> basically: .ml through ocamlopt gives .cmx and .o
<adrien> .o has the raw object code; .cmx has a few other informations
mreca has joined #ocaml
<erider> adrien: so the main issue was that I didn't have the correct environment for the build system so I had to add some symlinks to fix things
skchrko has joined #ocaml
<adrien> :o
<adrien> like what?
<erider> once I study to .mk files I was able to figure out how they where looking for the deps
<erider> so my environment I use opam which makes an alternative location for the libs. so they are not in a standard location that a build system is looking for. normally they are looking in /usr/lib/ocaml but opam doesn't have the modules there but ocamlfind can find the location without any issues but a normal ocamlc or ocamlopt can not
<erider> so I symlink to /usr/lib/ocaml and that made things happy :-) I wish I would have done that from the beginning :-(
mort___ has joined #ocaml
sheijk has joined #ocaml
<adrien> ahhh
<erider> I was very close to moving on to allegro ;-)
<adrien> the dark ages of ocaml: before ocamlfind use was widespread
<adrien> (and before we were free to threaten people who didn't support ocamlfind)
<erider> it was frustrating because I am very new to ocaml and I want to use ocaml
<Drup> erider: what are you using sdl for, by curiosity ?
<adrien> yeah =/
<erider> sdl
<adrien> but as you can see: use ocamlfind/findlib to locate ocaml libs :)
<Drup> erider: well, you are building something :)
<erider> yes I was but its built now \o/
<erider> yes ocamlfind is very cool!
<Drup> what are you doing with sdl, that's my question =)
<adrien> definitely!
<erider> I want to use MLGAME lib
<Drup> hum, didn't know that
<erider> the system look very complete for what I want it for
<Drup> it's a bit all in one
<Drup> I would not use it, but why not
<avsm> seliopou: you could just pickle up an opam build of async and stash it on S3, which Travis can download
<erider> Drup: I am new to ocaml and I want to learn it with a project interesting to me
ocp has quit [Read error: Operation timed out]
<Drup> erider: I cant argue with that :)
<Drup> erider: just saying that you could probably find a combination of library that would do a better job than mlgame, that's all ;)
<erider> were you having some issues with sdl
<Drup> not with sdl, no
<erider> yes I was going to turn to allegro the ocaml binding looked straight forward
zpe has joined #ocaml
<Drup> there is an alegro binding, but I thing it's quit old, not sure if it's working
<rgrinberg> Drup: yep, it's not on opam
jwatzman|wor has joined #ocaml
mort___ has quit [Quit: Leaving.]
zpe has quit [Ping timeout: 240 seconds]
<erider> yeah I have the tarball already on my box
<seliopou> avsm: ok cool that's what we were thinking, sounds good!
jwatzman|work has quit [Ping timeout: 272 seconds]
<rgrinberg> avsm: how's the ocaml platform stuff going? haven't been hearing about that in a while
<avsm> rgrinberg: working on the tooling; it's getting there. will do an update when opam-doc is better integrated
sheijk has quit [Ping timeout: 252 seconds]
<rgrinberg> cool, good to know
sheijk has joined #ocaml
<companion_cube> remind me, will opam generate documentation for installed packages and store it locally?
avsm has quit [Quit: Leaving.]
mort___ has joined #ocaml
_andre has quit [Quit: leaving]
Yoric has joined #ocaml
<mmachenry> Does anyone know where I can follow the OPAM project to get docs onto the website?
<mmachenry> I'm excited about that feature.
Yoric has quit [Ping timeout: 252 seconds]
<erider> Drup: so what did you mean by using something else
<Drup> there will probably be a good amount of anouncement on the mailing list and the ocaml planet
sheijk has quit [Read error: Operation timed out]
sheijk has joined #ocaml
arj1 has joined #ocaml
nikki93 has joined #ocaml
<mmachenry> Drup: thanks
<nlucaroni> isn't the project opam-doc on github?
mort___ has quit [Read error: Connection reset by peer]
Yoric has joined #ocaml
mort___ has joined #ocaml
Kakadu has quit []
nikki93 has quit [Ping timeout: 272 seconds]
clan has quit [Quit: clan]
dsheets has joined #ocaml
arj1 has quit [Quit: Leaving.]
nlucaroni has quit [Quit: leaving]
mreca has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
tobiasBora has joined #ocaml
zpe has joined #ocaml
FreeArtMan has joined #ocaml
ggole has quit []
jwatzman|wor has quit [Ping timeout: 248 seconds]
S11001001 has quit [Read error: Connection reset by peer]
S11001001 has joined #ocaml
S11001001 has quit [Changing host]
S11001001 has joined #ocaml
mocrunsthecity has joined #ocaml
jwatzman|work has joined #ocaml
mocrunst_ has joined #ocaml
mocrunsthecity has quit [Read error: Connection reset by peer]
mocrunst_ has quit [Client Quit]
mocrunsthecity has joined #ocaml
nikki93 has joined #ocaml
nikki93 has quit [Remote host closed the connection]
malo has joined #ocaml
shinnya has joined #ocaml
mocrunsthecity has quit [Remote host closed the connection]
ollehar1 has quit [Ping timeout: 265 seconds]
FreeArtMan has quit [Ping timeout: 252 seconds]
mmachenry has quit [Quit: Leaving.]
clan has joined #ocaml
mmachenry has joined #ocaml
avsm has joined #ocaml
mmachenry has quit [Client Quit]
mocrunsthecity has joined #ocaml
mocrunsthecity has quit [Remote host closed the connection]
clan has quit [Quit: clan]
mmachenry has joined #ocaml
mocrunsthecity has joined #ocaml
mocrunsthecity has quit [Remote host closed the connection]
axiles has quit [Quit: Quitte]
nikki93 has joined #ocaml
mocrunsthecity has joined #ocaml
mocrunsthecity has quit [Read error: Connection reset by peer]
mocrunsthecity has joined #ocaml
mmachenry has quit [Quit: Leaving.]
mocrunsthecity has quit [Quit: Leaving...]
CalimeroTeknik has left #ocaml []
mmachenry has joined #ocaml
thomasga has joined #ocaml
saml has quit [Quit: Leaving]
ontologiae_ has quit [Ping timeout: 272 seconds]
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
Yoric has quit [Ping timeout: 252 seconds]
Yoric has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
zpe has quit [Ping timeout: 252 seconds]
tobiasBora has quit [Quit: Konversation terminated!]
clan has joined #ocaml
clan has quit [Client Quit]
malo has quit [Quit: Leaving]
Yoric has quit [Ping timeout: 252 seconds]
thomasga has quit [Quit: Leaving.]
mmachenry has quit [Quit: Leaving.]
thomasga has joined #ocaml
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
avsm has quit [Ping timeout: 252 seconds]
lostcuaz has joined #ocaml
travisbrady has quit [Read error: Operation timed out]
zpe has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
mort___ has quit [Quit: Leaving.]
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Thooms has quit [Quit: WeeChat 0.3.8]
thomasga has quit [Ping timeout: 248 seconds]
zpe has quit [Ping timeout: 240 seconds]
testcocoon has quit [Ping timeout: 252 seconds]
darkf has joined #ocaml
clan has joined #ocaml
avsm has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
shinnya has quit [Ping timeout: 264 seconds]
S11001001 has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
testcocoon has joined #ocaml
boogie has quit [Quit: Leaving...]
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zpe has joined #ocaml
zpe has quit [Ping timeout: 272 seconds]
Anarchos has quit [Quit: Vision[0.9.7-H-20131020]: i've been blurred!]
zRecursive has joined #ocaml
avsm has quit [Ping timeout: 265 seconds]
clan has quit [Quit: clan]
Simn has quit [Quit: Leaving]
clan has joined #ocaml
tristero has quit [Read error: Operation timed out]