flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.00.1 http://bit.ly/UHeZyT | http://www.ocaml.org | Public logs at http://tunes.org/~nef/logs/ocaml/
cthuluh has quit [Ping timeout: 276 seconds]
cthuluh has joined #ocaml
ygrek has joined #ocaml
ontologiae has quit [Ping timeout: 256 seconds]
wmeyer has quit [Ping timeout: 264 seconds]
<watermind> how is it that .opam/4.00.1/bin is on my PATH?
<watermind> it's good that it is, but I just wonder how... I greped the . files in ~ and none referenced this dir
<watermind> I'd have expected something to be in my bash profile
zRecursive has joined #ocaml
jayprich has quit [Quit: jayprich]
talzeus_ has quit [Read error: Connection reset by peer]
q66 has quit [Quit: Leaving]
cthuluh has quit [Ping timeout: 260 seconds]
venk` is now known as vnek
vnek is now known as venk
cthuluh has joined #ocaml
csakatoku has joined #ocaml
mfp has quit [Ping timeout: 246 seconds]
csakatoku has quit [Ping timeout: 245 seconds]
lambdaTerrorist is now known as xenocons
cdidd has quit [Remote host closed the connection]
cdidd has joined #ocaml
walter has quit [Quit: This computer has gone to sleep]
ygrek has quit [Ping timeout: 245 seconds]
ggherdov has joined #ocaml
madroach has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml
talzeus has joined #ocaml
cthuluh has quit [Read error: Operation timed out]
cthuluh has joined #ocaml
cthuluh has quit [Ping timeout: 256 seconds]
csakatoku has joined #ocaml
cthuluh has joined #ocaml
csakatoku has quit [Ping timeout: 256 seconds]
ygrek has joined #ocaml
osa1_ has quit [Ping timeout: 260 seconds]
<ygrek> watermind, what about running eval?
breakds has joined #ocaml
ahill-89 has joined #ocaml
ihm1 has joined #ocaml
csakatoku has joined #ocaml
watermind has quit [Ping timeout: 240 seconds]
pango has quit [Read error: Operation timed out]
zRecursive has quit [Remote host closed the connection]
csakatoku has quit [Remote host closed the connection]
shinnya has quit [Ping timeout: 264 seconds]
ihm1_ has joined #ocaml
derek_c has joined #ocaml
ihm1 has quit [Ping timeout: 245 seconds]
ihm1_ is now known as ihm1
breakds has quit [Remote host closed the connection]
ahill-89 has quit [Quit: leaving]
<berenger_> hi
<berenger_> any batteries contributor in there?
<berenger_> I wanted to know many we are here
<berenger_> just to know if it is more responsive than the batteries' ML
<berenger_> ygrek: you use batteries at work?
<ygrek> no
<berenger_> so, no OCaml at work
<berenger_> ?
ben_zen has quit [Ping timeout: 264 seconds]
<ygrek> your logic escapes me
<berenger_> I use at work
<berenger_> mjambon also these days
<berenger_> I'd like to have an idea of how much it is used
<berenger_> Like how many projects, how many companies
derek_c has quit [Quit: leaving]
ihm1 has quit [Quit: ihm1]
pango has joined #ocaml
yacks has quit [Quit: Leaving]
Obfuscate has quit [Remote host closed the connection]
Obfuscate has joined #ocaml
gour has joined #ocaml
csakatoku has joined #ocaml
Snark has joined #ocaml
csakatok_ has joined #ocaml
csakatoku has quit [Ping timeout: 256 seconds]
Yoric has joined #ocaml
zRecursive has joined #ocaml
ygrek has quit [Ping timeout: 248 seconds]
berenger_ has quit [Quit: leaving]
skunkwerks has quit [Ping timeout: 245 seconds]
tianon has quit [Ping timeout: 264 seconds]
tianon has joined #ocaml
tianon has quit [Changing host]
tianon has joined #ocaml
ohama has quit [Ping timeout: 264 seconds]
ohama has joined #ocaml
asmanur has quit [Ping timeout: 264 seconds]
iZsh has quit [Ping timeout: 264 seconds]
bitbckt has quit [Ping timeout: 245 seconds]
dch has joined #ocaml
asmanur has joined #ocaml
bitbckt has joined #ocaml
TDJACR has quit [Quit: Quit]
iZsh has joined #ocaml
ttamttam has joined #ocaml
Yoric has quit [Remote host closed the connection]
Yoric1 has joined #ocaml
Myk267 has quit [Read error: Connection timed out]
Myk267 has joined #ocaml
TDJACR has joined #ocaml
ggole has joined #ocaml
Anarchos has joined #ocaml
TDJACR has quit [Quit: Quit]
zRecursive has left #ocaml []
Yoric1 has quit [Ping timeout: 240 seconds]
Simn has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-130604]: i've been blurred!]
Kakadu has joined #ocaml
zpe has joined #ocaml
chambart has joined #ocaml
mika1 has joined #ocaml
djcoin has joined #ocaml
thomasga has joined #ocaml
Yoric has joined #ocaml
Yoric1 has joined #ocaml
Yoric has quit [Ping timeout: 240 seconds]
<companion_cube> let's write a multimap!
Yoric1 has quit [Ping timeout: 246 seconds]
Yoric has joined #ocaml
skchrko has joined #ocaml
Yoric has quit [Ping timeout: 246 seconds]
q66 has joined #ocaml
TDJACR has joined #ocaml
Neros has quit [Ping timeout: 276 seconds]
ygrek has joined #ocaml
mort___ has joined #ocaml
Kakadu_ has joined #ocaml
ggole has quit [Ping timeout: 240 seconds]
Kakadu has quit [Ping timeout: 268 seconds]
ollehar has joined #ocaml
ggole has joined #ocaml
milosn has quit [Read error: Connection reset by peer]
milosn has joined #ocaml
mfp has joined #ocaml
morolin_ has joined #ocaml
ollehar1 has joined #ocaml
ollehar has quit [*.net *.split]
ttamttam has quit [*.net *.split]
gour has quit [*.net *.split]
levi has quit [*.net *.split]
morolin has quit [*.net *.split]
dtg has quit [*.net *.split]
ygrek has quit [*.net *.split]
dch has quit [*.net *.split]
lopex has quit [*.net *.split]
ccasin_ has quit [*.net *.split]
lenstr has quit [*.net *.split]
brendan has quit [*.net *.split]
wormphlegm has quit [*.net *.split]
maufred_ has quit [*.net *.split]
pippijn has quit [*.net *.split]
xenocons has quit [*.net *.split]
CissWit has quit [*.net *.split]
milosn has quit [*.net *.split]
tianon has quit [*.net *.split]
transfinite has quit [*.net *.split]
tov has quit [*.net *.split]
wagle has quit [*.net *.split]
tauntaun has quit [*.net *.split]
bobry has quit [*.net *.split]
technomancy has quit [*.net *.split]
k4nar has quit [*.net *.split]
thelema_ has quit [*.net *.split]
so has quit [*.net *.split]
patronus has quit [*.net *.split]
noplamodo has quit [*.net *.split]
vbmithr has quit [*.net *.split]
xaimus has quit [*.net *.split]
ggherdov has quit [*.net *.split]
gasche has quit [*.net *.split]
saml has quit [*.net *.split]
orbitz has quit [*.net *.split]
The_third_man has quit [*.net *.split]
hto has quit [*.net *.split]
gildor has quit [*.net *.split]
ski has quit [*.net *.split]
djcoin has quit [*.net *.split]
Simn has quit [*.net *.split]
bitbckt has quit [*.net *.split]
BiDOrD has quit [*.net *.split]
darkf has quit [*.net *.split]
paddymahoney has quit [*.net *.split]
jdoles has quit [*.net *.split]
manud has quit [*.net *.split]
rossberg has quit [*.net *.split]
gereedy has quit [*.net *.split]
alexey has quit [*.net *.split]
aggelos_ has quit [*.net *.split]
dnm has quit [*.net *.split]
paddymahoney has joined #ocaml
djcoin has joined #ocaml
Simn has joined #ocaml
bitbckt has joined #ocaml
BiDOrD has joined #ocaml
darkf has joined #ocaml
manud has joined #ocaml
rossberg has joined #ocaml
gereedy has joined #ocaml
alexey has joined #ocaml
aggelos_ has joined #ocaml
paddymahoney has quit [Max SendQ exceeded]
paddymahoney has joined #ocaml
gour has joined #ocaml
levi` has joined #ocaml
ttamttam has joined #ocaml
dtg_ has joined #ocaml
milosn has joined #ocaml
ygrek has joined #ocaml
dch has joined #ocaml
tianon has joined #ocaml
gasche has joined #ocaml
dnm has joined #ocaml
saml has joined #ocaml
orbitz has joined #ocaml
lopex has joined #ocaml
xaimus has joined #ocaml
vbmithr has joined #ocaml
noplamodo has joined #ocaml
patronus has joined #ocaml
so has joined #ocaml
thelema_ has joined #ocaml
technomancy has joined #ocaml
bobry has joined #ocaml
k4nar has joined #ocaml
tauntaun has joined #ocaml
wagle has joined #ocaml
tov has joined #ocaml
transfinite has joined #ocaml
xenocons has joined #ocaml
pippijn has joined #ocaml
maufred_ has joined #ocaml
wormphlegm has joined #ocaml
brendan has joined #ocaml
CissWit has joined #ocaml
lenstr has joined #ocaml
ccasin_ has joined #ocaml
ski has joined #ocaml
gildor has joined #ocaml
hto has joined #ocaml
The_third_man has joined #ocaml
ollehar1 has quit [Remote host closed the connection]
ollehar has joined #ocaml
jdoles has joined #ocaml
ggherdov has joined #ocaml
ttamttam has quit [Remote host closed the connection]
ttamttam has joined #ocaml
ygrek has quit [Remote host closed the connection]
ygrek has joined #ocaml
Yoric has joined #ocaml
Neros has joined #ocaml
mort___ has quit [Ping timeout: 276 seconds]
mort___ has joined #ocaml
dsheets has joined #ocaml
dsheets has quit [Client Quit]
zpe has quit [Ping timeout: 276 seconds]
dsheets has joined #ocaml
Drup has joined #ocaml
Neros has quit [Ping timeout: 245 seconds]
mort___ has quit [Quit: Leaving.]
zpe has joined #ocaml
chambart has quit [Ping timeout: 246 seconds]
ontologiae has joined #ocaml
yacks has joined #ocaml
thomasga has quit [Quit: Leaving.]
Neros has joined #ocaml
<gour> am i right feeling that ocaml is going through some kind of reneissance as language? at least its ecosystem is greatly improving (compiler, opam, forge, editor tools...)
Neros has quit [Ping timeout: 245 seconds]
<dsheets> gour, renaissance implies a dark ages... ocaml is blooming into a mainstream powerhouse :-P
mort___ has joined #ocaml
n06rin has joined #ocaml
<rks`> gour: what do you mean by "forge"?
<gour> dsheets: lol
<gour> rks`: forge for projects
<rks`> yeah but
<rks`> how's the caml forge greatly improving?
<gour> well, before i was not aware it exists :-)
<gour> i'll take closer look at ocaml and evaluate is more thoroughly against ada & its ecosytem
<gour> however, iwould be more pleased to see development of lablqt/tk than wxocaml
rwmjones has quit [Ping timeout: 264 seconds]
_andre has joined #ocaml
Neros has joined #ocaml
osa1_ has joined #ocaml
rwmjones has joined #ocaml
_andre has quit [Quit: leaving]
rwmjones has quit [Ping timeout: 240 seconds]
csakatok_ has quit [Remote host closed the connection]
breakds has joined #ocaml
ben_zen has joined #ocaml
n06rin has quit [Read error: Connection reset by peer]
n06rin has joined #ocaml
cago has joined #ocaml
mort___ has quit [Quit: Leaving.]
_andre has joined #ocaml
ollehar has quit [Ping timeout: 256 seconds]
iZsh has quit [Ping timeout: 245 seconds]
iZsh has joined #ocaml
talzeus has quit [Remote host closed the connection]
darkf has quit [Quit: Leaving]
thomasga has joined #ocaml
walter has joined #ocaml
chambart has joined #ocaml
thomasga has quit [Quit: Leaving.]
Neros has quit [Ping timeout: 245 seconds]
ollehar has joined #ocaml
Neros has joined #ocaml
chambart has quit [Ping timeout: 264 seconds]
Neros has quit [Ping timeout: 245 seconds]
ygrek has quit [Ping timeout: 264 seconds]
bondar has joined #ocaml
ben_zen has quit [Ping timeout: 256 seconds]
Kakadu_ is now known as Kakadu
talzeus has joined #ocaml
talzeus__ has joined #ocaml
talzeus has quit [Ping timeout: 256 seconds]
osa1_ has quit [Ping timeout: 256 seconds]
n06rin1 has joined #ocaml
n06rin has quit [Read error: Connection reset by peer]
thomasga has joined #ocaml
ontologiae has quit [Ping timeout: 256 seconds]
thomasga has quit [Quit: Leaving.]
shinnya has joined #ocaml
Neros has joined #ocaml
ygrek has joined #ocaml
Neros has quit [Ping timeout: 245 seconds]
morolin_ is now known as morolin
morolin is now known as morolin_
morolin has joined #ocaml
morolin_ has quit [Quit: Leaving]
csakatoku has joined #ocaml
gour has quit [Disconnected by services]
gour_ has joined #ocaml
demonimin_ is now known as demonimin
thomasga has joined #ocaml
amirmc has joined #ocaml
skchrko has quit [Quit: Leaving]
bondar has quit [Ping timeout: 264 seconds]
ollehar has quit [Ping timeout: 264 seconds]
amirmc has quit [Quit: Leaving.]
ollehar has joined #ocaml
TDJACR has quit [Quit: Quit]
TDJACR has joined #ocaml
TDJACR has quit [Changing host]
TDJACR has joined #ocaml
ccasin_ is now known as ccasin
chambart has joined #ocaml
cago has left #ocaml []
mika1 has quit [Quit: Leaving.]
Yoric has quit [Ping timeout: 240 seconds]
<gasche> adrien, adrien_oww: how do your cross-compilation approach handles machine-specific compilation options of asmcomp/Arch.command_line_options? This is the topic of a patch in the newly submitted PR#6167
<rks`> (could you link the issue?)
rwmjones has joined #ocaml
amirmc has joined #ocaml
<gasche> in the old days I had Konqueror and I could program custom URL loaders in the URL bar
<gasche> there must be a Firefox extension to do that as well
<Drup> If I understand what you mean, you don't even need an extension, vanilla firefox can do this by puting key words on custom search engines.
rwmjones has quit [Read error: Operation timed out]
<gasche> well
<gasche> my Firefox doesn't allow me to add a new search engine or bookmark, it seems
<rks`> :D
Anarchos has joined #ocaml
<gasche> (I mean define a new one myself, without going through horrible XML pain)
amirmc has quit [Quit: Leaving.]
<gasche> hmm in fact there is a "New Bookmark" option, it is just horribly hard to find
<gasche> (in the bookmark manager, *select a directory* and then you can request a new bookmark)
<gasche> then putting a %s in the URL gives a feature equivalent to Konqueror's
<gasche> (keyword 'PR' is invoked with 'PR 6000' for example)
n06rin1 has quit [Quit: Leaving.]
<adrien_oww> gasche: hmmmmmmmmmmmmmmmmmmmmmm
<adrien_oww> gasche: that comes from the configure and I don't do anything specific
ttamttam has quit [Quit: ttamttam]
csakatoku has quit [Remote host closed the connection]
morolin has quit [Ping timeout: 245 seconds]
chambart has quit [Ping timeout: 240 seconds]
chambart has joined #ocaml
csakatoku has joined #ocaml
levi` is now known as levi
morolin has joined #ocaml
Neros has joined #ocaml
morolin has quit [Client Quit]
Drup has quit [Ping timeout: 245 seconds]
demonimin has quit [Ping timeout: 246 seconds]
Drup has joined #ocaml
demonimin has joined #ocaml
rwmjones has joined #ocaml
yacks has quit [Read error: Connection reset by peer]
pippijn has quit [Remote host closed the connection]
pippijn has joined #ocaml
ollehar has quit [Ping timeout: 264 seconds]
Anarchos has quit [Ping timeout: 264 seconds]
ollehar has joined #ocaml
Kakadu has quit [Quit: Page closed]
rwmjones has quit [Read error: Operation timed out]
tane has joined #ocaml
rwmjones has joined #ocaml
csakatoku has quit [Remote host closed the connection]
yacks has joined #ocaml
chambart has quit [Ping timeout: 264 seconds]
pango has quit [Remote host closed the connection]
pippijn has quit [Quit: Segmentation fault]
pippijn has joined #ocaml
pango has joined #ocaml
Neros has quit [Remote host closed the connection]
ygrek has quit [Ping timeout: 268 seconds]
rwmjones has quit [Ping timeout: 240 seconds]
Neros has joined #ocaml
thomasga has quit [Quit: Leaving.]
pippijn has quit [Quit: leaving]
pippijn has joined #ocaml
dsheets has quit [Ping timeout: 264 seconds]
csakatoku has joined #ocaml
ontologiae has joined #ocaml
rwmjones has joined #ocaml
<adrien> is there a library that implements topological sort?
<jbrown> I have an implementation somewhere, but I'm not sure how seperable it is
<jbrown> I can have a look if you like?
csakatoku has quit [Ping timeout: 264 seconds]
<adrien> it's for a very small project and it's not in a hurry
<adrien> unless you wanted to separate it anyway, there's no need to bother
<jbrown> oh well, panic.cs-bristol.org.uk/~jules/dgraph.ml is it, I think it's more or less stand-alone
<jbrown> use it how you like :-)
<adrien> thanks
<ggole> That's one I did a while ago for something I forget
<ggole> Operates on a list of pairs, not a graph.
walter has quit [Quit: This computer has gone to sleep]
<adrien> that matches my program fairly well
<adrien> do you have licenses for these files?
<jbrown> you can shell out to the command-line "tsort" utility from coreutils (debian) too, perhaps
<jbrown> me? Ummm... what would you like it to be?
<jbrown> it's from an unreleased project that I haven't thought about licensing for, but it'll probably end up being GPL
<ggole> I've never bothered for trivial code like this.
<adrien> thought about that but shelling out would require as much code as implementing the algorithm :P
<jbrown> heh
<adrien> I'll probably be doing GPL too
<companion_cube> adrien: ocamlgraph doesn't?
<adrien> I was under the impression it didnt' but I've checked the API and it does
yacks has quit [Ping timeout: 245 seconds]
<adrien> I'd have to learn some ocamlgraph idioms though
yacks has joined #ocaml
dsheets has joined #ocaml
<adrien> hmmmm
<adrien> your two implementations use mutable record fields and that won't play terribly well with how I'm building my data structure
<adrien> I think I can do it without topo sort actually and that'll make it nicer
cyocum has joined #ocaml
ontologiae has quit [Ping timeout: 256 seconds]
<cyocum> Hi, does anyone have experience with pgocaml and lwt?
<cyocum> and the inclination to help?
Neros has quit [Ping timeout: 260 seconds]
<cyocum> the code here doesn't type (the error is at the top)
Myk267 has quit [Quit: Myk267]
Snark has quit [Quit: leaving]
zpe has quit [Remote host closed the connection]
Yoric has joined #ocaml
csakatoku has joined #ocaml
<cyocum> anyone with pgocaml and lwt experience around who can help with a simple problem?
Yoric has quit [Ping timeout: 246 seconds]
csakatoku has quit [Ping timeout: 264 seconds]
mort___ has joined #ocaml
shinnya has quit [Ping timeout: 240 seconds]
ggole has quit []
Kakadu has joined #ocaml
rwmjones has quit [Read error: Operation timed out]
Yoric has joined #ocaml
rwmjones has joined #ocaml
rwmjones has quit [Read error: Operation timed out]
_andre has quit [Quit: leaving]
rwmjones has joined #ocaml
cyocum has quit [Quit: Leaving]
troydm has quit [Quit: What is hope? That all of your wishes and all of your dreams come true? (C) Rau Le Creuset]
tani has joined #ocaml
tane has quit [Read error: Operation timed out]
beckerb has quit [Quit: Konversation terminated!]
troydm has joined #ocaml
yacks has quit [Ping timeout: 260 seconds]
Yoric has quit [Ping timeout: 260 seconds]
manud has quit [Quit: manud]
Anarchos has joined #ocaml
<Anarchos> hi folks
jave has quit [Read error: Operation timed out]
Kakadu has quit []
jave has joined #ocaml
djcoin has quit [Quit: WeeChat 0.4.0]
Yoric has joined #ocaml
darkf has joined #ocaml
mort___ has quit [Quit: Leaving.]
ben_zen has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-130604]: i've been blurred!]
Drup has quit [Ping timeout: 240 seconds]
gour_ has quit [Quit: WeeChat 0.4.1]
Anarchos has joined #ocaml
tani has quit [Quit: Verlassend]
ben_zen has quit [Quit: Dinner!]
manud has joined #ocaml
Drup has joined #ocaml
Yoric has quit [Ping timeout: 246 seconds]
ahill-89 has joined #ocaml
ollehar has quit [Ping timeout: 260 seconds]
ahill-89 has quit [Read error: Connection reset by peer]
Anarchos has quit [Quit: Vision[0.9.7-H-130604]: i've been blurred!]
ahill-89 has joined #ocaml
rwmjones has quit [Ping timeout: 240 seconds]
ollehar has joined #ocaml
walter has joined #ocaml
rwmjones has joined #ocaml
Simn has quit [Quit: Leaving]
Neros has joined #ocaml
PM has quit [Ping timeout: 246 seconds]
ollehar has quit [Ping timeout: 260 seconds]
pango has quit [Ping timeout: 276 seconds]
vpm has quit [Excess Flood]
vpm has joined #ocaml
Leonidas has quit [Ping timeout: 245 seconds]
Leonidas has joined #ocaml
jpdeplaix has quit [Ping timeout: 264 seconds]
mfp has quit [Ping timeout: 271 seconds]
walter has quit [Quit: This computer has gone to sleep]