RichiH has quit ["Connection reset by boar!"]
gl has quit [Remote closed the connection]
lam has quit [Remote closed the connection]
lam has joined #ocaml
gl has joined #ocaml
lament has joined #ocaml
<
whee>
hooray, I think multimatch might make it into ocaml
mattam has joined #ocaml
mattam has quit ["leaving"]
gl has quit [Read error: 54 (Connection reset by peer)]
karryall has joined #ocaml
EyeZ has joined #ocaml
EyeZ has quit [Remote closed the connection]
karryall has quit []
puks has joined #ocaml
TachYon25 has joined #ocaml
lament has quit [Read error: 104 (Connection reset by peer)]
lament has joined #ocaml
puks has quit ["Client Exiting"]
smklsmkl has joined #ocaml
smkl has quit [Connection reset by peer]
gl has joined #ocaml
SoreEel has quit [Read error: 104 (Connection reset by peer)]
lament has quit ["sleep"]
smklsmkl has quit [forward.freenode.net irc.freenode.net]
lam has quit [forward.freenode.net irc.freenode.net]
asqui has quit [forward.freenode.net irc.freenode.net]
kev has quit [forward.freenode.net irc.freenode.net]
jao_away has quit [forward.freenode.net irc.freenode.net]
smklsmkl has joined #ocaml
lam has joined #ocaml
asqui has joined #ocaml
kev has joined #ocaml
jao_away has joined #ocaml
asqui has quit [Excess Flood]
asqui has joined #ocaml
j_bravo has joined #ocaml
TachYon25 has quit [Remote closed the connection]
Dalroth has joined #ocaml
skylan has quit [Read error: 60 (Operation timed out)]
lam has quit ["Lost terminal"]
lam has joined #ocaml
j_bravo has joined #ocaml
merriam has quit [forward.freenode.net irc.freenode.net]
xtrm has quit [forward.freenode.net irc.freenode.net]
merriam has joined #ocaml
xtrm has joined #ocaml
gl has quit [Read error: 60 (Operation timed out)]
vom_Fenster has joined #ocaml
vom_Fenster has quit [Read error: 54 (Connection reset by peer)]
skylan has joined #ocaml
gl has joined #ocaml
lament has joined #ocaml
Begbie has joined #ocaml
<
whee>
gah, I thought that line number bug was fixed in cvs
SoreEel has joined #ocaml
<
whee>
anyone know how efficient input_char is?
<
whee>
I'm hoping it does buffering in the background
Dalroth has quit []