vezenchio has quit ["I thought what I'd do was, I'd pretend I was one of those deaf-mutes ^_^"]
Tachyon76 has quit [Client Quit]
det has quit [orwell.freenode.net irc.freenode.net]
Riastradh has quit [orwell.freenode.net irc.freenode.net]
Bols has quit [orwell.freenode.net irc.freenode.net]
GreyLensman has quit ["Leaving"]
det has joined #ocaml
Riastradh has joined #ocaml
Bols has joined #ocaml
palomer has quit [Remote closed the connection]
Lemmih has quit ["Leaving"]
mrsolo has joined #ocaml
bk_ has quit ["Leaving IRC - dircproxy 1.1.0"]
dobrek has joined #ocaml
progato has left #ocaml []
phinely has joined #ocaml
smimou has joined #ocaml
phinely_ has joined #ocaml
<phinely_>
Hi everyone. Is anyone familiar with the adjectives "flushable" and "movable"? (In context of compiler optimizations for calling a function.) CMU Common Lisp uses them internally at least. Flushable basically means side-effect free, but I'm looking for detailed info about them... especially in the context of an optimizing compiler for an object-oriented language.
<phinely_>
If anyone could direct me to any links, I'd appreciate it.
<Nutssh>
Dunno
phinely has quit [Read error: 110 (Connection timed out)]
ita|away[home] is now known as ita
<Nutssh>
Anyone know where the changes file for 3.07 ---> 3.08 is? ocaml.org hasn't been updated.
<ita>
Nutssh: i am also interested :)
<smimou>
the changelog is in the tarball with the source code
<smimou>
(and BTW ocaml.org hasn't been updated for ages, you'd better have a look at caml.inria.fr)
<Nutssh>
Yeah, I did.. The closest I found was to browse the CVS repository and read the Changes file out of there.
Lemmih has joined #ocaml
Nutssh has left #ocaml []
Iter has joined #ocaml
Iter is now known as shammahs
ionOSu has quit ["Leaving"]
phinely_ has quit [Read error: 110 (Connection timed out)]
lam_ is now known as lam
cjohnson has joined #ocaml
vezenchio has joined #ocaml
shammahs has quit [Read error: 110 (Connection timed out)]
Xolution has joined #ocaml
cjohnson has quit [Read error: 110 (Connection timed out)]
shammahs has joined #ocaml
Lemmih has quit ["Leaving"]
ndara_ has joined #ocaml
ndara has quit [Read error: 110 (Connection timed out)]
shammahs has quit [Read error: 110 (Connection timed out)]
monochrom has quit ["Don't talk to those who talk to themselves."]
maihem has joined #ocaml
CosmicRay has joined #ocaml
sysfault has joined #ocaml
sysfault has left #ocaml []
maihem has quit ["Read error: 54 (Connection reset by chocolate)"]
<mflux>
hmm.. syntaxes 10, 0x10 and 10l are valid, but 0x10l isn't?
<det>
sure it is
<mflux>
hm, it is
<mflux>
I write ~rmask:(0x10l) and it fails, yet ~rmask:(Int32.of_int 0x10) doesn't
<mflux>
perhaps the problem is somewhere else but I can't pinpoint it :)
<mflux>
duh, I had blindly copied a preprocessing directive to the makefile
vidvandre has joined #ocaml
phinely_ has joined #ocaml
phinely_ has quit [Client Quit]
palomer has joined #ocaml
<palomer>
is there a reason why there isn't function overloading in ocaml?
<palomer>
it seems like a pretty trivial thing
<Riastradh>
Then implement it.
<CosmicRay>
why would one need function overloading?
<palomer>
makes life easier
Walnutssh has joined #ocaml
<pnou>
palomer: take a look at gcaml
<palomer>
oooh, looks fun
<palomer>
it seems that gcaml never took off
<mellum>
Most people probably don't find overloading useful enough
gim has joined #ocaml
<Riastradh>
See, palomer, if you want these sorts of things, you have to: 1. present a convincing case for the usefulness; 2. present a convincing case for the semantic feasibility; 3. implement it. Just saying 'I want it and it's trivial!' and waving your hands about won't do anything.
<mflux>
after 3. the two others should be much easier ;)
Smerdyakov has quit ["Client exiting"]
Smerdyakov has joined #ocaml
gim has quit [orwell.freenode.net irc.freenode.net]
ndara_ has quit [orwell.freenode.net irc.freenode.net]
gzl has quit [orwell.freenode.net irc.freenode.net]
gzl has joined #ocaml
bk_ has joined #ocaml
gim has joined #ocaml
ndara_ has joined #ocaml
ndara has joined #ocaml
gim has quit [Connection timed out]
gim has joined #ocaml
ndara_ has quit [Read error: 110 (Connection timed out)]
<ronwalf>
Isn't most of the generics stuff taken care of by the module system?
* ronwalf
could be totally whacked
Xolution has quit [Read error: 104 (Connection reset by peer)]
cjohnson has joined #ocaml
Walnutssh has left #ocaml []
vidvandre has quit []
CosmicRay has quit ["Client exiting"]
det has quit [orwell.freenode.net irc.freenode.net]
Riastradh has quit [orwell.freenode.net irc.freenode.net]
Bols has quit [orwell.freenode.net irc.freenode.net]
cjohnson has quit [orwell.freenode.net irc.freenode.net]
_fab has quit [orwell.freenode.net irc.freenode.net]
gzl has quit [orwell.freenode.net irc.freenode.net]
mrsolo has quit [orwell.freenode.net irc.freenode.net]
Hadaka has quit [orwell.freenode.net irc.freenode.net]
gim has quit [orwell.freenode.net irc.freenode.net]
Smerdyakov has quit [orwell.freenode.net irc.freenode.net]
vezenchio has quit [orwell.freenode.net irc.freenode.net]
smimou has quit [orwell.freenode.net irc.freenode.net]
kuz has quit [orwell.freenode.net irc.freenode.net]
mellum has quit [orwell.freenode.net irc.freenode.net]
ronwalf has quit [orwell.freenode.net irc.freenode.net]
ndara has quit [orwell.freenode.net irc.freenode.net]
lam has quit [orwell.freenode.net irc.freenode.net]
cmeme has quit [orwell.freenode.net irc.freenode.net]
gl has quit [orwell.freenode.net irc.freenode.net]
jlouis has quit [orwell.freenode.net irc.freenode.net]
bk_ has quit [orwell.freenode.net irc.freenode.net]
dobrek has quit [orwell.freenode.net irc.freenode.net]
palomer has quit [orwell.freenode.net irc.freenode.net]
shawn_ has quit [orwell.freenode.net irc.freenode.net]
ita has quit [orwell.freenode.net irc.freenode.net]
pnou has quit [orwell.freenode.net irc.freenode.net]
avn has quit [orwell.freenode.net irc.freenode.net]
Hipo has quit [orwell.freenode.net irc.freenode.net]
slashvar[lri] has quit [orwell.freenode.net irc.freenode.net]
jourdechance has quit [orwell.freenode.net irc.freenode.net]