Smerdyakov has quit [Read error: 104 (Connection reset by peer)]
temo has joined #ocaml
temo has quit ["This computer has gone to sleep"]
Smerdyakov has joined #ocaml
temo has joined #ocaml
Smerdyakov has quit [Read error: 110 (Connection timed out)]
Nutssh has joined #ocaml
cognominal has joined #ocaml
Smerdyakov has joined #ocaml
cognominal_ has quit [Read error: 110 (Connection timed out)]
Smerdyakov has quit [Read error: 131 (Connection reset by peer)]
ditschi_ has joined #ocaml
temo has left #ocaml []
Smerdyakov has joined #ocaml
Smerdyakov has quit []
ditschi has quit [Read error: 110 (Connection timed out)]
Herrchen_ has joined #ocaml
Herrchen has quit [Read error: 60 (Operation timed out)]
Herrchen_ has quit [brown.freenode.net irc.freenode.net]
ditschi_ has quit [brown.freenode.net irc.freenode.net]
cognominal has quit [brown.freenode.net irc.freenode.net]
MrX_ has quit [brown.freenode.net irc.freenode.net]
erg has quit [brown.freenode.net irc.freenode.net]
rossberg has quit [brown.freenode.net irc.freenode.net]
Sonarman has quit [brown.freenode.net irc.freenode.net]
a-priori has quit [brown.freenode.net irc.freenode.net]
TaXules has quit [brown.freenode.net irc.freenode.net]
dan2 has quit [brown.freenode.net irc.freenode.net]
pango has quit [brown.freenode.net irc.freenode.net]
noj has quit [brown.freenode.net irc.freenode.net]
slashvar1lri] has quit [brown.freenode.net irc.freenode.net]
araujo has quit [brown.freenode.net irc.freenode.net]
mauke has quit [brown.freenode.net irc.freenode.net]
sieni has quit [brown.freenode.net irc.freenode.net]
johs has quit [brown.freenode.net irc.freenode.net]
calvin_ has quit [brown.freenode.net irc.freenode.net]
shrimpx has quit [brown.freenode.net irc.freenode.net]
Hadaka has quit [brown.freenode.net irc.freenode.net]
Hipo has quit [brown.freenode.net irc.freenode.net]
mflux_ has quit [brown.freenode.net irc.freenode.net]
vodka-goo has quit [brown.freenode.net irc.freenode.net]
joo_ has quit [brown.freenode.net irc.freenode.net]
mellum__ has quit [brown.freenode.net irc.freenode.net]
pattern_ has quit [brown.freenode.net irc.freenode.net]
Nutssh has quit [brown.freenode.net irc.freenode.net]
Aradorn has quit [brown.freenode.net irc.freenode.net]
_shawn has quit [brown.freenode.net irc.freenode.net]
mattam has quit [brown.freenode.net irc.freenode.net]
det has quit [brown.freenode.net irc.freenode.net]
Banana has quit [brown.freenode.net irc.freenode.net]
cmeme has quit [brown.freenode.net irc.freenode.net]
shawn_ has joined #ocaml
Herrchen_ has joined #ocaml
ditschi_ has joined #ocaml
Nutssh has joined #ocaml
Sonarman has joined #ocaml
araujo has joined #ocaml
vodka-goo has joined #ocaml
pango has joined #ocaml
mauke has joined #ocaml
MrX_ has joined #ocaml
Aradorn has joined #ocaml
erg has joined #ocaml
_shawn has joined #ocaml
a-priori has joined #ocaml
mattam has joined #ocaml
mellum__ has joined #ocaml
det has joined #ocaml
sieni has joined #ocaml
TaXules has joined #ocaml
rossberg has joined #ocaml
pattern_ has joined #ocaml
Banana has joined #ocaml
dan2 has joined #ocaml
noj has joined #ocaml
slashvar1lri] has joined #ocaml
johs has joined #ocaml
calvin_ has joined #ocaml
shrimpx has joined #ocaml
cmeme has joined #ocaml
Hadaka has joined #ocaml
mflux_ has joined #ocaml
Hipo has joined #ocaml
joo_ has joined #ocaml
m3ga has joined #ocaml
ditschi_ has quit [brown.freenode.net irc.freenode.net]
Herrchen_ has quit [brown.freenode.net irc.freenode.net]
MrX_ has quit [brown.freenode.net irc.freenode.net]
erg has quit [brown.freenode.net irc.freenode.net]
rossberg has quit [brown.freenode.net irc.freenode.net]
dan2 has quit [brown.freenode.net irc.freenode.net]
Sonarman has quit [brown.freenode.net irc.freenode.net]
TaXules has quit [brown.freenode.net irc.freenode.net]
a-priori has quit [brown.freenode.net irc.freenode.net]
pango has quit [brown.freenode.net irc.freenode.net]
noj has quit [brown.freenode.net irc.freenode.net]
slashvar1lri] has quit [brown.freenode.net irc.freenode.net]
Hadaka has quit [brown.freenode.net irc.freenode.net]
johs has quit [brown.freenode.net irc.freenode.net]
calvin_ has quit [brown.freenode.net irc.freenode.net]
sieni has quit [brown.freenode.net irc.freenode.net]
mauke has quit [brown.freenode.net irc.freenode.net]
Hipo has quit [brown.freenode.net irc.freenode.net]
shrimpx has quit [brown.freenode.net irc.freenode.net]
araujo has quit [brown.freenode.net irc.freenode.net]
mflux_ has quit [brown.freenode.net irc.freenode.net]
joo_ has quit [brown.freenode.net irc.freenode.net]
vodka-goo has quit [brown.freenode.net irc.freenode.net]
shawn_ has quit [brown.freenode.net irc.freenode.net]
m3ga has quit [brown.freenode.net irc.freenode.net]
mellum__ has quit [brown.freenode.net irc.freenode.net]
pattern_ has quit [brown.freenode.net irc.freenode.net]
Banana has quit [brown.freenode.net irc.freenode.net]
Nutssh has quit [brown.freenode.net irc.freenode.net]
mattam has quit [brown.freenode.net irc.freenode.net]
_shawn has quit [brown.freenode.net irc.freenode.net]
cmeme has quit [brown.freenode.net irc.freenode.net]
det has quit [brown.freenode.net irc.freenode.net]
Aradorn has quit [brown.freenode.net irc.freenode.net]
m3ga has joined #ocaml
shawn_ has joined #ocaml
Herrchen_ has joined #ocaml
ditschi_ has joined #ocaml
Nutssh has joined #ocaml
Sonarman has joined #ocaml
araujo has joined #ocaml
vodka-goo has joined #ocaml
pango has joined #ocaml
mauke has joined #ocaml
MrX_ has joined #ocaml
Aradorn has joined #ocaml
erg has joined #ocaml
_shawn has joined #ocaml
a-priori has joined #ocaml
mattam has joined #ocaml
mellum__ has joined #ocaml
det has joined #ocaml
sieni has joined #ocaml
TaXules has joined #ocaml
rossberg has joined #ocaml
pattern_ has joined #ocaml
Banana has joined #ocaml
joo_ has joined #ocaml
Hipo has joined #ocaml
mflux_ has joined #ocaml
Hadaka has joined #ocaml
cmeme has joined #ocaml
shrimpx has joined #ocaml
calvin_ has joined #ocaml
johs has joined #ocaml
slashvar1lri] has joined #ocaml
noj has joined #ocaml
dan2 has joined #ocaml
_shawn has quit [Connection timed out]
m3ga has quit ["disappearing into the sunset"]
Aradorn has quit [Read error: 104 (Connection reset by peer)]
_shawn has joined #ocaml
shawn_ has quit [Read error: 110 (Connection timed out)]
mlh_ has joined #ocaml
shawn_ has joined #ocaml
_shawn has quit [Read error: 110 (Connection timed out)]
Sonarman_ has joined #ocaml
Sonarman has quit [Read error: 60 (Operation timed out)]
Snark has joined #ocaml
mlh_ has quit [Client Quit]
_JusSx_ has joined #ocaml
Tachyon76 has joined #ocaml
Tachyon76 has quit ["Leaving"]
maml has joined #ocaml
_JusSx__ has joined #ocaml
_JusSx_ has quit [Read error: 110 (Connection timed out)]
Skal has joined #ocaml
gim has joined #ocaml
cognominal has joined #ocaml
vezenchio has joined #ocaml
Saulzar has joined #ocaml
<Saulzar>
Hmm - I have a small question... I've a small function where I read some lines from a file - If I declare an inner function (a closure on that in_channel) eg. let input = ... let input_loop = input_line input ... in input_loop, then it goes into an infinite loop reading the same line over and over - why is this?
<Saulzar>
But if I pass around the channel then it works fine.
<Saulzar>
The closure over the in_channel is copied each time the function is called, thus constant?
<Snark>
your function calls itself?
<Snark>
ah, yes
<Snark>
if you have set that the line = <what you have read>, then line always has the same value
<Saulzar>
I'll make a small example...
<Snark>
you should define line () = <whatever>, then each 'call' will yield a different value
<Saulzar>
Ohh
<Saulzar>
That's what's going on :)
<Snark>
yes
<Snark>
:-)
<Saulzar>
What is it doing otherwise? Runs it 'immediately' and assigns the result to a value?
Saulzar_ has joined #ocaml
<ditschi_>
re
Saulzar has quit [Nick collision from services.]
Saulzar_ is now known as Saulzar
<ditschi_>
some,question: How did I get this nick?
<ditschi_>
irssi is strange
ditschi_ is now known as ulfdoz
_JusSx_ has joined #ocaml
Saulzar has left #ocaml []
_JusSx__ has quit [Read error: 110 (Connection timed out)]
_JusSx_ has quit ["leaving"]
_JusSx_ has joined #ocaml
a-priori has quit [Remote closed the connection]
bk_ has joined #ocaml
dvanhorn has joined #ocaml
dvanhorn has quit ["ChatZilla 0.9.61 [Mozilla rv:1.7.8/20050513]"]
Gueben has joined #ocaml
dvanhorn has joined #ocaml
Demitar has quit [Connection timed out]
Gueben has quit ["plouf"]
_JusSx_ has quit [Read error: 110 (Connection timed out)]
vodka-goo has quit [Read error: 104 (Connection reset by peer)]
pango_ has joined #ocaml
Smerdyakov has joined #ocaml
pango has quit [Read error: 110 (Connection timed out)]
MrX_ has quit []
Gueben has joined #ocaml
Smerdyakov has quit [Read error: 54 (Connection reset by peer)]
Nutssh has quit ["Client exiting"]
dvanhorn has quit ["ChatZilla 0.9.61 [Mozilla rv:1.7.8/20050513]"]
Sonarman_ has quit [Read error: 104 (Connection reset by peer)]
er has joined #ocaml
<er>
hi. for some reason, the "use" directive doesn't seem to work in the toplevel system for ocaml
<er>
for me.
<er>
"unbound value use"
<er>
yeesh. directives begin with a #. thought that was the prompt.
cognominal_ has joined #ocaml
cognominal has quit [Read error: 110 (Connection timed out)]
mauke has quit [Remote closed the connection]
Demitar has joined #ocaml
Msandin has joined #ocaml
whee has joined #ocaml
<Snark>
[> `Presencing | `Renaming ] as 'b --> 'b is unbound
<Snark>
grmph
vodka-goo has joined #ocaml
er has quit [Read error: 110 (Connection timed out)]
Yorick has joined #ocaml
mauke has joined #ocaml
<mflux_>
hmm
<mflux_>
why 'b and not b?
<mflux_>
that's part of a function type declaration right?
<Demitar>
mflux_, 'b is what the compiler has inferred/assigned (this is from the compiler warning/error output).
vodka-goo has quit [Read error: 60 (Operation timed out)]
<mflux_>
oh
<Snark>
yes
<Snark>
I'm trying to do something that I'm not even sure should work
<Snark>
I have objects raising events
<Snark>
and when inheriting, I would like to extend the available events
<Demitar>
What's the entire error?
<Snark>
Demitar: basically it doesn't want me to use [> `FOO | `BAR] types in a class definition
<Demitar>
Is the > the problem you think?
<Snark>
yes
<Snark>
it means the type is more or less open
<Demitar>
Have you solved it or are you still looking.
<Snark>
still wondering how I could get around it
<Snark>
in lablgtk2, message_dialog don't give the same result depending on which buttons you've put in...
<Snark>
the class GWindow.dialog_skel has method response : ([> `DELETE_EVENT ] as 'b) -> unit
<Snark>
so it should be possible to do the same...
<Snark>
hmmm... the big difference is that the imprecision in typing is going _out_ of the class, while what I want is going _into_ the class
<Snark>
I really need to think it more thoroughly
<Snark>
it just sucks as is
<Snark>
good night
Snark has left #ocaml []
vodka-goo has joined #ocaml
Yorick has quit ["Leaving"]
er has joined #ocaml
<er>
how does one get a Stream.t connected to STDIN?
dan2 has quit ["Leaving"]
<Demitar>
val of_channel : in_channel -> char t
<Demitar>
Return the stream of the characters read from the input channel.
Msandin has quit [Read error: 54 (Connection reset by peer)]
<er>
ok thanks.
dan2 has joined #ocaml
vodka-goo has quit [Read error: 60 (Operation timed out)]