jonafan has quit [Read error: 54 (Connection reset by peer)]
willb has quit [Read error: 110 (Connection timed out)]
|jedai| has quit [Read error: 145 (Connection timed out)]
|jedai| has joined #ocaml
mbishop has quit [Remote closed the connection]
mbishop has joined #ocaml
|jedai| has quit [Read error: 60 (Operation timed out)]
|jedai| has joined #ocaml
postalchris has quit [Read error: 110 (Connection timed out)]
jeddhaberstro has joined #ocaml
postalchris has joined #ocaml
Associat0r has quit []
jeddhaberstro has quit []
authentic has quit [Read error: 60 (Operation timed out)]
authentic has joined #ocaml
chrisliaw has joined #ocaml
|jedai| has quit [Read error: 60 (Operation timed out)]
|jedai| has joined #ocaml
purple_ has quit [kornbluth.freenode.net irc.freenode.net]
ppsmimou has quit [kornbluth.freenode.net irc.freenode.net]
mattam has quit [kornbluth.freenode.net irc.freenode.net]
orbitz has quit [kornbluth.freenode.net irc.freenode.net]
caligula__ has quit [kornbluth.freenode.net irc.freenode.net]
petchema has quit [kornbluth.freenode.net irc.freenode.net]
maxote has quit [kornbluth.freenode.net irc.freenode.net]
caligula__ has joined #ocaml
petchema has joined #ocaml
maxote has joined #ocaml
purple_ has joined #ocaml
ppsmimou has joined #ocaml
mattam has joined #ocaml
orbitz has joined #ocaml
caligula__ has quit [kornbluth.freenode.net irc.freenode.net]
maxote has quit [kornbluth.freenode.net irc.freenode.net]
petchema has quit [kornbluth.freenode.net irc.freenode.net]
purple_ has quit [kornbluth.freenode.net irc.freenode.net]
mattam has quit [kornbluth.freenode.net irc.freenode.net]
ppsmimou has quit [kornbluth.freenode.net irc.freenode.net]
orbitz has quit [kornbluth.freenode.net irc.freenode.net]
purple_ has joined #ocaml
ppsmimou has joined #ocaml
mattam has joined #ocaml
orbitz has joined #ocaml
caligula__ has joined #ocaml
petchema has joined #ocaml
maxote has joined #ocaml
Associat0r has joined #ocaml
postalchris1 has joined #ocaml
postalchris has quit ["Leaving."]
seafood has quit []
prime2 has joined #ocaml
|jedai| has quit [Read error: 110 (Connection timed out)]
|jedai| has joined #ocaml
postalchris1 has left #ocaml []
Yoric[DT] has joined #ocaml
|jedai| has quit [Read error: 110 (Connection timed out)]
|jedai| has joined #ocaml
<Yoric[DT]>
hi
Camarade_Tux has joined #ocaml
Camarade_Tux has quit ["school"]
chrisliaw has quit ["Ex-Chat"]
Yoric[DT] has quit ["Ex-Chat"]
mjonsson has quit [Remote closed the connection]
<flux>
man that teixeira (on the mailing list) guy really wants to make the type system do his bidding :)
<flux>
I guess he's the same guy who's been asking related questions along the year a few times
<flux>
I'm just jealous I can't figure out as nice ways to apply type system in my code..
prime2 has quit [Read error: 60 (Operation timed out)]
_jedai_ has joined #ocaml
Snark has joined #ocaml
|jedai| has quit [Read error: 110 (Connection timed out)]
vixey has joined #ocaml
marmotine has joined #ocaml
_zack has joined #ocaml
_jedai_ has quit [Read error: 145 (Connection timed out)]
|jedai| has joined #ocaml
s4tan has joined #ocaml
vixey has quit [Read error: 104 (Connection reset by peer)]
<olegfink>
flux: hm, am I right that ocsigen folks have solved exactly this problem?
vixey has joined #ocaml
<flux>
I'm not sure how advanced their solution is
grigorij` has quit [Read error: 110 (Connection timed out)]
ygrek has joined #ocaml
<rwmjones>
who's an ocsigen expert here?
<flux>
mfp might be the closest thing here, iirc he rewrote his blog using it :)
<kig>
mfp and somewhat me
m3ga has joined #ocaml
<kig>
are you getting two-screen-long type errors? :)
<rwmjones>
?
<rwmjones>
no I was just wondering what/whether ocsigen really uses ocamlduce
<flux>
afaik you may use ocamlduce with ocsigen if you want, but it doesn't require using it
ygrek has quit [Remote closed the connection]
<kig>
yes, i haven't used ocamlduce, only the XHTML.M
jeremiah has quit [Read error: 104 (Connection reset by peer)]
ikaros has joined #ocaml
jeremiah has joined #ocaml
jeremiah has quit [Read error: 104 (Connection reset by peer)]
ikaros has quit [".quit"]
_jedai_ has joined #ocaml
|jedai| has quit [Read error: 110 (Connection timed out)]
jeremiah has joined #ocaml
Yoric[DT] has joined #ocaml
<Yoric[DT]>
hi
jeremiah has quit [Read error: 104 (Connection reset by peer)]
l_a_m has quit [Read error: 131 (Connection reset by peer)]
ched has joined #ocaml
chrisliaw has joined #ocaml
l_a_m has joined #ocaml
Axioplase is now known as Axioplase_
jeremiah has joined #ocaml
jeremiah has quit [Read error: 104 (Connection reset by peer)]
|jedai| has joined #ocaml
_jedai_ has quit [Connection timed out]
jeremiah has joined #ocaml
|jedai| has quit [Read error: 110 (Connection timed out)]
|jedai| has joined #ocaml
m3ga has quit ["disappearing into the sunset"]
Stefan_vK1 has joined #ocaml
chrisliaw has quit ["Ex-Chat"]
ygrek has joined #ocaml
jeremiah has quit [Read error: 104 (Connection reset by peer)]
Stefan_vK has quit [Read error: 104 (Connection reset by peer)]
ygrek has quit [Remote closed the connection]
jeremiah has joined #ocaml
schme has quit ["Lost terminal"]
schme has joined #ocaml
Yoric[DT] has quit ["Ex-Chat"]
Snark has quit [Read error: 110 (Connection timed out)]
Snark has joined #ocaml
ikaros has joined #ocaml
jeremiah has quit [Read error: 104 (Connection reset by peer)]
K-Yo has joined #ocaml
sporkmonger has quit []
<K-Yo>
Hi, is there a way to add a char to a string?
<flux>
not really, but you can construct a new string with the character appended: "foo" ^ String.make 1 'o'
<flux>
but you may be better off with Buffer, if you are doing that a lot
<flux>
because constructing strings that way is slow
<K-Yo>
hmm
<K-Yo>
Buffer?
<flux>
yes. the Buffer module provides a, well, buffer, into which you can append characters and strings etc
<K-Yo>
oh
<flux>
and finally retrieve it in the string form
<K-Yo>
nah, I think I'll take the slow way :P
<K-Yo>
I(m just trying to code the huffman code
jeremiah has joined #ocaml
<K-Yo>
but I won't use it a lot
<K-Yo>
thank you flux :)
|jedai| has quit [Read error: 110 (Connection timed out)]
|jedai| has joined #ocaml
jdev has quit [Read error: 104 (Connection reset by peer)]
slash_ has quit [Client Quit]
sporkmonger has joined #ocaml
jdev has joined #ocaml
ygrek has joined #ocaml
<_zack>
I'm writing a binding from C to call some Caml function, while linking the .o generated with -output-obj, the linker complains about the lack of symbols defined in libcamlrun, even though -lcamlrun is there
<_zack>
any hint?
TaXules has quit [Remote closed the connection]
<rwmjones>
_zack, what's the symbol? some primitives are not in libcamlrun
<_zack>
caml_array_get_addr for example, but also caml_{compare,equal}
<_zack>
I guess/hope those are in camlrun
<_zack>
actually I've even checked with nm, they are there
<rwmjones>
hmm ok, in that case I have no idea ... possibly a link-order problem.
<_zack>
indeed, possibly, i'll investigate
<_zack>
thanks anyhow
<rwmjones>
_zack, I solved a lot of these sorts of problems in mod_caml, so might be worth checking out the source for that
<_zack>
cool
jlouis has quit [Remote closed the connection]
_jedai_ has joined #ocaml
|jedai| has quit [Read error: 110 (Connection timed out)]
ikaros_ has joined #ocaml
ikaros has quit [".quit"]
velco has joined #ocaml
jeremiah has quit [Read error: 104 (Connection reset by peer)]
velco has quit [Client Quit]
postalchris has joined #ocaml
_jedai_ has quit [Read error: 110 (Connection timed out)]
|jedai| has joined #ocaml
ygrek has quit [Remote closed the connection]
ygrek has joined #ocaml
postalchris has quit [Read error: 104 (Connection reset by peer)]
|jedai| has quit [Read error: 60 (Operation timed out)]
|jedai| has joined #ocaml
jeremiah has joined #ocaml
ikaros_ has quit [".quit"]
ikaros has joined #ocaml
ikaros has quit [Remote closed the connection]
ikaros has joined #ocaml
hkBst has joined #ocaml
willb has joined #ocaml
pango has quit [Remote closed the connection]
pango has joined #ocaml
thelema_ has quit ["gone for weekend"]
ikaros_ has joined #ocaml
|jedai| has quit [Connection timed out]
|jedai| has joined #ocaml
ikaros_ has quit [Client Quit]
vixey has quit [Remote closed the connection]
ikaros has quit [Read error: 60 (Operation timed out)]
Camarade_Tux has joined #ocaml
|jedai| has quit [Read error: 60 (Operation timed out)]
|jedai| has joined #ocaml
vixey has joined #ocaml
_zack has quit ["Leaving."]
jeremiah has quit [Read error: 104 (Connection reset by peer)]
willb1 has joined #ocaml
willb has quit [Read error: 113 (No route to host)]
itewsh has joined #ocaml
pango has quit [Remote closed the connection]
willb has joined #ocaml
pango has joined #ocaml
jeremiah has joined #ocaml
s4tan has quit []
willb1 has quit [Read error: 113 (No route to host)]
itewsh has quit ["There are only 10 kinds of people: those who understand binary and those who don't"]
jlouis has joined #ocaml
jeremiah has quit [Read error: 104 (Connection reset by peer)]
jeremiah has joined #ocaml
Smerdyakov has joined #ocaml
tab_ has joined #ocaml
tab has quit [Read error: 131 (Connection reset by peer)]
|jedai| has quit [Read error: 60 (Operation timed out)]
|jedai| has joined #ocaml
itewsh has joined #ocaml
jeremiah has quit [Read error: 104 (Connection reset by peer)]
Bouceka has joined #ocaml
Associat0r has quit [Read error: 104 (Connection reset by peer)]
|jedai| has quit [Read error: 110 (Connection timed out)]
|jedai| has joined #ocaml
jeremiah has joined #ocaml
ched has quit [Remote closed the connection]
ched has joined #ocaml
Stefan_vK1 has quit ["Leaving."]
ched has quit [Remote closed the connection]
sidewinder128 has joined #ocaml
sidewinder128 has quit ["ChatZilla 0.9.84 [Firefox 3.0.5/2008120121]"]
_jedai_ has joined #ocaml
sidewinder128 has joined #ocaml
|jedai| has quit [Read error: 110 (Connection timed out)]
sidewinder128 has left #ocaml []
ched has joined #ocaml
K-Yo has quit ["Quitte"]
Smerdyakov has quit ["Leaving"]
_jedai_ has quit [Connection timed out]
|jedai| has joined #ocaml
Bouceka has quit ["Bu Bye"]
jeremiah has quit [Read error: 104 (Connection reset by peer)]
pango has quit [Remote closed the connection]
jeremiah has joined #ocaml
pango has joined #ocaml
prime2 has joined #ocaml
ofaurax has joined #ocaml
TaXules has joined #ocaml
ygrek has quit [Remote closed the connection]
Snark has quit ["Ex-Chat"]
iwannalog has joined #ocaml
|jedai| has quit [Read error: 110 (Connection timed out)]
|jedai| has joined #ocaml
Yoric[DT] has joined #ocaml
sporkmonger has quit []
|jedai| has quit [Connection timed out]
|jedai| has joined #ocaml
ofaurax has quit ["Leaving"]
yziquel has joined #ocaml
yziquel has quit [Remote closed the connection]
vixey has quit [Remote closed the connection]
itewsh has quit [Connection timed out]
itewsh has joined #ocaml
ikaros has joined #ocaml
|jedai| has quit [Read error: 145 (Connection timed out)]
|jedai| has joined #ocaml
yziquel has joined #ocaml
yziquel has quit [Remote closed the connection]
hkBst has quit [Read error: 104 (Connection reset by peer)]
Camarade_Tux has quit ["Leaving"]
^authentic has joined #ocaml
yziquel has joined #ocaml
yziquel has quit [Remote closed the connection]
jeremiah has quit [Read error: 104 (Connection reset by peer)]
Yoric[DT] has quit ["Ex-Chat"]
authentic has quit [Read error: 110 (Connection timed out)]
^authentic is now known as authentic
|jedai| has quit [Read error: 110 (Connection timed out)]
|jedai| has joined #ocaml
seafood has joined #ocaml
jeddhaberstro has joined #ocaml
yziquel has joined #ocaml
yziquel has quit [Remote closed the connection]
yziquel has joined #ocaml
yziquel has quit [Remote closed the connection]
jeremiah has joined #ocaml
jeremiah has quit [Read error: 104 (Connection reset by peer)]
prime2 has quit ["leaving"]
Amorphous has quit [Read error: 60 (Operation timed out)]
marmotine has quit ["mv marmotine Laurie"]
willb has quit [Read error: 60 (Operation timed out)]