lament has joined #ocaml
gehel is now known as gl
Zadeh has quit [Read error: 54 (Connection reset by peer)]
Zadeh has joined #ocaml
mrvn_ has joined #ocaml
mrvn has quit [Read error: 110 (Connection timed out)]
lament has quit ["Did you know that God's name is ERIS, and that He is a girl?"]
<
asqui>
Anyone alive?
<
asqui>
If you have "foo and recurse" as the last line in your recursive function is that tail recursive?
<
asqui>
(on the grounds that if you are recursing then foo is true, and (True AND A) == A)
stepcut has quit []
<
mrvn_>
# let foo x = true;;
<
mrvn_>
val foo : 'a -> bool = <fun>
<
mrvn_>
# let rec bla x = (foo x) && (bla x);;
<
mrvn_>
val bla : 'a -> bool = <fun>
<
mrvn_>
*wait, wait* If it weren't tail recursive the stack would overflow.
lament has joined #ocaml
Kinners has left #ocaml []
mattam_ has quit [Read error: 113 (No route to host)]
lament has quit ["Did you know that God's name is ERIS, and that He is a girl?"]
iusris_ has joined #ocaml
iusris has quit [Read error: 104 (Connection reset by peer)]
rox has quit [leguin.freenode.net irc.freenode.net]
emu has quit [leguin.freenode.net irc.freenode.net]
merriam has quit [leguin.freenode.net irc.freenode.net]
Zadeh has quit [leguin.freenode.net irc.freenode.net]
karryall has quit [leguin.freenode.net irc.freenode.net]
Zadeh has joined #ocaml
karryall has joined #ocaml
iusris_ has quit [leguin.freenode.net irc.freenode.net]
lindril has quit [leguin.freenode.net irc.freenode.net]
emu has joined #ocaml
merriam has joined #ocaml
karryall has quit [Read error: 60 (Operation timed out)]
merriam has quit [leguin.freenode.net irc.freenode.net]
merriam has joined #ocaml
merriam has quit [leguin.freenode.net irc.freenode.net]
merriam has joined #ocaml
merriam has quit [leguin.freenode.net irc.freenode.net]
merriam has joined #ocaml
rox has joined #ocaml
merriam has quit [leguin.freenode.net irc.freenode.net]
merriam has joined #ocaml
lam has quit ["Lost terminal"]
merriam has quit [leguin.freenode.net irc.freenode.net]
merriam has joined #ocaml
lindril has joined #ocaml
steele has quit [Remote closed the connection]
iusris has joined #ocaml
rox has quit [No route to host]
mattam has joined #ocaml
whee has quit ["Leaving"]
iusris is now known as iusris_sleep
merriam has quit [leguin.freenode.net irc.freenode.net]
merriam has joined #ocaml
merriam has quit [leguin.freenode.net irc.freenode.net]
merriam has joined #ocaml
gene9 has joined #ocaml
merriam has quit [leguin.freenode.net irc.freenode.net]
merriam has joined #ocaml
gene9 has quit [Read error: 60 (Operation timed out)]
lament has joined #ocaml
asqui has quit [Read error: 110 (Connection timed out)]
asqui has joined #ocaml
Zadeh_ has joined #ocaml
asquii has joined #ocaml
asqui has quit [leguin.freenode.net irc.freenode.net]
iusris_sleep has quit [leguin.freenode.net irc.freenode.net]
Zadeh has quit [leguin.freenode.net irc.freenode.net]
asquii is now known as asqui
iusris_sleep has joined #ocaml
mattam_ has joined #ocaml
mattam has quit [Read error: 110 (Connection timed out)]
Blackmore has joined #ocaml
<
Blackmore>
i have problems writing a parser in ocaml
<
Blackmore>
# let next s = match s with parser [< 'x >] -> x;;
<
Blackmore>
Syntax error
<
Blackmore>
[< is highlited
<
Blackmore>
any idea ?
rox has joined #ocaml
Torquemada has quit [Remote closed the connection]
Torquemada has joined #ocaml
lament has quit ["kernel."]
whee has joined #ocaml
lament has joined #ocaml
lament has quit ["Did you know that God's name is ERIS, and that He is a girl?"]
lament has joined #ocaml
polin8 has quit [Read error: 113 (No route to host)]
steele has joined #ocaml
<
asqui>
Whats the difference between "raise" and "failwith"? Is failwith untrappable or something?
<
steele>
pervasives.ml:let failwith s = raise(Failure s)
<
steele>
it just raises an exception of type Failure of string
<
whee>
I typically use failwith on things I can't possibly deal with
<
asqui>
raise takes an exception whereas failwith takes a string..
<
asqui>
Is failwith trappable though?
<
steele>
it is, like every other exception
<
asqui>
Yeah, I'm just being an eejit
Kinners has joined #ocaml
two-face has joined #ocaml
two-face has left #ocaml []
Zadeh has joined #ocaml
Zadeh_ has quit [Read error: 104 (Connection reset by peer)]
lament has quit ["Did you know that God's name is ERIS, and that He is a girl?"]
iusris_sleep is now known as iusris
Kinners has left #ocaml []