flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.01.0 http://bit.ly/1851A3R | http://www.ocaml.org | Public logs at http://tunes.org/~nef/logs/ocaml/
<Drup> there seems to be no link on the ocaml.org website, I filled a bug request to add one.
csakatoku has joined #ocaml
nikki93 has joined #ocaml
nikki93 has quit [Remote host closed the connection]
hellome has joined #ocaml
hellome has quit [Remote host closed the connection]
kyrylo has quit [Ping timeout: 246 seconds]
hellome has joined #ocaml
nikki93 has joined #ocaml
avsm has quit [Quit: Leaving.]
hellome has quit [Read error: Connection reset by peer]
hellome has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
ousado_ has joined #ocaml
csakatoku has quit [Ping timeout: 246 seconds]
ousado has quit [Ping timeout: 240 seconds]
ousado_ is now known as ousado
ousado has quit [Changing host]
ousado has joined #ocaml
boogie has joined #ocaml
csakatoku has joined #ocaml
shinnya has quit [Ping timeout: 252 seconds]
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
boogie has quit [Remote host closed the connection]
tristero has joined #ocaml
Xenasis has quit [Remote host closed the connection]
csakatoku has quit [Ping timeout: 260 seconds]
csakatoku has joined #ocaml
Simn has quit [Quit: Leaving]
jwatzman|work has quit [Quit: jwatzman|work]
ontologiae has quit [Ping timeout: 264 seconds]
yacks has joined #ocaml
manud_ has quit [Ping timeout: 245 seconds]
watermind has quit [Quit: Konversation terminated!]
watermind has joined #ocaml
watermind has quit [Read error: Connection reset by peer]
watermind has joined #ocaml
michael_lee has joined #ocaml
talzeus has joined #ocaml
ollehar has quit [Ping timeout: 272 seconds]
_5kg has quit [Read error: Connection reset by peer]
nikki93 has quit [Remote host closed the connection]
csakatoku has quit [Remote host closed the connection]
_5kg has joined #ocaml
csakatoku has joined #ocaml
csakatoku has quit [Ping timeout: 265 seconds]
csakatoku has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
spacun has joined #ocaml
nikki93 has joined #ocaml
manud_ has joined #ocaml
ygrek has joined #ocaml
nze has quit [Ping timeout: 252 seconds]
manizzle has quit [Read error: Operation timed out]
Axord has joined #ocaml
watermind has quit [Quit: Konversation terminated!]
watermind has joined #ocaml
plugwash has quit [Ping timeout: 250 seconds]
<bobry> Is it possible to avoid duplication when defining class types for classes with inheritance? http://paste.in.ua/9162/
ygrek has quit [Ping timeout: 260 seconds]
ygrek has joined #ocaml
spacun has quit [Ping timeout: 265 seconds]
solrize has joined #ocaml
manud_ has quit [Ping timeout: 272 seconds]
solrize has left #ocaml []
spacun has joined #ocaml
csakatoku has quit [Ping timeout: 250 seconds]
csakatoku has joined #ocaml
manizzle has joined #ocaml
osa1_ has quit [Quit: Konversation terminated!]
osa1_ has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
watermind has quit [Quit: Konversation terminated!]
csakatoku has quit [Ping timeout: 260 seconds]
csakatoku has joined #ocaml
yacks has quit [Ping timeout: 250 seconds]
ggole has joined #ocaml
talzeus has quit [Remote host closed the connection]
talzeus has joined #ocaml
Neros has quit [Ping timeout: 240 seconds]
jao has quit [Ping timeout: 240 seconds]
dant3 has joined #ocaml
dant3 has quit [Remote host closed the connection]
dant3 has joined #ocaml
spacun has quit [Ping timeout: 252 seconds]
ygrek has quit [Ping timeout: 272 seconds]
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
csakatoku has quit [Read error: No route to host]
csakatoku has joined #ocaml
talzeus has quit [Remote host closed the connection]
<ggole> Hmm, constructing a (non-function) value with let rec involves calling caml_alloc_dummy under the hood. What's going on there?
rand000 has joined #ocaml
talzeus has joined #ocaml
dant3 has quit [Remote host closed the connection]
<whitequark> ggole: I believe it first creates the value filled with zeroes, then creates the other value, then mutates first.
<whitequark> this bug explains it a bit: http://caml.inria.fr/mantis/print_bug_page.php?bug_id=5384
<ggole> Hmm, ok
<whitequark> (the best explanation I could find, when I was interested)
<ggole> I guess I'm confused because it is unnecessary in this case
<ggole> Ah, I see. The problem is that there's no guarantee that everything will fit in the minor heap, so you can't just alloc a block that's large enough and then fill in the bits (in the general case).
dant3 has joined #ocaml
<ggole> Right, thanks for the link. That clears it up.
ygrek has joined #ocaml
csakatok_ has joined #ocaml
dant3 has quit [Remote host closed the connection]
csakatoku has quit [Ping timeout: 246 seconds]
dant3 has joined #ocaml
Kakadu has joined #ocaml
Arzaga has joined #ocaml
tlockney has quit [Excess Flood]
tlockney has joined #ocaml
nikki93 has quit [Remote host closed the connection]
_5kg has quit [Ping timeout: 246 seconds]
_5kg has joined #ocaml
strobegen has joined #ocaml
Arzaga has quit [Remote host closed the connection]
skchrko has quit [Ping timeout: 250 seconds]
divyansr has joined #ocaml
skchrko has joined #ocaml
zpe has joined #ocaml
cago has joined #ocaml
zpe has quit [Ping timeout: 246 seconds]
plugwash has joined #ocaml
nikki93 has joined #ocaml
wolfnn has joined #ocaml
csakatok_ has quit [Remote host closed the connection]
nikki93 has quit [Ping timeout: 260 seconds]
csakatoku has joined #ocaml
tovarish has joined #ocaml
csakatoku has quit [Ping timeout: 246 seconds]
sinior has joined #ocaml
dant3 has quit [Remote host closed the connection]
csakatoku has joined #ocaml
sinior has quit [Ping timeout: 246 seconds]
zpe has joined #ocaml
michael_lee has quit [Quit: Ex-Chat]
kyrylo has joined #ocaml
plugwash has quit [Ping timeout: 246 seconds]
snyp has joined #ocaml
yacks has joined #ocaml
WraithM has quit [Quit: leaving]
wolfnn has quit [Ping timeout: 246 seconds]
WraithM has joined #ocaml
dant3 has joined #ocaml
mye has joined #ocaml
n0v has quit [Ping timeout: 272 seconds]
n0v has joined #ocaml
n0v has quit [Ping timeout: 272 seconds]
nikki93 has joined #ocaml
jonludlam has joined #ocaml
n0v has joined #ocaml
snyp has quit [Quit: Leaving]
pminten has joined #ocaml
plugwash has joined #ocaml
Simn has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
csakatoku has quit [Ping timeout: 245 seconds]
Yoric has joined #ocaml
mika1 has joined #ocaml
zpe_ has joined #ocaml
zpe has quit [Ping timeout: 252 seconds]
amirmc has joined #ocaml
rand000 has quit [Ping timeout: 265 seconds]
zarul has quit [Ping timeout: 248 seconds]
zarul has joined #ocaml
zarul has quit [Changing host]
zarul has joined #ocaml
mchqwerty has joined #ocaml
malo has joined #ocaml
amirmc has quit [Quit: Leaving.]
dsheets has quit [Ping timeout: 245 seconds]
plugwash_ has joined #ocaml
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
dant3 has quit [Remote host closed the connection]
Neros has joined #ocaml
ygrek has quit [Ping timeout: 250 seconds]
dant3 has joined #ocaml
AltGr has joined #ocaml
thomasga has joined #ocaml
nikki93 has quit [Remote host closed the connection]
plugwash has quit [Ping timeout: 246 seconds]
pminten has quit [Remote host closed the connection]
dant3 has quit [Remote host closed the connection]
dant3 has joined #ocaml
dsheets has joined #ocaml
divyansr has quit [Quit: Page closed]
jbrown has quit [Remote host closed the connection]
dant3 has quit [Remote host closed the connection]
thomasga has quit [Quit: Leaving.]
plugwash has joined #ocaml
dant3 has joined #ocaml
talzeus has quit [Remote host closed the connection]
dant3 has quit [Remote host closed the connection]
strobegen has quit [Quit: Leaving.]
strobegen has joined #ocaml
strobegen has quit [Client Quit]
dant3 has joined #ocaml
strobegen has joined #ocaml
avsm has joined #ocaml
mort___ has joined #ocaml
mort___ has quit [Ping timeout: 245 seconds]
plugwash has quit [Ping timeout: 260 seconds]
mort___ has joined #ocaml
mort___ has quit [Ping timeout: 245 seconds]
thomasga has joined #ocaml
ollehar has joined #ocaml
ocp has joined #ocaml
rand000 has joined #ocaml
tovarish has quit [Quit: Leaving]
talzeus has joined #ocaml
talzeus has quit [Remote host closed the connection]
talzeus has joined #ocaml
watermind has joined #ocaml
<jpdeplaix> whitequark: is that enable_pretty_stacktrace will works before the 3.4 ?
watermind has quit [Read error: Connection reset by peer]
watermind has joined #ocaml
ontologiae has joined #ocaml
<whitequark> jpdeplaix: oh
<whitequark> I completely forgot about that :(
<whitequark> 3.4 is frozen, so no.
<whitequark> sorry.
<whitequark> I have a fix lying around somewhere, I'll hopefully get it in 3.5.
<jpdeplaix> ok, no problems. Thanks :)
jonludlam has quit [Ping timeout: 246 seconds]
ygrek has joined #ocaml
ollehar has quit [Ping timeout: 240 seconds]
watermind has quit [Quit: Konversation terminated!]
watermind has joined #ocaml
jonludlam has joined #ocaml
ontologiae has quit [Ping timeout: 260 seconds]
dant3 has quit [Remote host closed the connection]
frx has joined #ocaml
dant3 has joined #ocaml
frxx has quit [Ping timeout: 264 seconds]
darkf has quit [Quit: Leaving]
ontologiae has joined #ocaml
rand000 has quit [Ping timeout: 250 seconds]
mreca has joined #ocaml
snyp has joined #ocaml
snyp has quit [Client Quit]
snyp has joined #ocaml
yacks has quit [Quit: Leaving]
yacks has joined #ocaml
zpe has joined #ocaml
dsheets has quit [Quit: Leaving]
dsheets has joined #ocaml
tizoc has quit [Excess Flood]
tizoc has joined #ocaml
zpe_ has quit [Ping timeout: 252 seconds]
Cypi has quit [Ping timeout: 252 seconds]
Cypi has joined #ocaml
passiveobserver has joined #ocaml
rand000 has joined #ocaml
<thomasga> any idea how I can get the version which is in an _oasis file inside my program (to display the right string when using —version for instance ?)
<jpdeplaix> either execute « ocaml setup.ml -version » or parse the _oasis searching for OASISFormat ?
<jpdeplaix> But I'm not sure to understand your question
<thomasga> I want to show the same string when i do "myprog —version"
<smondet> example in Make: PKG_VERSION=$(shell grep 'Version:' _oasis | sed 's/Version: *//')
<thomasga> and 'grep "Version" _oasis'
<thomasga> smondet: I was planning to do this, but I was wondering if there were something built-in
<thomasga> like an autogen oasis.ml file hidden somewhere
snyp has quit [Quit: Leaving]
<smondet> the version is also in setup.data which is kind-of “source-able”
<smondet> (but I've been getting rid of oasis as much as possible lately, so I haven't explored new features)
watermind has quit [Read error: Connection reset by peer]
deavid has quit [Read error: Operation timed out]
Khady has quit [Read error: Operation timed out]
watermind has joined #ocaml
gargawel has quit [Read error: Operation timed out]
k4nar_ has quit [Read error: Operation timed out]
k4nar has joined #ocaml
gargawel has joined #ocaml
Khady has joined #ocaml
watermind has quit [Read error: Connection reset by peer]
watermind has joined #ocaml
deavid has joined #ocaml
mika1 has quit [Quit: Leaving.]
<jpdeplaix> smondet: what do you use now ?
dant3 has quit [Remote host closed the connection]
bholst has joined #ocaml
Neros has quit [Ping timeout: 260 seconds]
<smondet> jpdeplaix: custom script when the library fits in one ML/MLI pair (Bünzli-style), omake when the project is bigger
<smondet> waiting for the right solution to come up (omake is very annoying sometimes...)
mchqwerty has quit [Remote host closed the connection]
<jpdeplaix> :( ok
dant3 has joined #ocaml
<jpdeplaix> why did you get rid of oasis ?
<smondet> (for me) oasis was creating more problems than solving
dant3 has quit [Read error: Connection reset by peer]
<jpdeplaix> in which cases ?
dant3 has joined #ocaml
<smondet> thomasga's example, of getting info form a _oasis to do something
<smondet> anything you want to customize involves adding files for ocamlbuild that are going to be modified by oasis
<smondet> ocamlbuild itself is very annoying to use (creating a billion small files spread all around)
dant3 has quit [Remote host closed the connection]
<smondet> and the API for myocamlbuild.ml plugins is very bad also
<smondet> also parsing setup.log to uninstall causes a lot of trouble
dant3 has joined #ocaml
<Drup> (imho, the problem is more ocamlbuild than oasis ..)
<Drup> (I'm trying to do this sort of stuff currently and I haven't figure out yet how to put all the pieces together)
<smondet> Drup: oasis (like obuild, ocp-build, ...) parses a flat file (the _oasis) → that will never be enough for a build system
<thomasga> smondet: that's not true for ocp-build (it inspects all the subdir recursively as omake does)
<smondet> thomasga: what I mean is that the files are not scripts (not turing complete :) ) so you will always end-up having to works things around when you have to do something that's not supported by the tool
<thomasga> ha yes, sorry, you are completely right
<thomasga> but then you are left with the weird ocamlbuild API :p
sgnb has quit [Read error: Connection reset by peer]
<smondet> or omake (yet another turing-complete ackward language)
sgnb has joined #ocaml
dant3 has quit [Remote host closed the connection]
<smondet> or jenga (non-portable buldozer but at least the language is sane, OCaml)
<smondet> I want an ocaml-build-system library, your project has one single build file "build.ml" that starts with #use "topfind" #require "thebuildsystem"
<smondet> and from there the default constructs of the library would like ocp-build, but they would be hackable when you need to do something different
<smondet> s/would like/would *look* like/
<Drup> smondet: ocamlbuild is heading a bit this way, with the -plugin-tag flag
<Drup> but the foundations are not super sane.
<jpdeplaix> interpreted files can become really slow (see the setup.ml of oasis with and without being compiled)
<jpdeplaix> it's not serious for oasis, but for a build system…
<adrien> smondet: "I want an ocaml-build-system library" <- there's a bug report about that and gasche has plans too
<smondet> cool :)
rand000 has quit [Ping timeout: 246 seconds]
mreca has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<thomasga> smondet: I'd love to have the same thing
<jpdeplaix> but without wmeyer it will not be the same :(
<smondet> jpdeplaix: you can make "self-compilable scripts" if you want (a shell script that calls a clever `tail` on itself and compiles is natively)
zpe has quit [Read error: No route to host]
<smondet> jpdeplaix: indeed :(
zpe has joined #ocaml
<Drup> thomasga: do you plan to add this kind of stuff to ocp-build ?
<thomasga> personally, I have no special plan with ocp-build
<thomasga> I'use it when it fits my needs (and for some projects it does)
mreca has joined #ocaml
talzeus has quit [Read error: Connection reset by peer]
<jpdeplaix> I fear that ocamlbuild will not be enough developed now
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
ocp has quit [Ping timeout: 245 seconds]
Kakadu has quit [Quit: Page closed]
rand000 has joined #ocaml
Neros has joined #ocaml
mcclurmc has joined #ocaml
<companion_cube> I'd like oasis to allow ocp-build (or omake?) to be used as backends...
<rks`> ocp-build should be "easy" (also there's already something related to oasis in ocp-build's tree)
Yoric has quit [Ping timeout: 272 seconds]
<rks`> omake seems unrealistic.
<companion_cube> well, my point is: write a _oasis, never care about build systems anymore ^^
<Drup> that's not happening, unfortunatly
<Drup> as smondet said, not enough information in the _oasis
ollehar has joined #ocaml
zpe has quit [Remote host closed the connection]
cago has left #ocaml []
<companion_cube> awww
yezariaely has joined #ocaml
zpe has joined #ocaml
shinnya has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
Rc43 has joined #ocaml
<Rc43> Hello.
tane has joined #ocaml
Kakadu has joined #ocaml
<companion_cube> hi
clog has quit [^C]
clog has joined #ocaml
ousado has quit [Remote host closed the connection]
rs0 has quit [Ping timeout: 246 seconds]
ousado has joined #ocaml
ousado has quit [Changing host]
ousado has joined #ocaml
iZsh has quit [Ping timeout: 272 seconds]
skchrko has quit [Ping timeout: 250 seconds]
rs0 has joined #ocaml
skchrko has joined #ocaml
<Kakadu> fellas, will it be too much confusing if lablqt in opam will be called `mocml`?
iZsh has joined #ocaml
jao has quit [Read error: Connection reset by peer]
csakatoku has joined #ocaml
<Drup> Kakadu : I would advice to at least put "qt" in the name
<adrien> Kakadu: yes
<adrien> or at least, it wouldn't be a very expressive name
<nlucaroni> yeah, QT would be important in the name.
<Kakadu> So, it will be OK if `lablqt` opam package will install `mocml` executable and `lablqml` ocamlfind package?
<Kakadu> let's say that lablqt has its name by historical reasons...
<Drup> that would be less of an issue, I think
<adrien> you can also change to something that doesn't use "labl" in its name
csakatoku has quit [Remote host closed the connection]
thomasga has quit [Quit: Leaving.]
ttamttam has joined #ocaml
csakatoku has joined #ocaml
osa1_ has joined #ocaml
<Kakadu> nice
csakatoku has quit [Read error: No route to host]
csakatok_ has joined #ocaml
<Kakadu> I have just downloaded an english vacabulary: about 70l words
<Kakadu> 70k*
<Kakadu> and `grep qt` shows 0 lines
Yoric has quit [Ping timeout: 246 seconds]
BitPuffin has joined #ocaml
amirmc has joined #ocaml
amirmc has quit [Client Quit]
mcclurmc has quit [Remote host closed the connection]
jonludlam has quit [Remote host closed the connection]
manizzle has quit [Ping timeout: 272 seconds]
ulfdoz has joined #ocaml
ygrek_ has quit [Ping timeout: 245 seconds]
mcclurmc has joined #ocaml
rand000 has joined #ocaml
yezariaely has quit [Quit: Leaving.]
csakatok_ has quit [Ping timeout: 260 seconds]
thomasga has joined #ocaml
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
nikki93 has quit [Remote host closed the connection]
avsm has quit [Ping timeout: 260 seconds]
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
boogie has joined #ocaml
AltGr has left #ocaml []
milosn has joined #ocaml
thomasga has quit [Ping timeout: 252 seconds]
manizzle has joined #ocaml
milosn has quit [Ping timeout: 241 seconds]
milosn has joined #ocaml
ggole has quit [Ping timeout: 272 seconds]
dant3 has quit []
dsheets has quit [Ping timeout: 250 seconds]
ambul has joined #ocaml
ollehar has quit [Ping timeout: 246 seconds]
ttamttam has quit [Quit: ttamttam]
Rc43 has quit [Ping timeout: 272 seconds]
Yoric has joined #ocaml
milosn has quit [Ping timeout: 240 seconds]
milosn has joined #ocaml
dsheets has joined #ocaml
Yoric has quit [Ping timeout: 246 seconds]
Yoric has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
nlucaroni has quit [Quit: leaving]
nlucaroni has joined #ocaml
groovy2shoes has joined #ocaml
ollehar has joined #ocaml
kyrylo has joined #ocaml
mfp_ has quit [Ping timeout: 240 seconds]
Xenasis has joined #ocaml
mfp_ has joined #ocaml
mort___ has joined #ocaml
thomasga has joined #ocaml
Eyyub has joined #ocaml
mye has quit [Quit: mye]
mye has joined #ocaml
mye has quit [Client Quit]
Arsenik has joined #ocaml
mort___ has quit [Quit: Leaving.]
ulfdoz has quit [Ping timeout: 260 seconds]
demonimin has joined #ocaml
plugwash has quit [Ping timeout: 252 seconds]
jbrown has quit [Ping timeout: 246 seconds]
thomasga has quit [Quit: Leaving.]
ocp has joined #ocaml
watermind has quit [Quit: Konversation terminated!]
watermind has joined #ocaml
tobiasBora has joined #ocaml
rand000 has quit [Quit: leaving]
jbrown has joined #ocaml
Eyyub has quit [Quit: Lost terminal]
thomasga has joined #ocaml
mcclurmc has joined #ocaml
ocp has quit [Ping timeout: 245 seconds]
Kakadu has quit []
zpe has joined #ocaml
frxx has quit [Read error: Connection reset by peer]
zpe has quit [Remote host closed the connection]
jbrown has quit [Ping timeout: 248 seconds]
jbrown has joined #ocaml
milosn has quit [Ping timeout: 248 seconds]
milosn has joined #ocaml
Arsenik has quit [Remote host closed the connection]
jonludlam has joined #ocaml
jbrown has quit [Ping timeout: 240 seconds]
jbrown has joined #ocaml
nlucaroni has quit [Quit: leaving]
mreca has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Yoric has quit [Quit: Instantbird 1.5a1pre -- http://www.instantbird.com]
spacun has joined #ocaml
jonludlam has quit [Ping timeout: 245 seconds]
milosn has quit [Ping timeout: 245 seconds]
milosn has joined #ocaml
spacun has quit [Ping timeout: 264 seconds]
jonludlam has joined #ocaml
darkf has joined #ocaml
sheijk has joined #ocaml
boom583 has joined #ocaml
thomasga has quit [Quit: Leaving.]
zpe has joined #ocaml
zpe has quit [Ping timeout: 252 seconds]
kyrylo has quit [Quit: Don't give up! Tell ya neighbour, tell ya friend...]
frx has joined #ocaml
tobiasBora has quit [Quit: Konversation terminated!]
boom583 has quit [Quit: boom583]
spacun has joined #ocaml
malo has quit [Quit: Leaving]
gargawel has quit [Quit: Je re.]
gargawel has joined #ocaml
gargawel has quit [Client Quit]
gargawel has joined #ocaml
gargawel has quit [Client Quit]
gargawel has joined #ocaml
gargawel has quit [Client Quit]
passiveobserver has quit [K-Lined]
gargawel has joined #ocaml
gargawel has quit [Client Quit]
spacun has quit [Ping timeout: 240 seconds]
gargawel has joined #ocaml
madroach has quit [Ping timeout: 264 seconds]
mreca has joined #ocaml
madroach has joined #ocaml
demonimin has quit [Ping timeout: 252 seconds]
groovy2shoes has quit [Quit: groovy2shoes]
mcclurmc has quit [Remote host closed the connection]