<
mrvn>
Got one, it's called Java VM[tm].
* araujo
would like to do a summer intership of O'caml
thou has joined #ocaml
<
shrimpx>
sounds cool
angagon has joined #ocaml
mlh has joined #ocaml
cjohnson has joined #ocaml
rt_ has joined #ocaml
rt_ has quit [Client Quit]
rt has joined #ocaml
thou has left #ocaml []
cjohnson has quit [Remote closed the connection]
b00t has joined #ocaml
ulfdoz_ has joined #ocaml
ulfdoz has quit [Read error: 145 (Connection timed out)]
Submarine has joined #ocaml
Nutssh has joined #ocaml
Herrchen has joined #ocaml
pango_ has quit [Remote closed the connection]
vodka-goo has joined #ocaml
araujo has quit ["Programs must be written for people to read, and only incidentally for machines to execute"]
Submarine has quit ["Leaving"]
__DL__ has joined #ocaml
Submarine has joined #ocaml
bk_ has joined #ocaml
vodka-goo has quit []
vodka-goo has joined #ocaml
smimou has joined #ocaml
Submarine has quit ["Leaving"]
mlh has quit [Client Quit]
b00t has quit [Remote closed the connection]
araujo has joined #ocaml
_fab has joined #ocaml
Nutssh has quit ["Client exiting"]
Snark has joined #ocaml
slashvar[lri] has joined #ocaml
<
slashvar[lri]>
Hi there
vezenchio has joined #ocaml
shawn_ has joined #ocaml
mlh has joined #ocaml
mrvn_ has joined #ocaml
mrvn has quit [Read error: 110 (Connection timed out)]
pango has joined #ocaml
bk_ has quit ["Leaving IRC - dircproxy 1.1.0"]
shawn_ has quit [Read error: 104 (Connection reset by peer)]
bk_ has joined #ocaml
mlh has quit [Client Quit]
vodka-goo has quit []
cjohnson has joined #ocaml
Gueben has joined #ocaml
araujo has quit ["Programs must be written for people to read, and only incidentally for machines to execute"]
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]
vezenchio has joined #ocaml
vezenchio has quit [Client Quit]
vezenchio has joined #ocaml
mrvn has joined #ocaml
mrvn_ has quit [Read error: 110 (Connection timed out)]
vodka-goo has joined #ocaml
allced has joined #ocaml
<
allced>
I want to use the type num
<
allced>
and I want to overload arith, like it explains in the document about this arithmetic
<
allced>
but #arith overloading;; doesn't work
<
mrvn>
# let (+) = (-);;
<
mrvn>
val ( + ) : int -> int -> int = <fun>
<
allced>
in fact, I want use + for the integers, floats, ratio ...
<
mrvn>
each function can only have exactly one type. No overloading.
<
allced>
but I see that in "The CAML numbers reference manual" :(
<
mrvn>
Sorry, I'm not familiar with that. But they must have some meta type that combines all of them.
<
mrvn>
something like type num = Int of int | Float of float | Ratio of int*int
Lez has joined #ocaml
allced has quit ["using sirc version 2.211+KSIRC/1.3.9"]
_JusSx_ has joined #ocaml
<
pango>
that looks like gcaml, rather than ocaml...
pango_ has joined #ocaml
Lez has left #ocaml []
pango has quit [Read error: 110 (Connection timed out)]
cjohnson has quit [Connection timed out]
cjohnson has joined #ocaml
Submarine has joined #ocaml
p has quit ["it's all over"]
Msandin has joined #ocaml
<
_JusSx_>
hey how can i run ocaml toplevel from emacs with tuareg mode? which keybind?
<
_JusSx_>
thanx i found
bk_ has quit ["Leaving IRC - dircproxy 1.1.0"]
Msandin has quit [Read error: 113 (No route to host)]
araujo has joined #ocaml
cjohnson has quit [Read error: 110 (Connection timed out)]
cjohnson has joined #ocaml
Herrchen has quit ["bye"]
monochrom has joined #ocaml
_fab has quit [Remote closed the connection]
cjohnson has quit [Connection timed out]
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]
angagon has joined #ocaml
Submarine has quit [Remote closed the connection]
Snark has quit ["Leaving"]
cjohnson has quit [Read error: 110 (Connection timed out)]
cjohnson has joined #ocaml
pango__ has joined #ocaml
_JusSx_ has quit ["Lost terminal"]
pango_ has quit [Read error: 110 (Connection timed out)]
__DL__ has quit [Remote closed the connection]
monochrom has quit ["me!"]
mlh has joined #ocaml