mfurr changed the topic of #ocaml to: OCaml 3.08.2 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/
<creichen> Nutssh: Entire function definitions that are deemed inline-worthy?
<Nutssh> I believe so, yes.
<creichen> OK... guessing from some online mail archives and parts of the sources, it seems that function bodies that don't use "let rec", don't set globals, and don't contain "Uclosure" values (not sure what that is... "anonymous" function values, perhaps) can have their bodies contained in cmx files for inlining purposes.
<creichen> Nutssh: Thanks for the reference to inlining!
<Nutssh> No problem.
Naked has joined #ocaml
Naked is now known as Hadaka
smimou has quit ["?"]
kinners has quit ["leaving"]
Zaius has quit ["Miranda IM! Smaller, Faster, Easier. http://miranda-im.org"]
smkl has quit [Read error: 60 (Operation timed out)]
tautologico has joined #ocaml
jinterest has joined #ocaml
smkl has joined #ocaml
jinterest has left #ocaml []
<Smerdyakov> creichen, if you care about optimization, you shouldn't be using OCaml. :-)
<Nutssh> Do you advocate C++ and the STL? :)
<KrispyKringle> Smerdyakov: why not? it's faster than many alternatives.
<Smerdyakov> MLton, of course.
<Smerdyakov> I would sure like to see some large whole-project benchmarks of OCaml vs. MLton.
<Nutssh> I'd probably give mlton a victory in any real program. Ocaml is a non-optimizing compiler.
<Smerdyakov> The idea is to quantify the difference.
<KrispyKringle> granted, the shootout.alioth stats are pretty meaningless.
<KrispyKringle> but compared to, say, haskell, i think there's a clear winner :P
<Nutssh> That'd be really hard to quantify and probably very application dependent.
<Smerdyakov> I'd be surprised to see OCaml winning with a significant margin for any application.
<creichen> Smerdyakov: You definitely have a point with MLton, but it seems to me that what it does is whole-program optimisation, which hardly leaves it as a "fair" contender to, say, plain old C.
<Smerdyakov> creichen, I don't understand the relevance of that.
<KrispyKringle> well, really tiny benchmarks here: http://shootout.alioth.debian.org/, but like i said, they're pretty worthless.
<Nutssh> I've conjectured that the modern systems can support such high ILP, that the extra computations in ocaml don't degrade it much.
<Riastradh> OCaml performs hardly _any_ optimization, however: no closure conversion, no loop optimization, &c.
<creichen> Smerdyakov: Well, if you wanted to compile a large program, it wouldn't neccessarily fit into memory. You'll need to spend a lot of time compiling in any case. Unless MLton also supports non-globally optimised compilation somehow, you have to recompile everything for each tiny little change you make.
<Riastradh> creichen, so don't develop your program with MLton, but build the final product with it.
<KrispyKringle> Smerdyakov: compiled ocaml binaries seem to be fairly fast, from a subjective standpoint. certainly simply that it has a native code compiler is an edge over the large chunk of interpreted languages, i'd assume.
<creichen> (Admittedly, if you stick to plain ML, you could use PolyML or SML/NJ or any other SML implementation for development and only use MLton for the final release.)
<Smerdyakov> creichen, MLton will have such a mode within the next few years.
<creichen> Sounds good, but, as Riastradh pointed out, it may not really be required.
<Smerdyakov> It is. MLton is much better maintained than any other SML compiler, if nothing else.
<Smerdyakov> It's no good to use those others that don't even have up-to-date Debian packages in testing.
<creichen> Though I'm curious as to whether something like Isabelle could be compiled in MLton on my little machine... I guess I'll have to try that one of these days.
<creichen> Huh, you're right... there actually is a Debian package for it :-)
<creichen> Only for IA32, though... :-/
<tautologico> self-compiling mlton requires 512 mb
<creichen> Smerdyakov: Looks like there's a PPC/OS X port... do you happen to know anything about Linux/PPC support?
<Riastradh> creichen, you could ask sweeks in #sml.
<Smerdyakov> No.
monochrom has joined #ocaml
humasect has quit [Read error: 110 (Connection timed out)]
smkl has quit [Read error: 60 (Operation timed out)]
vezenchio has quit ["Computer Science is no more about computers than astronomy is about telescopes"]
cjohnson has quit ["sleep"]
monochrom has quit ["Few people understand "understanding"."]
Herrchen_ has joined #ocaml
tautologico has quit []
mattam has quit [Read error: 60 (Operation timed out)]
Herrchen has quit [Read error: 110 (Connection timed out)]
smkl has joined #ocaml
<det> creichen: you use Debian AMD64?
<det> creichen: When I used it, I had a ia32 chroot and ran a few applications from it, MLton ran fine
mlh has quit ["hmm vegetarian pizza PLUS pepperoni"]
FloridaBoy has joined #ocaml
FloridaBoy has quit [Remote closed the connection]
zzorn has joined #ocaml
smkl has quit [Read error: 110 (Connection timed out)]
alek has joined #ocaml
mlh has joined #ocaml
mlh has quit [Client Quit]
zzorn is now known as zzorn_away
alek is now known as alek2
m3ga has joined #ocaml
alek2 has left #ocaml []
alek2 has joined #ocaml
smkl has joined #ocaml
pango has quit [Remote closed the connection]
pango has joined #ocaml
smkl has quit [Read error: 110 (Connection timed out)]
solarwind has joined #ocaml
smimou has joined #ocaml
jave has joined #ocaml
<jave> hello
<jave> is it possible to compile an ocaml prog so it provides a bactrace on an exception?
<smimou> yes
<smimou> you should set the environment variable OCAMLRUNPARAM=b
<smimou> and compile in bytecode
<jave> cool, how do i compile in bytecode?
<solarwind> With ocamlc.
<solarwind> Or ocamlcp if you want profiling information as well.
<jave> ok
<Herrchen_> ocamlc/ocamlc.opt for bytecode, ocamopt/ocamlopt.opt for native code
<jave> thanks, ill have a look
Herrchen_ is now known as Herrchen
karryall has joined #ocaml
smkl has joined #ocaml
<mflux_> ooh, maybe I should reread that part of documentation ;)
m3ga has quit ["Client exiting"]
Submarine has quit ["Leaving"]
cognominal has quit [Read error: 104 (Connection reset by peer)]
cognominal has joined #ocaml
smkl has quit [Read error: 60 (Operation timed out)]
mlh has joined #ocaml
Submarine has joined #ocaml
smkl has joined #ocaml
<mflux_> say, is it difficult to cross-compile ocamlrun?
<mflux_> hmm.. so which components in ocaml exactly require libncurses, I wouldn't mind living without it?
<solarwind> ocamlrun
<solarwind> ldd `which ocamlrun`
<mflux_> well, that's exactly what I want, but for which purpose does it use it?
<Submarine> muff muff muff
mattam has joined #ocaml
smkl has quit [Read error: 110 (Connection timed out)]
<mflux_> apparently my compilation didn't quite work as expected.. "Fatal error: out of memory while raising Out_of_memory" with helloworld
<mflux_> it tries to allocate 900 megabytes of memory.. endianess-problem maybe :)
<Submarine> are you cross compiling or something?
<mflux_> yes. and I got helloworld running \o/
<solarwind> Are you doing this for some sort of an embedded system?
<mflux_> yes
mauke has quit [Read error: 104 (Connection reset by peer)]
mauke has joined #ocaml
mlh has quit [Client Quit]
CosmicRay has joined #ocaml
cjohnson has joined #ocaml
smkl has joined #ocaml
Submarine has quit [Remote closed the connection]
smkl has quit [Read error: 110 (Connection timed out)]
Snark has joined #ocaml
fenrirjk has joined #ocaml
<fenrirjk> hi
<mauke> greetings
<fenrirjk> :)
<fenrirjk> thanks
<fenrirjk> I have a problem with lablgtk
<fenrirjk> can someone help me ?
<fenrirjk> I made the helloworld tutorial from : "http://ftp.sun.ac.za/ftp/mirrorsites/ocaml/tutorials/lablgtk/c108.html"
<fenrirjk> and I tried to compile it using the command : "ocamlc -I +lablgtk2 -o main lablgtk.cma gtkInit.cmo main.ml"
<fenrirjk> and I got the error "Unbound value GWindow.window"
<fenrirjk> but "lablgtk main.ml" works
<fenrirjk> mmh
<fenrirjk> ok
<fenrirjk> I found the error :)
<fenrirjk> sorry for the burden
<mauke> what was the error?
<fenrirjk> I put the wrong library
<fenrirjk> it's lablgtk and not lablgtk2
Yorick has joined #ocaml
Submarine has joined #ocaml
gim has quit []
gim has joined #ocaml
avn has joined #ocaml
smkl has joined #ocaml
JustinWick has joined #ocaml
zzorn_away is now known as zzorn
fenrirjk has quit [Read error: 110 (Connection timed out)]
vezenchio has joined #ocaml
zzorn has quit ["They are coming to take me away, ha ha"]
karryall has quit ["."]
zzorn has joined #ocaml
vodka-goo has joined #ocaml
alek2 has quit [Nick collision from services.]
alek2 has joined #ocaml
Msandin has joined #ocaml
alek_ has joined #ocaml
alek2 has quit ["Leaving"]
alek2 has joined #ocaml
_JusSx_ has joined #ocaml
Submarine has quit ["Leaving"]
Naked has joined #ocaml
Naked has quit [Client Quit]
smkl has quit [Read error: 110 (Connection timed out)]
alek2 has quit ["Leaving"]
smkl has joined #ocaml
Submarine has joined #ocaml
fenrirj1 has joined #ocaml
<fenrirj1> hi
<fenrirj1> is their any tutorial to display lines, dots and images in lablgtk ??
alek2 has joined #ocaml
alek2 has quit [Client Quit]
mrvn_ is now known as mrvn
Yorick has left #ocaml []
eternite[2] has joined #ocaml
Msandin has quit [Read error: 104 (Connection reset by peer)]
fenrirj1 has quit [Read error: 110 (Connection timed out)]
eternite[2] has quit ["J'ai plus envie de causé."]
taras has joined #ocaml
taras has left #ocaml []
Snark has quit ["Leaving"]
zzorn is now known as zzorn_sleep
pango has quit ["Leaving"]
pango has joined #ocaml
_fab has joined #ocaml
_JusSx_ has quit ["leaving"]
zzorn_sleep has quit ["They are coming to take me away, ha ha"]
mlh has joined #ocaml
CosmicRay has quit ["Client exiting"]
mrvn_ has joined #ocaml
mrvn has quit [Read error: 60 (Operation timed out)]
JustinWick has quit []
<vincenz_> od
shawn_ has joined #ocaml