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/
cdidd has joined #ocaml
shinnya has joined #ocaml
eikke has joined #ocaml
transfinite has quit [Read error: Connection reset by peer]
ollehar has quit [Ping timeout: 264 seconds]
redfire has joined #ocaml
ontologiae has joined #ocaml
ontologiae has quit [Ping timeout: 264 seconds]
eikke has quit [Ping timeout: 245 seconds]
chambart has joined #ocaml
SuperNoeMan_ is now known as SuperNoeMan
chambart has quit [Ping timeout: 248 seconds]
structuralist has joined #ocaml
fraggle_laptop has quit [Remote host closed the connection]
madroach has quit [Ping timeout: 248 seconds]
madroach has joined #ocaml
ben_zen has joined #ocaml
orbitz_ has quit [Quit: Reconnecting]
orbitz has joined #ocaml
letrec has quit [Ping timeout: 245 seconds]
<orbitz> argh, i keep on running into self-referential issues in trying to implement a gen_server
breakds has quit [Quit: Konversation terminated!]
chris2 has quit [Ping timeout: 264 seconds]
chris2 has joined #ocaml
chris2 has quit [Ping timeout: 246 seconds]
chris2 has joined #ocaml
talzeus has joined #ocaml
chris2 has quit [Ping timeout: 246 seconds]
shinnya has quit [Ping timeout: 248 seconds]
t4nk662 has joined #ocaml
<t4nk662> why is ocaml's implementation of Queue imperative (it does things in-place) and not purely functional? is there any reason behind this choice in not providing a functional version?
<Drup> t4nk662: because a fonctionnal queue is just a list.
<t4nk662> hmm if i do the implementation with (front list, back list), it has (amortized) constant complexity for both enqueue deque right? ocaml lists doesnt
<Drup> hum, sorry, I read Stack, don't mind me ~~
<t4nk662> haha no worries
transfinite has joined #ocaml
<Drup> There is probably a fonctionnal queue somewhere in batteries or core
chris2 has joined #ocaml
<orbitz> I feel like a lot of things people use queues for are imperative
chris2 has quit [Remote host closed the connection]
chris2 has joined #ocaml
<rgrinberg> functional queues don't give you O(1) worst cause enequeue no?
<rgrinberg> so it's understanble to me2
<rgrinberg> t4nk662: also core has an Fqueue module in case you want to save yourself some work
<orbitz> rgrinberg: O(1) worstcase enqueue is easy functinoally
<orbitz> it's the dequeue that is rough
<rgrinberg> orbitz: blah, that's what i mean
<rgrinberg> t
chris2 has quit [Ping timeout: 248 seconds]
<orbitz> :)
chris2 has joined #ocaml
<t4nk662> i think it has amortized constant time, with the front_queue * back_queue setup
<rgrinberg> t4nk662: ya, which is usually good enough
<t4nk662> basically when front_queue is empty, dequeue would set front_queue to List.rev back_queue
<orbitz> indeed
<rgrinberg> honestly i never found a need for functional queues though
<t4nk662> but that is O(k) where k is length of back_queue, but that gets amortized all the adds, k of them
<rgrinberg> anybody has a good use case?
<orbitz> rgrinberg: i've only used it for really simple things
<orbitz> although i dont' really uses proper queues much, i use things like pipes or streams
<rgrinberg> orbitz: yep, looking back through my code I've used Hash_queue's more than regular queues..
ben_zen has quit [Ping timeout: 246 seconds]
<rgrinberg> core should have a Map_queue for completeness :D
<rgrinberg> but ya i'd be interested in how a functional Hash_queue would work..
osnr has joined #ocaml
osnr has quit [Changing host]
osnr has joined #ocaml
justdit has joined #ocaml
ousado has quit [Remote host closed the connection]
ousado has joined #ocaml
mattrepl has quit [Quit: mattrepl]
gautamc has quit [Read error: Connection reset by peer]
gautamc has joined #ocaml
cross_ has joined #ocaml
josch_ has joined #ocaml
josch_ has quit [Changing host]
josch_ has joined #ocaml
cross has quit [Ping timeout: 276 seconds]
josch has quit [Remote host closed the connection]
justdit has quit [Read error: Connection reset by peer]
structuralist has quit []
vpit3833 has quit [Ping timeout: 248 seconds]
vpit3833 has joined #ocaml
darkf has joined #ocaml
ttamttam has joined #ocaml
ttamttam has quit [Remote host closed the connection]
justdit has joined #ocaml
osnr has quit [Quit: Leaving.]
osnr has joined #ocaml
osnr has quit [Changing host]
osnr has joined #ocaml
ggole has joined #ocaml
ygrek has joined #ocaml
alang__ has joined #ocaml
osnr has quit [Quit: Leaving.]
<t4nk662> im having trouble resolving the type error in the following: http://paste.ubuntu.com/5734828/
<t4nk662> any pointers?
<ggole> Look at the type signature of rq_peek
<ggole> Probably not what you want
<flux> there is a bug in the opam glMLite package (VBO is not installed), whom should I tell?
<Drup> flux: if you fill adventurous, you can fork opam-repository and fix it ;)
<flux> ..sure..
<ggole> t4nk662: change !qhh to qhh
<Drup> (it's not that hard, really)
<t4nk662> ggole: ah perfect, works, thanks
ygrek has quit [Ping timeout: 240 seconds]
ttamttam has joined #ocaml
testcocoon has quit [Read error: Connection reset by peer]
testcocoon has joined #ocaml
ulfdoz has joined #ocaml
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
Yoric has joined #ocaml
ulfdoz has quit [Ping timeout: 264 seconds]
ggole has quit [Ping timeout: 246 seconds]
q66 has joined #ocaml
Watcher7 is now known as Watcher7|off
ggole has joined #ocaml
wagle_ is now known as wagle
zpe has joined #ocaml
hkBst has quit [Ping timeout: 264 seconds]
Yoric has quit [Quit: Instantbird 1.5a1pre -- http://www.instantbird.com]
cdidd has quit [Remote host closed the connection]
ben_zen has joined #ocaml
hkBst has joined #ocaml
zpe has quit [Ping timeout: 248 seconds]
osnr has joined #ocaml
osnr has quit [Changing host]
osnr has joined #ocaml
ben_zen_ has joined #ocaml
ben_zen_ has quit [Client Quit]
Drup has quit [Quit: Leaving.]
hkBst has quit [Ping timeout: 245 seconds]
osnr has quit [Ping timeout: 240 seconds]
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
stephe has quit [Ping timeout: 256 seconds]
zpe has joined #ocaml
aqil has joined #ocaml
aqil has quit [Remote host closed the connection]
aqil has joined #ocaml
aqil has quit [Remote host closed the connection]
ben_zen has quit [Ping timeout: 260 seconds]
cago has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
eikke has joined #ocaml
raichoo has joined #ocaml
<adrien_oww> \o
osnr has joined #ocaml
t4nk662 has quit [Ping timeout: 250 seconds]
t4nk462 has quit [Ping timeout: 250 seconds]
vpit3833 has quit [Ping timeout: 260 seconds]
osnr has quit [Ping timeout: 245 seconds]
zpe has joined #ocaml
mika1 has joined #ocaml
rixed_ is now known as rixed
zpe has quit [Ping timeout: 245 seconds]
ygrek has joined #ocaml
jbrown has joined #ocaml
q66 has quit [Read error: Connection reset by peer]
q66 has joined #ocaml
eikke has quit [Ping timeout: 260 seconds]
ontologiae has joined #ocaml
eikke has joined #ocaml
zpe has joined #ocaml
ontologiae has quit [Quit: WeeChat 0.4.0]
ontologiae has joined #ocaml
Snark has joined #ocaml
mika1 has quit [Quit: Leaving.]
Kakadu has joined #ocaml
mika1 has joined #ocaml
Yoric has joined #ocaml
hkBst has quit [Ping timeout: 246 seconds]
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
yacks has quit [Ping timeout: 264 seconds]
yacks has joined #ocaml
mika1 has quit [Quit: Leaving.]
mika1 has joined #ocaml
ocp has joined #ocaml
hkBst has quit [Ping timeout: 260 seconds]
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
mika1 has quit [Read error: Connection reset by peer]
mika1 has joined #ocaml
chambart has joined #ocaml
mika1 has quit [Ping timeout: 264 seconds]
mcclurmc has quit [Ping timeout: 256 seconds]
chambart has quit [Ping timeout: 248 seconds]
beckerb has joined #ocaml
wmeyer`` has joined #ocaml
TaXules_ has joined #ocaml
wmeyer` has quit [*.net *.split]
ccasin has quit [*.net *.split]
TaXules has quit [*.net *.split]
pr has quit [*.net *.split]
cow-orker has quit [*.net *.split]
so has quit [*.net *.split]
hto has quit [*.net *.split]
rgrinberg has quit [*.net *.split]
gustav___ has quit [*.net *.split]
deavid has quit [*.net *.split]
ipoulet has quit [*.net *.split]
pango has quit [*.net *.split]
hto has joined #ocaml
rgrinberg has joined #ocaml
gustav___ has joined #ocaml
deavid has joined #ocaml
ipoulet has joined #ocaml
so has joined #ocaml
pango has joined #ocaml
ccasin has joined #ocaml
pr has joined #ocaml
cow-orker has joined #ocaml
mika1 has joined #ocaml
ollehar has joined #ocaml
Neros has joined #ocaml
adrien_oww has quit [Read error: Operation timed out]
mcclurmc has joined #ocaml
<companion_cube> o<
<mathieui> \_o<
mika2 has joined #ocaml
mika1 has quit [Ping timeout: 245 seconds]
skchrko has joined #ocaml
<Kakadu> hey!
<orbitz> HI
<companion_cube> Ho
cago has quit [Quit: Leaving.]
ygrek has quit [Ping timeout: 264 seconds]
pr_ has joined #ocaml
ccasin has quit [*.net *.split]
pr has quit [*.net *.split]
cow-orker has quit [*.net *.split]
so has quit [*.net *.split]
hto has quit [*.net *.split]
rgrinberg has quit [*.net *.split]
gustav___ has quit [*.net *.split]
deavid has quit [*.net *.split]
ipoulet has quit [*.net *.split]
pango has quit [*.net *.split]
malo has joined #ocaml
zpe has quit [Remote host closed the connection]
hto has joined #ocaml
rgrinberg has joined #ocaml
gustav___ has joined #ocaml
deavid has joined #ocaml
ipoulet has joined #ocaml
so has joined #ocaml
pango has joined #ocaml
ccasin has joined #ocaml
cow-orker has joined #ocaml
zpe has joined #ocaml
ccasin has quit [Ping timeout: 245 seconds]
ccasin has joined #ocaml
dsheets has quit [Ping timeout: 256 seconds]
ivan\ has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
ivan\ has joined #ocaml
cago has joined #ocaml
_andre has joined #ocaml
ollehar has quit [Ping timeout: 260 seconds]
ollehar has joined #ocaml
mika2 has quit [Ping timeout: 260 seconds]
mika1 has joined #ocaml
cdidd has joined #ocaml
chambart has joined #ocaml
adrien_oww has joined #ocaml
talzeus has quit [Remote host closed the connection]
ollehar has quit [Ping timeout: 246 seconds]
mika1 has quit [Quit: Leaving.]
mika1 has joined #ocaml
chambart has quit [Ping timeout: 248 seconds]
mika1 has quit [Read error: Connection reset by peer]
mika1 has joined #ocaml
cow-orker has quit [*.net *.split]
so has quit [*.net *.split]
hto has quit [*.net *.split]
rgrinberg has quit [*.net *.split]
gustav___ has quit [*.net *.split]
deavid has quit [*.net *.split]
ipoulet has quit [*.net *.split]
pango has quit [*.net *.split]
chambart has joined #ocaml
hkBst has quit [Ping timeout: 260 seconds]
cow-orker has joined #ocaml
letrec has joined #ocaml
hto has joined #ocaml
rgrinberg has joined #ocaml
gustav___ has joined #ocaml
deavid has joined #ocaml
ipoulet has joined #ocaml
so has joined #ocaml
pango has joined #ocaml
mcclurmc_laptop has joined #ocaml
mcclurmc has quit [Write error: Connection reset by peer]
chambart has quit [Ping timeout: 245 seconds]
mcclurmc_laptop is now known as mcclurmc
mika1 has quit [Read error: Connection reset by peer]
mika1 has joined #ocaml
mika1 has quit [Read error: Connection reset by peer]
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
mika1 has joined #ocaml
osnr has joined #ocaml
cokesme has quit [Remote host closed the connection]
cokesme has joined #ocaml
osnr has quit [Ping timeout: 245 seconds]
zpe_ has joined #ocaml
zpe has quit [Ping timeout: 264 seconds]
cross_ is now known as cross
dsheets has joined #ocaml
bitbckt has quit [Ping timeout: 240 seconds]
hto has quit [Quit: leaving]
mika1 has quit [Ping timeout: 264 seconds]
hcarty_ has quit [Ping timeout: 256 seconds]
hcarty has joined #ocaml
rks_ has quit [Read error: Operation timed out]
hkBst has quit [Ping timeout: 264 seconds]
ollehar has joined #ocaml
chambart has joined #ocaml
Armael has quit [Ping timeout: 240 seconds]
rks has joined #ocaml
cago has quit [Ping timeout: 241 seconds]
Armael has joined #ocaml
mika1 has joined #ocaml
rwmjones_ has joined #ocaml
BiDOrD_ has joined #ocaml
jave_ has joined #ocaml
darkf has quit [Quit: Leaving]
justdit has quit [Ping timeout: 246 seconds]
alxbl_ has joined #ocaml
smondet has joined #ocaml
Neros has quit [Ping timeout: 260 seconds]
rwmjones has quit [Ping timeout: 271 seconds]
Neros has joined #ocaml
ygrek has joined #ocaml
chambart has quit [Ping timeout: 246 seconds]
Neros_ has joined #ocaml
noj_ has joined #ocaml
mika1 has quit [Ping timeout: 248 seconds]
tlockney_ has joined #ocaml
Snark_ has joined #ocaml
cago has joined #ocaml
cago has quit [Client Quit]
fds_ has joined #ocaml
cago has joined #ocaml
gbluma has joined #ocaml
raichoo_ has joined #ocaml
BiDOrD has quit [Ping timeout: 265 seconds]
gnuvince has quit [*.net *.split]
ggherdov has quit [*.net *.split]
noj has quit [*.net *.split]
brendan has quit [*.net *.split]
fds has quit [*.net *.split]
tlockney has quit [*.net *.split]
kaste has quit [*.net *.split]
gbluma_ has quit [*.net *.split]
smango has quit [*.net *.split]
SuperNoeMan has quit [*.net *.split]
snarkyboojum_ has quit [*.net *.split]
sgnb has quit [*.net *.split]
tlockney_ is now known as tlockney
hkBst has joined #ocaml
ocp has quit [Ping timeout: 245 seconds]
jave has quit [Ping timeout: 261 seconds]
cago has quit [Read error: Operation timed out]
smango has joined #ocaml
osnr has joined #ocaml
alxbl has quit [Remote host closed the connection]
Neros has quit [Read error: Connection reset by peer]
balouis has quit [Ping timeout: 263 seconds]
Snark has quit [Ping timeout: 260 seconds]
raichoo has quit [Ping timeout: 257 seconds]
balouis has joined #ocaml
clog has joined #ocaml
rixed has quit [Ping timeout: 264 seconds]
rixed has joined #ocaml
alang- has joined #ocaml
LeNsTR|away has quit [Ping timeout: 256 seconds]
bobry has quit [Ping timeout: 256 seconds]
alang_ has quit [Ping timeout: 256 seconds]
ia0 has quit [Ping timeout: 256 seconds]
Leonidas has quit [Ping timeout: 256 seconds]
Zeev has quit [Read error: Connection reset by peer]
ia0 has joined #ocaml
Leonidas has joined #ocaml
bobry has joined #ocaml
Tobu has quit [Ping timeout: 256 seconds]
Tobu has joined #ocaml
LeNsTR has joined #ocaml
mika1 has quit [Read error: Connection reset by peer]
bobry is now known as bobry_
mika1 has joined #ocaml
raichoo has joined #ocaml
raichoo_ has quit [Write error: Broken pipe]
letrec has quit [Write error: Broken pipe]
ttamttam has quit [Remote host closed the connection]
ttamttam1 has joined #ocaml
bobry_ has quit [Changing host]
bobry_ has joined #ocaml
osnr has quit [Changing host]
osnr has joined #ocaml
ygrek is now known as Guest18134
Leonidas is now known as Guest71226
Zeev has joined #ocaml
beckerb_ has joined #ocaml
zorun_ has joined #ocaml
mika1 has quit [Quit: Leaving.]
mika1 has joined #ocaml
dwmw2_gone has quit [Ping timeout: 240 seconds]
dwmw2_gone has joined #ocaml
beckerb has quit [Ping timeout: 240 seconds]
zorun has quit [Ping timeout: 240 seconds]
dwmw2_gone has quit [Ping timeout: 240 seconds]
breakds has joined #ocaml
dwmw2_gone has joined #ocaml
Drup has joined #ocaml
dejj has joined #ocaml
<dejj> hi, I've got a quick question about using opam
<dejj> I installed it, installed extlib and wanted to call "Std.input_list" which gives me an error
<dejj> did I forget doing anything so ocaml can find the opam-installed libraries?
<Guest18134> #require "extlib";;
Guest18134 has quit [Quit: Guest18134]
Guest18134 has joined #ocaml
<dejj> gives me "Unknown directive 'require'."
mika1 has quit [Quit: Leaving.]
mika1 has joined #ocaml
<Guest18134> #use "topfind";; first
<Guest18134> put #use "topfind";; #thread;; #require "extlib";; open ExtLib;; in ~/.ocamlinit - will save you time
dwmw2_gone has quit [Excess Flood]
dwmw2_gone has joined #ocaml
Guest18134 is now known as f[x]
mika1 has quit [Client Quit]
mika1 has joined #ocaml
f[x] is now known as ygrke
<dejj> "Cannot find file topfind." it says now. These pragmas a totally new to me; is there some documentation or tutorial I can read?
sivoais has joined #ocaml
mika1 has quit [Client Quit]
hcarty has quit [Ping timeout: 240 seconds]
Kakadu has quit [Read error: Connection reset by peer]
mika1 has joined #ocaml
<dejj> also how do I use opam packages with ocamlopt?
dwmw2_gone has quit [Excess Flood]
dwmw2_gone has joined #ocaml
<flux> dejj, you need you have ocamlfind (aka findlib) installed
<flux> #use loads a file from it, and that introduces those commands
Kakadu_ has joined #ocaml
hcarty_ has joined #ocaml
<flux> ocamlfind makes it easy to compile whichever library for your project: ocamlfind ocamlc (or ocamlopt) -o result -linkpkg somesome.ml
<flux> oh
<flux> and -package packagename1,packagename2 etc
<flux> ocamlfind list lists packages
Yoric has quit [Ping timeout: 248 seconds]
<Kakadu_> flux: hey
<ygrke> dejj, opam should have installed ocamlfind
sivoais has quit [Ping timeout: 260 seconds]
<Kakadu_> flux: Should I expect some feedback about Qt nearest future ot I can temporarily focus on something different?
sivoais has joined #ocaml
Yoric has joined #ocaml
dwmw2_gone has quit [Excess Flood]
dwmw2_gone has joined #ocaml
<dejj> ok, I opam install'ed ocamlfind, "ocaml myfile.ml" works now with pragmas; calling "ocamlfind ocamlc -o result -linkpg myfile.ml" gives me "Error: Syntax error" for the pragmas
<ygrke> dejj, grab some tutorial
<dejj> yea
hkBst has quit [Ping timeout: 264 seconds]
<dejj> which?
<ygrke> ocaml.org
<ygrke> has one
<dejj> at least!
<dejj> it has like 30 or so
hkBst has joined #ocaml
<Drup> dejj: you can't use pragmas in a compiled file
<dejj> do I need separate sources?
<Drup> no, just don't use them :p
<dejj> wut
<dejj> so I guess I need to "require" somehow else
ttamttam1 has quit [Ping timeout: 240 seconds]
jave_ has quit [Ping timeout: 240 seconds]
jpdeplaix has quit [Ping timeout: 240 seconds]
Zeev has quit [Ping timeout: 240 seconds]
BiDOrD_ has quit [Ping timeout: 240 seconds]
dsheets has quit [Ping timeout: 240 seconds]
ivan\ has quit [Ping timeout: 240 seconds]
rwmjones_ has quit [Ping timeout: 240 seconds]
_andre has quit [Ping timeout: 240 seconds]
clog has quit [Ping timeout: 240 seconds]
clog_ has joined #ocaml
ivan\_ has joined #ocaml
sivoais has joined #ocaml
ttamttam1 has quit [Ping timeout: 240 seconds]
jave_ has quit [Ping timeout: 240 seconds]
jpdeplaix has quit [Ping timeout: 240 seconds]
BiDOrD_ has quit [Ping timeout: 240 seconds]
dsheets has quit [Ping timeout: 240 seconds]
ivan\ has quit [Ping timeout: 240 seconds]
rwmjones_ has quit [Ping timeout: 240 seconds]
_andre has quit [Ping timeout: 240 seconds]
clog has quit [Ping timeout: 240 seconds]
<lizzin_> Kakadu_: what do you think of it?
sivoais has quit [Changing host]
sivoais has joined #ocaml
<Kakadu_> about a book?
jave has joined #ocaml
rwmjones_ has joined #ocaml
<lizzin_> yes
<lizzin_> about the book
BiDOrD has joined #ocaml
ivan\_ is now known as ivan\
dwmw2_gone has quit [Excess Flood]
dwmw2_gone has joined #ocaml
dwmw2_gone has left #ocaml []
breakds has quit [Quit: Konversation terminated!]
so has quit [*.net *.split]
Zeev has quit [*.net *.split]
ttamttam has quit [*.net *.split]
hkBst has quit [*.net *.split]
Kakadu_ has quit [*.net *.split]
dsheets_ has quit [*.net *.split]
mika1 has quit [*.net *.split]
rgrinberg has quit [*.net *.split]
gustav___ has quit [*.net *.split]
deavid has quit [*.net *.split]
ipoulet has quit [*.net *.split]
pango has quit [*.net *.split]
ollehar1 has joined #ocaml
lizzin_ has quit [Quit: leaving]
nicoo_ is now known as nicoo
sivoais has quit [Read error: Connection reset by peer]
sivoais has joined #ocaml
sivoais has quit [Read error: Connection reset by peer]
sivoais has joined #ocaml
eikke has quit [Ping timeout: 245 seconds]
mika1 has joined #ocaml
dsheets_ has joined #ocaml
Zeev has joined #ocaml
hkBst has joined #ocaml
Kakadu_ has joined #ocaml
45PAAKBQ6 has joined #ocaml
rgrinberg has joined #ocaml
gustav___ has joined #ocaml
deavid has joined #ocaml
ipoulet has joined #ocaml
pango has joined #ocaml
mika1 has quit [Client Quit]
mika1 has joined #ocaml
45PAAKBQ6 has quit [Ping timeout: 270 seconds]
ipoulet_ has joined #ocaml
ipoulet has quit [Write error: Broken pipe]
ollehar1 has quit [Ping timeout: 240 seconds]
bobry_ is now known as bobry
nicoo has quit [*.net *.split]
Watcher7|off has quit [*.net *.split]
nicoo has joined #ocaml
mika1 has quit [*.net *.split]
rwmjones_ has quit [*.net *.split]
brendan has quit [*.net *.split]
kaste has quit [*.net *.split]
fds_ has quit [*.net *.split]
Neros_ has quit [*.net *.split]
Armael has quit [*.net *.split]
cow-orker has quit [*.net *.split]
kaste has joined #ocaml
Neros has joined #ocaml
cow-orker has joined #ocaml
fds has joined #ocaml
Yoric has quit [Ping timeout: 248 seconds]
Armael has joined #ocaml
brendan has joined #ocaml
raichoo has quit [Quit: leaving]
dejj has quit [Quit: Page closed]
shinnya has joined #ocaml
zpe_ has quit [Ping timeout: 248 seconds]
hkBst has quit [Quit: Konversation terminated!]
zpe has joined #ocaml
mcclurmc has quit [Quit: Leaving]
zpe has quit [Read error: Connection reset by peer]
chambart has joined #ocaml
ggherdov has joined #ocaml
zpe has joined #ocaml
mal``` has quit [Ping timeout: 256 seconds]
zpe has quit [Read error: Connection reset by peer]
Watcher7|off has joined #ocaml
mal`` has joined #ocaml
rks is now known as Guest58066
Guest58066 has quit [Killed (cameron.freenode.net (Nickname regained by services))]
rks_ has joined #ocaml
rwmjones_ has joined #ocaml
gautamc has quit [Read error: Connection reset by peer]
ttamttam has joined #ocaml
gautamc has joined #ocaml
beckerb__ has joined #ocaml
mal``` has joined #ocaml
mal`` has quit [Ping timeout: 256 seconds]
ggherdov has quit [Ping timeout: 256 seconds]
Jenza has quit [Ping timeout: 256 seconds]
chambart has quit [Ping timeout: 256 seconds]
kaste has quit [Ping timeout: 256 seconds]
_andre_ has quit [Ping timeout: 256 seconds]
hcarty_ has quit [Ping timeout: 256 seconds]
zorun_ has quit [Ping timeout: 256 seconds]
fds has quit [Ping timeout: 256 seconds]
cow-orker has quit [Ping timeout: 256 seconds]
beckerb_ has quit [Ping timeout: 256 seconds]
zzz_` has quit [Ping timeout: 256 seconds]
rks_ has quit [Ping timeout: 256 seconds]
rks_ has joined #ocaml
sivoais_ has joined #ocaml
Drup has quit [Ping timeout: 256 seconds]
chambart has joined #ocaml
sivoais has quit [Read error: Connection reset by peer]
ggherdov has joined #ocaml
Jenza has joined #ocaml
zzz_` has joined #ocaml
_andre has joined #ocaml
pr has joined #ocaml
pr has quit [Changing host]
pr has joined #ocaml
mal``` has quit [Excess Flood]
ipoulet has joined #ocaml
hcarty has joined #ocaml
zpe has joined #ocaml
zpe has quit [Read error: Connection reset by peer]
kaste has joined #ocaml
mal`` has joined #ocaml
ipoulet_ has quit [Write error: Broken pipe]
Drup has joined #ocaml
sgnb` has joined #ocaml
ttamttam has quit [Ping timeout: 264 seconds]
gautamc has quit [Ping timeout: 264 seconds]
gautamc has joined #ocaml
SuperNoeMan has quit [Ping timeout: 264 seconds]
sgnb has quit [Ping timeout: 264 seconds]
jpdeplaix` has quit [Ping timeout: 264 seconds]
jpdeplaix` has joined #ocaml
SuperNoeMan has joined #ocaml
sivoais_ has quit [Ping timeout: 256 seconds]
Neros_ has joined #ocaml
fds has joined #ocaml
pr has quit [Ping timeout: 256 seconds]
rks_ has quit [Ping timeout: 256 seconds]
rks_ has joined #ocaml
pr has joined #ocaml
cow-orker has joined #ocaml
BiDOrD_ has joined #ocaml
pr has quit [Changing host]
pr has joined #ocaml
jpdeplaix` has quit [Ping timeout: 264 seconds]
jpdeplaix` has joined #ocaml
ontologiae has quit [Ping timeout: 246 seconds]
beckerb__ has quit [Ping timeout: 240 seconds]
beckerb__ has joined #ocaml
jave_ has joined #ocaml
shinnya_ has joined #ocaml
alang_ has joined #ocaml
rwmjones_ has quit [*.net *.split]
shinnya has quit [*.net *.split]
Armael has quit [*.net *.split]
Neros has quit [*.net *.split]
BiDOrD has quit [*.net *.split]
jave has quit [*.net *.split]
ygrke has quit [*.net *.split]
Guest71226 has quit [*.net *.split]
alang- has quit [*.net *.split]
balouis has quit [*.net *.split]
osnr has quit [*.net *.split]
cdidd has quit [*.net *.split]
pr_ has quit [*.net *.split]
alang__ has quit [*.net *.split]
malo has quit [Ping timeout: 246 seconds]
malo has joined #ocaml
sgnb` is now known as sgnb
beckerb__ has quit [Ping timeout: 240 seconds]
lusory has quit [Ping timeout: 246 seconds]
quelu has quit [Ping timeout: 246 seconds]
sgnb is now known as Guest346
smango has quit [Ping timeout: 246 seconds]
ggole has quit [Ping timeout: 246 seconds]
ttamttam has joined #ocaml
alxbl_ has quit [Ping timeout: 246 seconds]
lusory has joined #ocaml
ggole has joined #ocaml
alxbl has joined #ocaml
Guest346 is now known as sgnb`
malo has quit [Ping timeout: 256 seconds]
sgnb` is now known as sgnb
quelu has joined #ocaml
smango has joined #ocaml
cdidd has joined #ocaml
clog has joined #ocaml
alang has joined #ocaml
Armael has joined #ocaml
balouis has joined #ocaml
osnr has joined #ocaml
breakds has joined #ocaml
rwmjones_ has joined #ocaml
Leonidas_ has joined #ocaml
zorun has joined #ocaml
skchrko has quit [Quit: Leaving]
mcclurmc has joined #ocaml
mcclurmc has quit [Quit: Leaving]
ocp has joined #ocaml
mcclurmc has joined #ocaml
raichoo has joined #ocaml
ocp has quit [Ping timeout: 260 seconds]
ontologiae has joined #ocaml
mattrepl has joined #ocaml
gnuvince has joined #ocaml
vext01_ has joined #ocaml
madroach has quit [*.net *.split]
Khady has quit [*.net *.split]
foo808 has quit [*.net *.split]
flux has quit [*.net *.split]
vext01 has quit [*.net *.split]
Cypi has quit [*.net *.split]
caligula has quit [*.net *.split]
diml has quit [*.net *.split]
yroeht has quit [*.net *.split]
jonafan has quit [*.net *.split]
emias has quit [*.net *.split]
mcclurmc has quit [*.net *.split]
rwmjones_ has quit [*.net *.split]
Armael has quit [*.net *.split]
balouis has quit [*.net *.split]
osnr has quit [*.net *.split]
Watcher7|off has quit [*.net *.split]
Zeev has quit [*.net *.split]
Kakadu_ has quit [*.net *.split]
raichoo has quit [*.net *.split]
dsheets_ has quit [*.net *.split]
rgrinberg has quit [*.net *.split]
gustav___ has quit [*.net *.split]
deavid has quit [*.net *.split]
pango has quit [*.net *.split]
nicoo has quit [*.net *.split]
tlockney has quit [*.net *.split]
noj_ has quit [*.net *.split]
ollehar has quit [*.net *.split]
cokesme has quit [*.net *.split]
adrien_oww has quit [*.net *.split]
TaXules_ has quit [*.net *.split]
wmeyer`` has quit [*.net *.split]
ousado has quit [*.net *.split]
chris2 has quit [*.net *.split]
ivan\ has quit [*.net *.split]
bobry has quit [*.net *.split]
ia0 has quit [*.net *.split]
rixed has quit [*.net *.split]
gbluma has quit [*.net *.split]
q66 has quit [*.net *.split]
transfinite has quit [*.net *.split]
redfire has quit [*.net *.split]
cthuluh has quit [*.net *.split]
kaktus has quit [*.net *.split]
tianon has quit [*.net *.split]
Leonidas_ has quit [*.net *.split]
alang_ has quit [*.net *.split]
Tobu has quit [*.net *.split]
fasta has quit [*.net *.split]
yezariaely has quit [*.net *.split]
iZsh has quit [*.net *.split]
vpm has quit [*.net *.split]
rossberg_ has quit [*.net *.split]
zorun has quit [*.net *.split]
alang has quit [*.net *.split]
quelu has quit [*.net *.split]
ttamttam has quit [*.net *.split]
jave_ has quit [*.net *.split]
shinnya_ has quit [*.net *.split]
jpdeplaix` has quit [*.net *.split]
BiDOrD_ has quit [*.net *.split]
cow-orker has quit [*.net *.split]
pr has quit [*.net *.split]
rks_ has quit [*.net *.split]
fds has quit [*.net *.split]
Neros_ has quit [*.net *.split]
sgnb has quit [*.net *.split]
Drup has quit [*.net *.split]
mal`` has quit [*.net *.split]
kaste has quit [*.net *.split]
hcarty has quit [*.net *.split]
ipoulet has quit [*.net *.split]
zzz_` has quit [*.net *.split]
Jenza has quit [*.net *.split]
ggherdov has quit [*.net *.split]
chambart has quit [*.net *.split]
ohama has quit [*.net *.split]
maufred_ has quit [*.net *.split]
dezzy has quit [*.net *.split]
bernardo1pc has quit [*.net *.split]
mehdid has quit [*.net *.split]
weie has quit [*.net *.split]
lopex has quit [*.net *.split]
troydm has quit [*.net *.split]
ski has quit [*.net *.split]
Derander has quit [*.net *.split]
hyperboreean has quit [*.net *.split]
Snark_ has quit [*.net *.split]
wagle has quit [*.net *.split]
olasd has quit [*.net *.split]
testcocoon has quit [*.net *.split]
companion_cube has quit [*.net *.split]
adrien has quit [*.net *.split]
fayden has quit [*.net *.split]
rednovae has quit [*.net *.split]
othiym23 has quit [*.net *.split]
smondet has quit [*.net *.split]
yacks has quit [*.net *.split]
jbrown has quit [*.net *.split]
josch_ has quit [*.net *.split]
cross has quit [*.net *.split]
orbitz has quit [*.net *.split]
asmanur has quit [*.net *.split]
bacam has quit [*.net *.split]
mathieui has quit [*.net *.split]
Nahra has quit [*.net *.split]
pippijn has quit [*.net *.split]
mk270 has quit [*.net *.split]
PM has quit [*.net *.split]
foo303 has quit [*.net *.split]
thizanne has quit [*.net *.split]
contempt has quit [*.net *.split]
def-lkb_ has quit [*.net *.split]
bholst_ has quit [*.net *.split]
Ptival has quit [*.net *.split]
jlouis has quit [*.net *.split]
_habnabit has quit [*.net *.split]
tchell_ has quit [*.net *.split]
samebchase has quit [*.net *.split]
patronus has quit [*.net *.split]
tizoc has quit [*.net *.split]
Fnar has quit [*.net *.split]
avsm has quit [*.net *.split]
mfp has quit [*.net *.split]
thelema_ has quit [Write error: Broken pipe]
jonafan has joined #ocaml
lopexx has joined #ocaml
madroach_ has joined #ocaml
thelema has joined #ocaml
Cypi_ has joined #ocaml
foo808_ has joined #ocaml
caligula_ has joined #ocaml
flux has joined #ocaml
raichoo has joined #ocaml
mcclurmc has joined #ocaml
zorun has joined #ocaml
Leonidas_ has joined #ocaml
rwmjones_ has joined #ocaml
osnr has joined #ocaml
balouis has joined #ocaml
Armael has joined #ocaml
alang has joined #ocaml
quelu has joined #ocaml
alang_ has joined #ocaml
shinnya_ has joined #ocaml
jave_ has joined #ocaml
jpdeplaix` has joined #ocaml
BiDOrD_ has joined #ocaml
cow-orker has joined #ocaml
pr has joined #ocaml
rks_ has joined #ocaml
fds has joined #ocaml
Neros_ has joined #ocaml
sgnb has joined #ocaml
Drup has joined #ocaml
mal`` has joined #ocaml
kaste has joined #ocaml
hcarty has joined #ocaml
ipoulet has joined #ocaml
zzz_` has joined #ocaml
Jenza has joined #ocaml
ggherdov has joined #ocaml
chambart has joined #ocaml
Watcher7|off has joined #ocaml
nicoo has joined #ocaml
othiym23 has joined #ocaml
rednovae has joined #ocaml
adrien has joined #ocaml
fayden has joined #ocaml
companion_cube has joined #ocaml
thizanne has joined #ocaml
hyperboreean has joined #ocaml
foo303 has joined #ocaml
PM has joined #ocaml
Derander has joined #ocaml
rossberg_ has joined #ocaml
ski has joined #ocaml
mk270 has joined #ocaml
vpm has joined #ocaml
troydm has joined #ocaml
pippijn has joined #ocaml
lopex has joined #ocaml
Nahra has joined #ocaml
mathieui has joined #ocaml
iZsh has joined #ocaml
yezariaely has joined #ocaml
bacam has joined #ocaml
weie has joined #ocaml
mehdid has joined #ocaml
asmanur has joined #ocaml
bernardo1pc has joined #ocaml
dezzy has joined #ocaml
maufred_ has joined #ocaml
mfp has joined #ocaml
Fnar has joined #ocaml
avsm has joined #ocaml
tizoc has joined #ocaml
patronus has joined #ocaml
samebchase has joined #ocaml
tchell_ has joined #ocaml
_habnabit has joined #ocaml
fasta has joined #ocaml
jlouis has joined #ocaml
ohama has joined #ocaml
Ptival has joined #ocaml
bholst_ has joined #ocaml
tianon has joined #ocaml
kaktus has joined #ocaml
def-lkb_ has joined #ocaml
contempt has joined #ocaml
olasd has joined #ocaml
cthuluh has joined #ocaml
wagle has joined #ocaml
redfire has joined #ocaml
orbitz has joined #ocaml
transfinite has joined #ocaml
chris2 has joined #ocaml
ousado has joined #ocaml
cross has joined #ocaml
josch_ has joined #ocaml
testcocoon has joined #ocaml
jbrown has joined #ocaml
q66 has joined #ocaml
yacks has joined #ocaml
wmeyer`` has joined #ocaml
TaXules_ has joined #ocaml
adrien_oww has joined #ocaml
cokesme has joined #ocaml
ollehar has joined #ocaml
noj_ has joined #ocaml
tlockney has joined #ocaml
Snark_ has joined #ocaml
gbluma has joined #ocaml
smondet has joined #ocaml
rixed has joined #ocaml
ia0 has joined #ocaml
bobry has joined #ocaml
Tobu has joined #ocaml
ivan\ has joined #ocaml
dsheets_ has joined #ocaml
Zeev has joined #ocaml
Kakadu_ has joined #ocaml
rgrinberg has joined #ocaml
gustav___ has joined #ocaml
deavid has joined #ocaml
pango has joined #ocaml
mcclurmc has quit [Ping timeout: 260 seconds]
yroeht has joined #ocaml
dsheets_ has quit [Ping timeout: 276 seconds]
diml has joined #ocaml
emias has joined #ocaml
Khady has joined #ocaml
LeNsTR has quit [Ping timeout: 264 seconds]
BiDOrD has joined #ocaml
BiDOrD_ has quit [Ping timeout: 256 seconds]
zpe has joined #ocaml
zpe has quit [Ping timeout: 264 seconds]
Kakadu_ has quit []
Yoric has joined #ocaml
gnuvince has quit [Remote host closed the connection]
lopexx has quit []
ollehar has quit [Ping timeout: 248 seconds]
zpe has joined #ocaml
ocp has joined #ocaml
zpe has quit [Read error: Connection reset by peer]
zpe has joined #ocaml
ollehar has joined #ocaml
ontologiae has quit [Ping timeout: 264 seconds]
zpe has quit [Ping timeout: 240 seconds]
ollehar has quit [Ping timeout: 240 seconds]
ggole has quit []
ollehar has joined #ocaml
eikke has joined #ocaml
ttamttam has joined #ocaml
ollehar has quit [Read error: Connection reset by peer]
ontologiae has joined #ocaml
ollehar has joined #ocaml
Watcher7|off is now known as Watcher7
eni has joined #ocaml
tobiasBora has joined #ocaml
<tobiasBora> Hello,
Kakadu has joined #ocaml
<tobiasBora> I try to use ocamlgraph : http://ocamlgraph.lri.fr/
<tobiasBora> I successfully compiled the files, but I don't wan't to use "make install" because I'd like to use directly the file graph.cma.
<tobiasBora> (I need to give it to a friend which use windows after)
<tobiasBora> I tried to use #load "graph.cma", I've no error, but when I try to open the graph module I've this error :
<tobiasBora> open Graph;; ---> Unbound module Graph.
<tobiasBora> Does anyone know why I have this error ?
<Kakadu> tobiasBora: can u list files in directory where you execute `ocaml`?
<tobiasBora> Kakadu: Sys.command "ls";; --->color.ml;demo.ml;demo_planar.ml;graph.cma;sudoku.ml
<Kakadu> tobiasBora: can u put graph.cmi into this directory and try again?
<tobiasBora> Kakadu: I load the cmi file or the cma ?
<Kakadu> no, your load commands are OK
tane has joined #ocaml
<tobiasBora> Kakadu: Great it works !!! Thanks a lot !Why ?
<Kakadu> cma is bytecode file
<Kakadu> cmi is interface file
<tobiasBora> what is interface file ?
<Kakadu> graph.cmi
<Kakadu> interface describes which dypes are defined in cma (cmo) files
<Kakadu> Java, for example, has everything is a single .class file
ttamttam has left #ocaml []
<Kakadu> also, I think that cma can contain native code which will bring a lot of pain after copyiing to windows
<Kakadu> (but with ocamlgraph, probably, this problem will not appear)
<tobiasBora> Kakadu: So it can be used both on Linux and Windows (cmi is in bytecode ?)
<tobiasBora> When could there have a problem ?
<Kakadu> ocamlgraph probably will be OK
<Kakadu> in OCaml you can write in C and link it with OCaml together into library (cma file)
<Kakadu> It is called "mixed runtime", iirc
<tobiasBora> I see, thanks. And do you know why I can't compile it ?
<Kakadu> compile what?
transfinite has quit [Quit: WeeChat 0.4.0]
<tobiasBora> Oh in fact it was just because of the order I used it.
<tobiasBora> So everythink is good. Thanks a lot !
<Kakadu> 'll be glad to see u there again :)
<Kakadu> with more interesting problems:)
<tobiasBora> You won't wait a long time, I'm here again (but I'm affraid that's not very interesting either...)
<tobiasBora> I tried to run the file sudoku.ml, but I've an infinite loop. I then try to run it in toplevel but I've this error on this line :
<tobiasBora> module G = Imperative.Graph.Abstract (struct type t = int * int end)
<tobiasBora> Syntax error: ')' expected, the highlighted '(' might be unmatched
chambart has quit [Ping timeout: 256 seconds]
<Kakadu> this line works in my toplevel
<ollehar> tobiasBora: those two problems are probably not related...
<tobiasBora> ollehar: Indeed you are right, the problem diseapear when I remove these lines : http://paste.ubuntu.com/5736671
<tobiasBora> (it's very strange, I never see ;; )
<tobiasBora> but I don't have a nice result then...
<ollehar> ;; is mostly not needed
<tobiasBora> When is it needed ?
<tobiasBora> And what is the utility of let () = ... ?
<tobiasBora> Oh !!! I seems that the program wait for an input ! That's why there was an infinite loop !
<Kakadu> tobiasBora: ))))))))
<tobiasBora> And what does "let () = ..." do ?
<tobiasBora> it is directly executed ?
<Kakadu> it is a way to not write many ;
<Kakadu> lines 'print_endline "";;' and 'let () = print_endline ""' have the same sense
cow-orker has quit [Ping timeout: 256 seconds]
<Kakadu> and if u have print_endline which returns unit
cow-orker has joined #ocaml
ggherdov has quit [Ping timeout: 256 seconds]
<Kakadu> and if in next release of OCaml it will start to return int
<Kakadu> in case let () you will get an error
<Kakadu> in case print_endline "" you will get only warning
<Kakadu> It will save u some time
Jenza2 has joined #ocaml
shinnya has joined #ocaml
Jenza has quit [Ping timeout: 256 seconds]
shinnya_ has quit [Ping timeout: 256 seconds]
Jenza2 is now known as Jenza
rks_ has quit [Ping timeout: 256 seconds]
pr has quit [Ping timeout: 256 seconds]
Neros_ has quit [Ping timeout: 256 seconds]
rks has joined #ocaml
pr_ has joined #ocaml
Neros has joined #ocaml
<tobiasBora> Kakadu: I understand the first part of your message, but not the one about the next release of Ocaml...
deavid has quit [Ping timeout: 272 seconds]
<Kakadu> hm
deavid has joined #ocaml
<Kakadu> let we have a very big function foo: controller -> data -> ()
<Kakadu> controller -> data -> unit *
<Kakadu> It is in library which u use
<Kakadu> what happend if u will write in your code
<Kakadu> print_endline ""; foo cntr; print_endline ""
<Kakadu> tobiasBora: ?
<Kakadu> (let's think that cntr is defined)
zpe has joined #ocaml
<tobiasBora> \me is reading your message
* tobiasBora is testing /me
<tobiasBora> it will wait for data, so there will be an error ?
<Kakadu> I think it will not be an error
<Kakadu> You always can check are u right in toplevel
gnuvince has joined #ocaml
<tobiasBora> Kakadu: these lines are in let () or not ?
<Kakadu> in toplevel, yes
<tobiasBora> Warning 5: this function application is partial,maybe some arguments are missing.
<Kakadu> it is warning, not an error
<Kakadu> now u can rewrite it with let () and look at an error
<tobiasBora> Indeed...
gal_bolle has joined #ocaml
<Kakadu> so, my point is
<Kakadu> if this function foo in library version 1.0 has type controller -> unit
<tobiasBora> Kakadu: I've already put it in let () : http://paste.ubuntu.com/5736763
<tobiasBora> and I've not error
<Kakadu> and in library version 2.0 it has type controller -> something_else-> unit
<Kakadu> when you will compile it without 'let ()' it will built OK
ggherdov has joined #ocaml
<Kakadu> and in testing phase you will be very suprised that it doesn't work as expected
bitbckt has joined #ocaml
<Kakadu> if you use 'let ()' you will know a problem in compile time
<Kakadu> have penny dropped?
<Kakadu> s/have/Has/
<tobiasBora> Ok I understand !
<tobiasBora> Thanks a lot !
zpe has quit [Ping timeout: 260 seconds]
ontologiae has quit [Ping timeout: 245 seconds]
mcclurmc has joined #ocaml
Neros has quit [*.net *.split]
Jenza has quit [*.net *.split]
eni has quit [*.net *.split]
bitbckt has quit [Remote host closed the connection]
bitbckt has joined #ocaml
eni has joined #ocaml
Neros has joined #ocaml
Jenza has joined #ocaml
eikke has quit [Read error: Connection reset by peer]
Neros has quit [Ping timeout: 240 seconds]
Neros has joined #ocaml
zpe has joined #ocaml
tane has quit [Quit: Verlassend]
Yoric has quit [Ping timeout: 256 seconds]
zpe has quit [Ping timeout: 240 seconds]
Jenza has quit [Ping timeout: 240 seconds]
Zeev has quit [Ping timeout: 245 seconds]
Jenza has joined #ocaml
_andre has quit [Quit: leaving]
ocp has quit [Quit: Leaving.]
Snark_ has quit [Quit: leaving]
malo has joined #ocaml
zpe has joined #ocaml
dsheets_ has joined #ocaml
tiripamwe has joined #ocaml
zpe has quit [Ping timeout: 276 seconds]
Neros has quit [Ping timeout: 260 seconds]
eikke has joined #ocaml
raichoo has quit [Quit: leaving]
zpe has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
Neros has joined #ocaml
tiripamwe has quit [Ping timeout: 246 seconds]
Kakadu has quit []
Zeev has joined #ocaml
tobiasBora has quit [Ping timeout: 256 seconds]
tiripamwe has joined #ocaml
tobiasBora has joined #ocaml
tane has joined #ocaml
ontologiae has joined #ocaml
emmanuelux has joined #ocaml
vpit3833 has joined #ocaml
eni has quit [Ping timeout: 276 seconds]
smondet has quit [Ping timeout: 246 seconds]
gal_bolle has quit [Remote host closed the connection]
malo has quit [Quit: Leaving]
tiripamwe has quit [Ping timeout: 260 seconds]
ontologiae has quit [Ping timeout: 240 seconds]
tobiasBora has quit [Quit: Konversation terminated!]
ontologiae has joined #ocaml
q66 has quit [Remote host closed the connection]
ontologiae has quit [Ping timeout: 240 seconds]
tane has quit [Quit: Verlassend]
tiripamwe has joined #ocaml
tiripamwe has quit [Quit: Leaving]
jbrown has quit [Ping timeout: 246 seconds]