bk_ has quit ["Leaving IRC - dircproxy 1.1.0"]
vodka-goo has quit []
smimou has quit ["?"]
cjohnson has quit [Connection timed out]
cjohnson has joined #ocaml
cjohnson has quit [Read error: 110 (Connection timed out)]
cjohnson has joined #ocaml
bzzbzz has joined #ocaml
cjohnson has quit [Read error: 145 (Connection timed out)]
cjohnson has joined #ocaml
cjohnson has quit ["I hate Adelphia."]
mlh has quit [Client Quit]
mlh has joined #ocaml
bzzbzz has quit ["leaving"]
tautologico has joined #ocaml
monochrom has joined #ocaml
ulfdoz_ has joined #ocaml
ulfdoz has quit [Read error: 145 (Connection timed out)]
mlh has quit [Client Quit]
tautologico has quit []
Herrchen has joined #ocaml
Submarine has joined #ocaml
monochrom has quit ["me!"]
pango has quit [Remote closed the connection]
gim has quit ["++"]
vodka-goo has joined #ocaml
b00t has joined #ocaml
vodka-goo has quit [Client Quit]
vodka-goo has joined #ocaml
vodka-goo has quit [Client Quit]
vodka-goo has joined #ocaml
smimou has joined #ocaml
bubba_mobile has joined #ocaml
bubba_mobile has left #ocaml []
b00t has quit [Read error: 131 (Connection reset by peer)]
Submarine has quit ["Leaving"]
Herrchen has quit ["bye"]
Submarine has joined #ocaml
Gueben has joined #ocaml
pango has joined #ocaml
vezenchio has joined #ocaml
Gueben has quit ["plouf"]
b00t|eat has joined #ocaml
_JusSx_ has joined #ocaml
TeXitoi has quit ["Lost terminal"]
cjohnson has joined #ocaml
dodecahedron has quit [Client Quit]
bzzbzz has joined #ocaml
<
araujo>
Good morning.
<
vodka-goo>
where I am, I'd rather say "good afternoon"...
ecraven has joined #ocaml
<
ecraven>
how do i specify more than one expression in the else of an if? if foo > bar then foo else ( do_stuff () ; post_inc bar ) doesn't work :(
<
Submarine>
it does not work?
<
Submarine>
# if false then () else (print_endline "foo" ; print_endline "bar");;
<
ecraven>
Submarine: it doesn't work if i want to
*return* a value from the function
<
Submarine>
yes it does
<
ecraven>
not for me :) i get errors that the last expression has type int, but should have unit
<
Submarine>
# if false then 2 else (3; 5);;
<
Submarine>
Warning: this expression should have type unit.
<
Submarine>
- : int = 5
<
Submarine>
because foo has type unit
bk_ has joined #ocaml
<
ecraven>
why does this not work if 1 < 2 then ('a' ; 2 ; true);; (apart from the warnings about 'a' and 2 not being unit)
<
Submarine>
that's normal
<
Submarine>
there's no "else"
<
Submarine>
thus implicit else ()
<
Submarine>
true is boolean
<
Submarine>
() is unit
<
Submarine>
incompatible
<
Submarine>
both branches of an if must return same type
<
ecraven>
Submarine: thanks, that helps :)
cjohnson has quit [Remote closed the connection]
<
ecraven>
is there a good emacs mode for ocaml? the one that comes with emacs has no highlighting :(
<
Submarine>
use the one coming with ocaml
b00t|eat has quit [Remote closed the connection]
<
ecraven>
tuareg-mode seems nice, no?
cjohnson has joined #ocaml
xcar has joined #ocaml
mrvn_ has joined #ocaml
mrvn has quit [Read error: 60 (Operation timed out)]
xcar has quit ["Client Exiting"]
<
ecraven>
what does this mean?: This expression has type token but is here used with type token
<
ecraven>
The type constructor token would escape its scope
<
vodka-goo>
I like that kind of error messages :)
<
vodka-goo>
don't who have to type token definitions ?
<
vodka-goo>
maybe you're in a ocaml toplevel
<
ecraven>
found it.. redefinition of record
<
vodka-goo>
the message is scary, leads to believing that ocaml is broken, but it's usually not so bad :)
<
ecraven>
it would be nice to have a more helpful one :)
<
vodka-goo>
maybe the compiler could say something better than a <> a, yes
pango has quit ["bbl"]
<
vodka-goo>
well, bye
ecraven has quit ["bbl"]
__DL__ has joined #ocaml
gim has joined #ocaml
Submarine has quit ["Leaving"]
smimram has joined #ocaml
smimou has quit [Read error: 110 (Connection timed out)]
Submarine has joined #ocaml
Herrchen has joined #ocaml
cjohnson has quit [Connection timed out]
cjohnson has joined #ocaml
JInterest has joined #ocaml
JInterest has quit ["Chatzilla 0.9.67 [Firefox 1.0.3/20050414]"]
cjohnson has quit [Connection timed out]
cjohnson has joined #ocaml
cjohnson has quit [Read error: 104 (Connection reset by peer)]
cjohnson_ has joined #ocaml
vezenchio has quit [""Under democracy one party always devotes its chief energies to trying to prove that the other party is unfit to rule—and bot]
cjohnson_ is now known as cjohnson
__DL__ has quit [Remote closed the connection]
Herrchen has quit ["bye"]
Bonedigger has joined #ocaml
Submarine has quit ["Leaving"]
bzzbzz has quit ["leaving"]
vodka-goo has quit []
_JusSx_ has quit ["leaving"]
smimram has quit ["?"]
Smerdyakov has joined #ocaml