gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | Inscription for OCaml Meeting 2010 is opened http://wiki.cocan.org/events/europe/ocamlmeetingparis2010
<julm> <:expr< <:ident< $uid:"Toto"$.$lid:"titi"$ >> >>;;
<yziquel> very very cool...
<julm> :)
Narrenschiff has joined #ocaml
onigiri has quit []
_unK has quit [Remote closed the connection]
jonafan_ is now known as jonafan
avsm has joined #ocaml
Narrenschiff has quit []
onigiri has joined #ocaml
tmaedaZ is now known as tmaedaZ0
tmaedaZ0 is now known as tmaedaZ
munga_ has quit [Read error: 113 (No route to host)]
onigiri has quit [Client Quit]
joewilliams has quit []
joewilliams has joined #ocaml
maskd has quit ["it"]
Waleee has quit []
lzgz has joined #ocaml
lzgz has left #ocaml []
pad` has quit [Remote closed the connection]
deavid has quit [Read error: 60 (Operation timed out)]
deavid has joined #ocaml
ski_ has joined #ocaml
Asmadeus has quit [Remote closed the connection]
Modius has quit [Read error: 110 (Connection timed out)]
Asmadeus has joined #ocaml
jeddhaberstro has quit [Client Quit]
valross has joined #ocaml
Amorphous has quit [Read error: 110 (Connection timed out)]
Modius has joined #ocaml
Amorphous has joined #ocaml
joewilliams has quit [Remote closed the connection]
ulfdoz has joined #ocaml
djanderson has quit []
ttamttam has joined #ocaml
yakischloba has joined #ocaml
smimram has joined #ocaml
ttamttam has quit ["Leaving."]
smimou_ has quit [Read error: 110 (Connection timed out)]
danblick1 has left #ocaml []
fx_ has joined #ocaml
Yoric has joined #ocaml
ulfdoz has quit [Read error: 110 (Connection timed out)]
__marius1_ has joined #ocaml
yakischloba has quit ["Leaving."]
_zack has joined #ocaml
__marius__ has quit [Read error: 110 (Connection timed out)]
naufraghi has joined #ocaml
derdon has joined #ocaml
derdon has left #ocaml []
Alpounet has quit [Read error: 110 (Connection timed out)]
ttamttam has joined #ocaml
fx___ has joined #ocaml
smimram has quit ["bli"]
Submarine has joined #ocaml
Yoric has quit []
Submarine has quit [farmer.freenode.net irc.freenode.net]
jonafan has quit [farmer.freenode.net irc.freenode.net]
companion_cube has quit [farmer.freenode.net irc.freenode.net]
det has quit [farmer.freenode.net irc.freenode.net]
noj has quit [farmer.freenode.net irc.freenode.net]
TaXules has quit [farmer.freenode.net irc.freenode.net]
lutter has quit [farmer.freenode.net irc.freenode.net]
fx___ has quit [farmer.freenode.net irc.freenode.net]
Amorphous has quit [farmer.freenode.net irc.freenode.net]
mal`` has quit [farmer.freenode.net irc.freenode.net]
thelema has quit [farmer.freenode.net irc.freenode.net]
fabjan has quit [farmer.freenode.net irc.freenode.net]
schme has quit [farmer.freenode.net irc.freenode.net]
Mr_Awesome has quit [farmer.freenode.net irc.freenode.net]
brendan has quit [farmer.freenode.net irc.freenode.net]
mehdid has quit [farmer.freenode.net irc.freenode.net]
Ori_B has quit [farmer.freenode.net irc.freenode.net]
tab has quit [farmer.freenode.net irc.freenode.net]
nimred has quit [farmer.freenode.net irc.freenode.net]
caligula_ has quit [farmer.freenode.net irc.freenode.net]
M| has quit [farmer.freenode.net irc.freenode.net]
gildor has quit [farmer.freenode.net irc.freenode.net]
diml has quit [farmer.freenode.net irc.freenode.net]
ozzloy has quit [farmer.freenode.net irc.freenode.net]
fremo_ has quit [farmer.freenode.net irc.freenode.net]
infoe_ has quit [farmer.freenode.net irc.freenode.net]
peper has quit [farmer.freenode.net irc.freenode.net]
BigJ has quit [farmer.freenode.net irc.freenode.net]
Asmadeus has quit [farmer.freenode.net irc.freenode.net]
orbitz has quit [farmer.freenode.net irc.freenode.net]
prigaux_ has quit [farmer.freenode.net irc.freenode.net]
willb has quit [farmer.freenode.net irc.freenode.net]
WuJiang_ has quit [farmer.freenode.net irc.freenode.net]
Tianon has quit [farmer.freenode.net irc.freenode.net]
bzzbzz has quit [farmer.freenode.net irc.freenode.net]
hyperboreean has quit [farmer.freenode.net irc.freenode.net]
yziquel has quit [farmer.freenode.net irc.freenode.net]
deavid has quit [farmer.freenode.net irc.freenode.net]
rwmjones has quit [farmer.freenode.net irc.freenode.net]
srcerer has quit [farmer.freenode.net irc.freenode.net]
tmaedaZ has quit [farmer.freenode.net irc.freenode.net]
Camarade_Tux has quit [farmer.freenode.net irc.freenode.net]
gim has quit [farmer.freenode.net irc.freenode.net]
Gertm has quit [farmer.freenode.net irc.freenode.net]
mfp has quit [farmer.freenode.net irc.freenode.net]
jlouis has quit [farmer.freenode.net irc.freenode.net]
flux has quit [farmer.freenode.net irc.freenode.net]
ttamttam has quit [farmer.freenode.net irc.freenode.net]
emias has quit [farmer.freenode.net irc.freenode.net]
Submarine has joined #ocaml
fx___ has joined #ocaml
ttamttam has joined #ocaml
Amorphous has joined #ocaml
Asmadeus has joined #ocaml
deavid has joined #ocaml
jonafan has joined #ocaml
yziquel has joined #ocaml
brendan has joined #ocaml
flux has joined #ocaml
rwmjones has joined #ocaml
mehdid has joined #ocaml
companion_cube has joined #ocaml
mal`` has joined #ocaml
srcerer has joined #ocaml
Ori_B has joined #ocaml
tab has joined #ocaml
nimred has joined #ocaml
det has joined #ocaml
orbitz has joined #ocaml
tmaedaZ has joined #ocaml
caligula_ has joined #ocaml
lutter has joined #ocaml
TaXules has joined #ocaml
noj has joined #ocaml
Mr_Awesome has joined #ocaml
thelema has joined #ocaml
fabjan has joined #ocaml
schme has joined #ocaml
prigaux_ has joined #ocaml
bzzbzz has joined #ocaml
willb has joined #ocaml
Tianon has joined #ocaml
WuJiang_ has joined #ocaml
M| has joined #ocaml
peper has joined #ocaml
ozzloy has joined #ocaml
fremo_ has joined #ocaml
infoe_ has joined #ocaml
gildor has joined #ocaml
diml has joined #ocaml
hyperboreean has joined #ocaml
BigJ has joined #ocaml
emias has joined #ocaml
Camarade_Tux has joined #ocaml
gim has joined #ocaml
jlouis has joined #ocaml
mfp has joined #ocaml
Gertm has joined #ocaml
thelema_ has joined #ocaml
avsm has quit ["Leaving."]
Submarine has quit ["Leaving"]
thelema has quit [Read error: 104 (Connection reset by peer)]
fx_ has quit [Read error: 110 (Connection timed out)]
_zack has quit ["Leaving."]
_zack has joined #ocaml
Mr_Awesome has quit ["Hilarity ensues."]
ikaros has joined #ocaml
msteele has joined #ocaml
onigiri has joined #ocaml
ikaros has quit ["Leave the magic to Houdini"]
Yoric has joined #ocaml
munga_ has joined #ocaml
yziquel has quit [Ping timeout: 180 seconds]
prigaux has joined #ocaml
orbitz has quit [Broken pipe]
prigaux_ has quit [Broken pipe]
orbitz_ has joined #ocaml
thelema_ has quit [Remote closed the connection]
thelema has joined #ocaml
tensorpudding has joined #ocaml
_zack has quit ["Leaving."]
demitar has joined #ocaml
hyperboreean has quit [Broken pipe]
hyperboreean has joined #ocaml
avsm has joined #ocaml
hyperboreean has quit [Broken pipe]
hyperbor1ean has joined #ocaml
_zack has joined #ocaml
yziquel has joined #ocaml
<yziquel> julm: <:expr< <:ident< $uid:DB.typeconv_module$.$lid:f$ >> >> does not get parsed. where can i find the declaration of how all these identifier are defined?
<julm> euh
<julm> ocaml/camlp4/* :)
<julm> what is your error?
<fx___> quotation inside quotation - is that allowed?
<julm> works for me
<yziquel> Warning Y: unused variable f
<yziquel> Error: Error-enabled warnings (1 occurrences)
<julm> hm
<yziquel> i'm just getting lost in the camlp4 sources, and can't seem to grasp them.
<julm> and with a $id: before <:ident< ?
<yziquel> julm: like what? i'm really not familiar with camlp4 syntax (for now)...
<julm> <:expr< $id: <:ident< $uid:DB.typeconv_module$.$lid:f$ >> $ >>
<yziquel> <:expr< $id:<:ident<
<yziquel> ?
<yziquel> ah, ok...
<yziquel> julm: seems to work. compiles.
<julm> oki
hyperbor1ean has quit ["leaving"]
Alpounet has joined #ocaml
_andre has joined #ocaml
hyperboreean has joined #ocaml
demitar has quit ["Ex-Chat"]
valross has quit ["Ex-Chat"]
tensorpudding has quit ["ERC Version 5.3 (IRC client for Emacs)"]
tensorpudding has joined #ocaml
munga_ has quit [Read error: 60 (Operation timed out)]
_unK has joined #ocaml
demitar has joined #ocaml
demitar has quit [Read error: 110 (Connection timed out)]
rwmjones has quit [Read error: 60 (Operation timed out)]
rwmjones has joined #ocaml
tensorpudding has quit [Remote closed the connection]
ski_ has quit ["Lost terminal"]
_unK has quit [Remote closed the connection]
maskd has joined #ocaml
naufraghi has quit []
ttamttam has quit ["Leaving."]
orbitz_ has quit [Client Quit]
orbitz has joined #ocaml
rwmjones_lptp_ has joined #ocaml
rwmjones_lptp_ has quit [Client Quit]
rwmjones has quit [Read error: 101 (Network is unreachable)]
ttamttam has joined #ocaml
ksson has joined #ocaml
Pimm has joined #ocaml
dark has joined #ocaml
rwmjones_lptp has joined #ocaml
rwmjones_lptp is now known as rwmjones
Pimm is now known as pimmhogeling
dark has quit ["Leaving"]
ubuntu_ has joined #ocaml
pimmhogeling has quit ["Ik ga weg"]
Pimm has joined #ocaml
ubuntu_ is now known as dark
Pimm is now known as pimmhogeling
pimmhogeling has quit [Client Quit]
pimmhogeling has joined #ocaml
pimmhogeling has quit [Client Quit]
pimmhogeling has joined #ocaml
ikaros has joined #ocaml
pimmhogeling has quit [Client Quit]
pimmhogeling has joined #ocaml
ccasin has joined #ocaml
joewilliams has joined #ocaml
ttamttam has quit ["Leaving."]
joewilliams has quit [Remote closed the connection]
ski_ has joined #ocaml
lutter has quit ["Leaving."]
lutter has joined #ocaml
dest has joined #ocaml
dest has left #ocaml []
_unK has joined #ocaml
yakischloba has joined #ocaml
joewilliams has joined #ocaml
<Camarade_Tux> hmmmm, Andreas Romeyke's code on the beginners list works for me
<Camarade_Tux> anyone tried it?
<Camarade_Tux> (it's "supposed" to segfault)
<thelema> Camarade_Tux: link?
* thelema is finding it
<Camarade_Tux> but I'm not completely sure I understand what he's saying
Spiwack has joined #ocaml
<Camarade_Tux> he sent a code but he says the "test" will pass while he's mentionning the code will crash
<thelema> ok, the first code he pasted works for me
fx___ has quit [Read error: 110 (Connection timed out)]
<Camarade_Tux> same here
<thelema> except I get no output - I see the printf statements - what's going on....
<Camarade_Tux> the second one depends on a module named Img, not sure what it is
* thelema is finding it the original post?
<Camarade_Tux> I get several 'i j -> ok' and 'kein Bug in red-loop i j' lines (with i and j integers)
itewsh has joined #ocaml
* thelema goes to other work
* Camarade_Tux is doing the same
<mrvn> thelema: maybe just missing a flush?
<thelema> shouldn't it flush on exit?
<mrvn> not if it crashes
<thelema> there's no message at all - not even a segfault
_zack has quit ["Leaving."]
Yoric has quit []
Pepe_ has quit [Read error: 113 (No route to host)]
Submarine has joined #ocaml
<Camarade_Tux> I hadn't seen this qt-caml screenshot: http://qt-caml.crapulion.org/trac/browser/trunk/doc/presentation-osp/screenshot.jpg <- seems it's more advanced than I thought
<Spiwack> Last time I talked about that with Yann he told me it was almost releasable.
<Spiwack> But the authors are quite busy, thus it's not going to fast these days.
<Spiwack> too*
<Camarade_Tux> Spiwack: oh, good, well, maybe I can help if they need btw
<Spiwack> I guess you might just contact them.
<Camarade_Tux> true enough (I knew I needed some sleep, I didn't know I needed *that* much sleep ;-) )
<Spiwack> One never does ;-)
ts2009 has joined #ocaml
ksson has quit ["leaving"]
ts2009 has quit [Remote closed the connection]
<Camarade_Tux> hehe, right ;-)
Spiwack has quit ["Leaving"]
<Camarade_Tux> now, if only I could find a tarball for qtcaml
<flux> is qt-caml still alive?
rwmjones has left #ocaml []
<mrvn> didn't someone just last week wanted to start writing QT bindings?
<Camarade_Tux> the trac has been updated recently and I think there has been a minor change recently but there may be more that is not available on the internet
<mrvn> damn. It's friday, I'm just finishing work. I just be all hyped about going out or something but all I want to do is fall into bed.
<mrvn> +should
<Leonidas> mrvn: same here, I just want to sleep
<Camarade_Tux> took me half an hour to find the download link for qt-caml ><
avsm has quit [Read error: 60 (Operation timed out)]
<flux> :-)
<Leonidas> is ocaml really so incompatible to itself?
<thelema> yes, binary compatibility is broken often to ensure typing is correct
<Camarade_Tux> anyone know of a module named "res"? with a submodule named Array? itself with empty, find_index, add_one, blit, remove_one functions exported?
<Leonidas> I sometimes read "ported to 3.11, also works in 3.10" as if it wouldnd work with 3.09
<Camarade_Tux> (pretty funny that mlgccxml which is the basis for qt-caml depends on gtk ;p )
<thelema> Camarade_Tux: nope, possibly someone's private stdlib?
<Leonidas> thelema: binary compability is not that important to me, if it is just a matter of recompiling it is not a problem at all
<thelema> Leonidas: you're talking about little changes from version to version. They exist, most people don't have to deal with them. But once you use something that was added in version x, you can't compile anymore with version <x
<thelema> And there's plenty of compelling features being added in recent releases
<flux> leonidas, a big change betweeen 3.09 and 3.10 was campl4
<flux> leonidas, most (?) of 3.09-camlp4-code can be however used with the camlp5, which is forked from the old camlp4
<Camarade_Tux> ah, found it: [174] godi-res 3.2.0#3 OCaml library for resizable a
<Leonidas> thelema: but code that runs with 3.11.1 won't have to be ported to 3.12 or whatever?
<thelema> no, forwards compatibility is rarely broken. The camlp4 thing mentioned is the most recent example.
<Leonidas> In that case, it isn't as much an issue as I have thought.
<thelema> err, s/forwards/backwards/
<thelema> In the changelog, anything that can break backwards compatibility is marked with '*'
<thelema> Ocaml is quite stable, to the frustration of those of us wanting to improve the language.
det has quit [Read error: 104 (Connection reset by peer)]
<Leonidas> thelema: yeah, that is somehow always a problem, just like the Python 3.x trouble. OTOH, making all previously written code useless is quite a big step.
<thelema> yup, one that the ocaml dev team is not particularly willing to take
Pepe_ has joined #ocaml
_andre has quit ["leaving"]
ygrek has joined #ocaml
ttamttam has joined #ocaml
ikaros has quit ["Leave the magic to Houdini"]
onigiri has quit []
ulfdoz has joined #ocaml
ubuntu_ has joined #ocaml
pad` has joined #ocaml
dark has quit [Read error: 113 (No route to host)]
naufraghi has joined #ocaml
Yoric has joined #ocaml
<thelema> I'm making the 1.0.0 release of batteries now.
naufraghi has quit [Read error: 110 (Connection timed out)]
ccasin has quit ["Leaving"]
<thelema> hmm, how to edit batteries webpages on ocamlforge...
<thelema> got it.
Pimm has joined #ocaml
_zack has joined #ocaml
pimmhogeling has quit [Read error: 104 (Connection reset by peer)]
pimmhogeling has joined #ocaml
Pimm has quit [Client Quit]
<thelema> I'll make the post to the mailing list later tonight. Hopefully I didn't forget anything.
yakischloba1 has joined #ocaml
demitar has joined #ocaml
slash_ has joined #ocaml
yakischloba2 has joined #ocaml
yakischloba has quit [Read error: 104 (Connection reset by peer)]
yakischloba2 is now known as yakischloba
ttamttam has quit ["Leaving."]
<Yoric> thelema: \o/
* Yoric sheds a tear or two.
yakischloba1 has quit [Read error: 110 (Connection timed out)]
pad` has quit [K-lined]
pimmhogeling has quit ["Ik ga weg"]
<Camarade_Tux> Yoric: ;-)
yziquel has quit [farmer.freenode.net irc.freenode.net]
travisbrady has joined #ocaml
ulfdoz_ has joined #ocaml
ulfdoz has quit [Read error: 60 (Operation timed out)]
ulfdoz_ is now known as ulfdoz
slash_ has quit [Client Quit]
Yoric has quit []
joewilliams has quit [Remote closed the connection]
ygrek has quit [Remote closed the connection]
thelema has quit [Remote closed the connection]
thelema has joined #ocaml
caligula__ has joined #ocaml
_unK has quit [farmer.freenode.net irc.freenode.net]
maskd has quit [farmer.freenode.net irc.freenode.net]
diml has quit [farmer.freenode.net irc.freenode.net]
gildor has quit [farmer.freenode.net irc.freenode.net]
tab has quit [farmer.freenode.net irc.freenode.net]
mehdid has quit [farmer.freenode.net irc.freenode.net]
brendan has quit [farmer.freenode.net irc.freenode.net]
Ori_B has quit [farmer.freenode.net irc.freenode.net]
M| has quit [farmer.freenode.net irc.freenode.net]
caligula_ has quit [farmer.freenode.net irc.freenode.net]
fremo_ has quit [farmer.freenode.net irc.freenode.net]
nimred has quit [farmer.freenode.net irc.freenode.net]
BigJ has quit [farmer.freenode.net irc.freenode.net]
infoe_ has quit [farmer.freenode.net irc.freenode.net]
peper has quit [farmer.freenode.net irc.freenode.net]
ozzloy has quit [farmer.freenode.net irc.freenode.net]
ikaros has joined #ocaml
ozzloy has joined #ocaml
nimred has joined #ocaml
Ori_B has joined #ocaml
M| has joined #ocaml
gildor has joined #ocaml
fremo_ has joined #ocaml
peper has joined #ocaml
WuJiang has joined #ocaml
ubuntu_ is now known as dark
Tianon|Away has joined #ocaml
ski_ has quit [farmer.freenode.net irc.freenode.net]
WuJiang_ has quit [farmer.freenode.net irc.freenode.net]
Asmadeus has quit [farmer.freenode.net irc.freenode.net]
Tianon has quit [farmer.freenode.net irc.freenode.net]
willb has quit [farmer.freenode.net irc.freenode.net]
bzzbzz has quit [farmer.freenode.net irc.freenode.net]
maskd has joined #ocaml
Submarine has quit ["Leaving"]
mehdid has joined #ocaml
Asmadeus has joined #ocaml
bzzbzz has joined #ocaml
pimmhogeling has joined #ocaml
ski_ has joined #ocaml
drunK_ has joined #ocaml
tab has joined #ocaml
pimmhogeling has quit [farmer.freenode.net irc.freenode.net]
WuJiang has quit [farmer.freenode.net irc.freenode.net]
fremo_ has quit [farmer.freenode.net irc.freenode.net]
M| has quit [farmer.freenode.net irc.freenode.net]
caligula__ has quit [farmer.freenode.net irc.freenode.net]
demitar has quit [farmer.freenode.net irc.freenode.net]
shr3kst3r has quit [farmer.freenode.net irc.freenode.net]
my007ms has quit [farmer.freenode.net irc.freenode.net]
hcarty has quit [farmer.freenode.net irc.freenode.net]
lanaer has quit [farmer.freenode.net irc.freenode.net]
infoe has quit [farmer.freenode.net irc.freenode.net]
rbancroft has quit [farmer.freenode.net irc.freenode.net]
msteele has quit [farmer.freenode.net irc.freenode.net]
mbishop has quit [farmer.freenode.net irc.freenode.net]
ertai has quit [farmer.freenode.net irc.freenode.net]
peddie has quit [farmer.freenode.net irc.freenode.net]
Leonidas has quit [farmer.freenode.net irc.freenode.net]
patronus has quit [Killed by douglas.freenode.net (Nick collision)]
orbitz has quit [Dead socket]
hyperboreean has quit [Dead socket]
peper has quit [Dead socket]
ski_ has quit [Dead socket]
Morphous has joined #ocaml
patronus has joined #ocaml
pimmhogeling has joined #ocaml
WuJiang has joined #ocaml
fremo_ has joined #ocaml
M| has joined #ocaml
caligula__ has joined #ocaml
demitar has joined #ocaml
msteele has joined #ocaml
shr3kst3r has joined #ocaml
my007ms has joined #ocaml
hcarty has joined #ocaml
lanaer has joined #ocaml
infoe has joined #ocaml
rbancroft has joined #ocaml
peddie has joined #ocaml
mbishop has joined #ocaml
Leonidas has joined #ocaml
ertai has joined #ocaml
ozzloy has quit [Connection reset by peer]
thelema has quit [Remote closed the connection]
patronus is now known as Guest43967
nimred has quit [Success]
mal`` has quit [farmer.freenode.net irc.freenode.net]
fabjan has quit [farmer.freenode.net irc.freenode.net]
schme has quit [farmer.freenode.net irc.freenode.net]
Amorphous has quit [farmer.freenode.net irc.freenode.net]
_unK has joined #ocaml
orbitz has joined #ocaml
joewilliams has joined #ocaml
drunK_ has quit [Read error: 54 (Connection reset by peer)]
brendan has joined #ocaml
BigJ has joined #ocaml
infoe_ has joined #ocaml
diml has joined #ocaml
mal``` has joined #ocaml
ski___ has joined #ocaml
mal`` has joined #ocaml
nimred has joined #ocaml
hyperboreean has joined #ocaml
fabjan has joined #ocaml
willb has joined #ocaml
ozzloy_ has joined #ocaml
schmx has joined #ocaml
thelema_ has joined #ocaml
thelema_ has quit [farmer.freenode.net irc.freenode.net]
schmx has quit [farmer.freenode.net irc.freenode.net]
ozzloy_ has quit [farmer.freenode.net irc.freenode.net]
willb has quit [farmer.freenode.net irc.freenode.net]
ozzloy has joined #ocaml
ozzloy has left #ocaml []
mal``` has quit [Success]
thelema has joined #ocaml
mal`` has quit [Broken pipe]
_zack has quit ["Leaving."]
thelema has quit [Remote closed the connection]
schme has joined #ocaml
mal`` has joined #ocaml
hyperboreean has quit [Connection reset by peer]
ikaros has quit ["Leave the magic to Houdini"]
thelema has joined #ocaml
ski___ has quit [Broken pipe]
itewsh has quit [Remote closed the connection]
joewilliam has joined #ocaml
Tianon|Away is now known as Tianon
ski_ has joined #ocaml
diml has quit [farmer.freenode.net irc.freenode.net]
brendan has quit [farmer.freenode.net irc.freenode.net]
infoe_ has quit [farmer.freenode.net irc.freenode.net]
BigJ has quit [farmer.freenode.net irc.freenode.net]
demitar has quit ["Ex-Chat"]
joewilliams has quit [Read error: 110 (Connection timed out)]
brendan has joined #ocaml
BigJ has joined #ocaml
infoe_ has joined #ocaml
diml has joined #ocaml
thelema has quit [Remote closed the connection]