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>
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_>
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
<
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]
cjohnson has joined #ocaml