smimou changed the topic of #ocaml to: OCaml 3.08.3 available! | Archive of Caml Weekly News: http://sardes.inrialpes.fr/~aschmitt/cwn/ | A free book: http://cristal.inria.fr/~remy/cours/appsem/ | Mailing List: http://caml.inria.fr/bin/wilma/caml-list/ | Cookbook: http://pleac.sourceforge.net/
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]
CosmicRay has joined #ocaml
dan2 has quit [Excess Flood]
dan2 has joined #ocaml
dan2 has quit [Excess Flood]
dan2 has joined #ocaml
humasect has joined #ocaml
Sonarman has joined #ocaml
dan2 has quit [Remote closed the connection]
CosmicRay has quit ["Leaving"]
Sonarman_ has joined #ocaml
Sonarman has quit [Read error: 104 (Connection reset by peer)]
Sonarman has joined #ocaml
Sonarman_ has quit [Read error: 145 (Connection timed out)]
cjohnson has quit [""We live like penguins in the desert...""]
tintin has joined #ocaml
humasect has quit ["Leaving.."]
solarwind has quit ["leaving"]
Sonarman has quit ["leaving"]
solarwind has joined #ocaml
solarwind has quit [sterling.freenode.net irc.freenode.net]
gim has quit [sterling.freenode.net irc.freenode.net]
cmeme has quit [sterling.freenode.net irc.freenode.net]
joeytwiddle has quit [sterling.freenode.net irc.freenode.net]
skylan has quit [sterling.freenode.net irc.freenode.net]
TeXitoi has quit [sterling.freenode.net irc.freenode.net]
Submarine has quit [sterling.freenode.net irc.freenode.net]
shawn_ has quit [sterling.freenode.net irc.freenode.net]
j_n has quit [sterling.freenode.net irc.freenode.net]
mauke has quit [sterling.freenode.net irc.freenode.net]
mellum has quit [sterling.freenode.net irc.freenode.net]
det has quit [sterling.freenode.net irc.freenode.net]
rossberg has quit [sterling.freenode.net irc.freenode.net]
tintin has quit [sterling.freenode.net irc.freenode.net]
mflux_ has quit [sterling.freenode.net irc.freenode.net]
Dibrom has quit [sterling.freenode.net irc.freenode.net]
CLxyz has quit [sterling.freenode.net irc.freenode.net]
vincenz has quit [sterling.freenode.net irc.freenode.net]
senko has quit [sterling.freenode.net irc.freenode.net]
Hadaka has quit [sterling.freenode.net irc.freenode.net]
noj has quit [sterling.freenode.net irc.freenode.net]
shrimpx has quit [sterling.freenode.net irc.freenode.net]
calvin_ has quit [sterling.freenode.net irc.freenode.net]
cognominal has quit [sterling.freenode.net irc.freenode.net]
mattam has quit [sterling.freenode.net irc.freenode.net]
haakonn__ has quit [sterling.freenode.net irc.freenode.net]
solarwind has joined #ocaml
tintin has joined #ocaml
gim has joined #ocaml
Dibrom has joined #ocaml
TeXitoi has joined #ocaml
mflux_ has joined #ocaml
haakonn__ has joined #ocaml
Submarine has joined #ocaml
shawn_ has joined #ocaml
cmeme has joined #ocaml
joeytwiddle has joined #ocaml
skylan has joined #ocaml
mellum has joined #ocaml
j_n has joined #ocaml
det has joined #ocaml
mauke has joined #ocaml
rossberg has joined #ocaml
noj has joined #ocaml
calvin_ has joined #ocaml
shrimpx has joined #ocaml
CLxyz has joined #ocaml
vincenz has joined #ocaml
mattam has joined #ocaml
cognominal has joined #ocaml
Hadaka has joined #ocaml
senko has joined #ocaml
Dibrom has quit [sterling.freenode.net irc.freenode.net]
senko has quit [sterling.freenode.net irc.freenode.net]
vincenz has quit [sterling.freenode.net irc.freenode.net]
CLxyz has quit [sterling.freenode.net irc.freenode.net]
Dibrom has joined #ocaml
senko has joined #ocaml
vincenz has joined #ocaml
CLxyz has joined #ocaml
Dibrom has quit [Remote closed the connection]
vincenz has quit [sterling.freenode.net irc.freenode.net]
CLxyz has quit [sterling.freenode.net irc.freenode.net]
senko has quit [sterling.freenode.net irc.freenode.net]
senko has joined #ocaml
vincenz has joined #ocaml
CLxyz has joined #ocaml
CLxyz has quit [Remote closed the connection]
vincenz has quit [Killed by ballard.freenode.net (Nick collision)]
vincenz has joined #ocaml
vincenz has quit [sterling.freenode.net irc.freenode.net]
senko has quit [sterling.freenode.net irc.freenode.net]
CLxyz has joined #ocaml
Herrchen has joined #ocaml
tintin has quit [sterling.freenode.net irc.freenode.net]
mflux_ has quit [sterling.freenode.net irc.freenode.net]
Hadaka has quit [sterling.freenode.net irc.freenode.net]
shrimpx has quit [sterling.freenode.net irc.freenode.net]
calvin_ has quit [sterling.freenode.net irc.freenode.net]
cognominal has quit [sterling.freenode.net irc.freenode.net]
noj has quit [sterling.freenode.net irc.freenode.net]
mattam has quit [sterling.freenode.net irc.freenode.net]
haakonn__ has quit [sterling.freenode.net irc.freenode.net]
vincenz has joined #ocaml
senko has joined #ocaml
tintin has joined #ocaml
mflux_ has joined #ocaml
haakonn__ has joined #ocaml
Hadaka has joined #ocaml
cognominal has joined #ocaml
mattam has joined #ocaml
shrimpx has joined #ocaml
calvin_ has joined #ocaml
noj has joined #ocaml
tintin has quit [sterling.freenode.net irc.freenode.net]
mflux_ has quit [sterling.freenode.net irc.freenode.net]
Hadaka has quit [sterling.freenode.net irc.freenode.net]
noj has quit [sterling.freenode.net irc.freenode.net]
shrimpx has quit [sterling.freenode.net irc.freenode.net]
calvin_ has quit [sterling.freenode.net irc.freenode.net]
cognominal has quit [sterling.freenode.net irc.freenode.net]
mattam has quit [sterling.freenode.net irc.freenode.net]
haakonn__ has quit [sterling.freenode.net irc.freenode.net]
pango has quit [Remote closed the connection]
tintin has joined #ocaml
Hadaka has joined #ocaml
cognominal has joined #ocaml
mattam has joined #ocaml
noj has joined #ocaml
calvin_ has joined #ocaml
shrimpx has joined #ocaml
mflux_ has joined #ocaml
haakonn__ has joined #ocaml
Snark has joined #ocaml
Submarine has quit ["Leaving"]
tintin has quit [Remote closed the connection]
tintin has joined #ocaml
karryall has joined #ocaml
Submarine has joined #ocaml
<solarwind> Is there any way one can discover the name associated with a function (I guess this is called introspection)?
<Submarine> mmmh
<Submarine> ocaml doesn't compile with gcc 4.0 beta
<karryall> Submarine: oh? what's wrong ?
<Submarine> bng_ia32.c: In function ‘bng_ia32_mult_add_digit’:
<Submarine> bng_ia32.c:111: error: can't find a register in class ‘GENERAL_REGS’ while reloading ‘asm’
<Submarine> I should pressure Xavier to get rid of the compulsory compiling of the "Num" library.
<Submarine> Few people use it and it tends to break on architectures/compilers it doesn't know.
<mellum> BTW, why doesn't Ocaml just use libgmp?
<karryall> and the code has been throwing warnings for a long time
<Submarine> mellum, there's a GMP interfacing lib available
<karryall> gmp is GPL probably
<Submarine> from yours truly, actually
<karryall> ah no, it appears to be LGPL
haakonn_1 has joined #ocaml
<mellum> So the reason is NIH, or what?
haakonn__ has quit [Read error: 113 (No route to host)]
vodka-goo has joined #ocaml
<mflux_> mellum, gmp would render all generated code using bignums into gpl, no?
<mflux_> which I believe is the case with mlton
<karryall> mflux_: it's LGPL, not GPL
nlv11757_ has joined #ocaml
<nlv11757_> whats so special about int64.zero except that it works on the int64 type
<nlv11757_> would ==0 be the same in principal
<mflux_> ==0L maybe?
<nlv11757_> the reason is because in my haskell program i use Data.Int64 to hold data previously ocaml int64
<nlv11757_> in haskell you dont have that special zero method zo i was wondering if i could just do ==0 unless the ocaml zero does more
<mflux_> I don't think there's anything more to it than what the documentation says, that is, 0
<nlv11757_> :)
<nlv11757_> just checking :P
<mellum> ==0 is not possible, because 0 has the wrong type.
<nlv11757_> i see, what i really meant was comparing it with a 0 of sufficient size
<nlv11757_> == (0 :: Int64)
<nlv11757_> something like that
<mellum> That's a syntax error.
<karryall> nlv11757_: 0L
<nlv11757_> that was haskell
<nlv11757_> :)
<mellum> nlv11757_: "a 0 of sufficient size" isn't really clear enough.
<nlv11757_> a 0 of the right type then
<mellum> You mean like Int64.zero? Then yes, comparing to Int64.zero is just like comparing to Int64.zero.
<nlv11757_> i dont think we speak the same language
smimou has joined #ocaml
CosmicRay has joined #ocaml
CosmicRay has left #ocaml []
Herrchen has quit ["bye"]
Snark has quit [Read error: 110 (Connection timed out)]
vezenchio has joined #ocaml
cjohnson has joined #ocaml
Demitar has joined #ocaml
haakonn_ has joined #ocaml
haakonn_1 has quit [Read error: 110 (Connection timed out)]
__DL__ has joined #ocaml
cjohnson has quit [""We live like penguins in the desert...""]
Snark has joined #ocaml
ianxek has joined #ocaml
karryall has quit [Remote closed the connection]
nlv11757_ has left #ocaml []
Demitar has quit [Read error: 110 (Connection timed out)]
gim_ has joined #ocaml
gim has quit [Read error: 110 (Connection timed out)]
_JusSx_ has joined #ocaml
Gueben has joined #ocaml
vodka-goo has quit []
pango has joined #ocaml
Msandin has joined #ocaml
Submarine has quit ["Leaving"]
Demitar has joined #ocaml
_JusSx__ has joined #ocaml
_JusSx_ has quit [Read error: 110 (Connection timed out)]
monochrom has joined #ocaml
cjohnson has joined #ocaml
Submarine has joined #ocaml
vincenz has quit [Read error: 131 (Connection reset by peer)]
vincenz has joined #ocaml
Demitar has quit [Read error: 104 (Connection reset by peer)]
dan2 has joined #ocaml
cognominal has quit [Read error: 60 (Operation timed out)]
Snark has quit ["Leaving"]
cognominal has joined #ocaml
__DL__ has quit [Remote closed the connection]
Msandin has quit [Read error: 104 (Connection reset by peer)]
_JusSx__ has quit ["leaving"]
Gueben has quit ["Leaving"]
ianxek has quit ["Leaving"]
Submarine has quit ["Leaving"]
smimou has quit ["?"]
monochrom has quit ["me!"]
CosmicRay has joined #ocaml
<dan2> CosmicRay: yo
cjohnson has quit [""We live like penguins in the desert...""]
cjohnson has joined #ocaml
cjohnson has quit [Connection reset by peer]
<vincenz> yo
cjohnson has joined #ocaml