gim has quit [Read error: 110 (Connection timed out)]
jeff2 has joined #ocaml
gim has joined #ocaml
pacroon_ has joined #ocaml
pacroon has quit [Read error: 54 (Connection reset by peer)]
Godeke has quit [Remote closed the connection]
gim has quit [Read error: 113 (No route to host)]
SchizoIV has joined #ocaml
<drz>
is there a standard function that does 'a option -> 'a ? (ie Some('a') -> 'a', and excepts if it's None)
<Smerdyakov>
I don't know of one.
<drz>
np. Thanks for answering.
mlh has joined #ocaml
pacroon_ has quit [Read error: 60 (Operation timed out)]
<pango>
drz: what would it do for None ?
det_ has quit [Read error: 60 (Operation timed out)]
pacroon has joined #ocaml
pango is now known as pangon8
<Riastradh>
It would raise an exception.
det has joined #ocaml
tautologico has joined #ocaml
GreyLensman has joined #ocaml
SchizoIV has left #ocaml []
Nutssh has joined #ocaml
tyler_ has joined #ocaml
<tyler_>
Is there any harm in copying the optimized binaries over the bytecode ones? (that is, cp ocamlc.opt ocamlc, etc)
GreyLensman has left #ocaml []
<Riastradh>
Yes: you won't be able to generate byte code.
<Riastradh>
...oh.
<Riastradh>
Never mind.
<Riastradh>
Probably not.
<tyler_>
Well, the compilers are probably the only ones that are worth it
<tyler_>
since the toplevels are running bytecode anyways..
<Nutssh>
The native code compilers start up a little bit slower, I think.
<avlondono>
once I found a bug in the assembly generator (for itanium). I would prefer to keep them separated always.
<tyler_>
okay, fair enough
tautologico has quit []
tyler_ has quit ["leaving"]
hangman4 has joined #ocaml
Nutssh has quit ["Client exiting"]
Herrchen_ has joined #ocaml
Herrchen has quit [Read error: 60 (Operation timed out)]
<vincenz>
drz: Easy to make
Submarine has joined #ocaml
<det>
IMO, it is silly ocaml genertates a bytecode (that is compiled to bytecode) compiler at all
<Riastradh>
...what's silly about having a byte code compiler?
<mrvn>
Having a byte code and asm optimized compiler usualy means one is unused.
<mrvn>
ocaml should have ocamopt.byte and ocamlopt.opt and an ocamlopt linking to one of them, .opt if available prefered. (at least in debian)
<Riastradh>
Not necessarily. Byte code is still useful on architectures unsupported by the native code compiler and in applications that involve mobile code.
<mrvn>
architectures not supported by the native code compiler would have neither ocamlopt flavour
<mrvn>
The only reason I see for ocamlopt (bytecode) is when ocamlopt.opt fails or to verify its results.
<det>
Riastradh: I mean, having a native compiler compiled *to* bytecode
<Riastradh>
Oh, I see.
<mrvn>
Riastradh: I think noone thinks of abandoning ocamlc.
<mrvn>
Is there an ocamlc.opt?
<Riastradh>
Yes.
<mrvn>
Same story for ocamlc then, ocamlc.byte and ocamlc.opt and ocamlc linked to the best available.
<mrvn>
Or is ocamlc.opt ever slower for reasonable big programs?
<vincenz>
why would it be slower?
<vincenz>
ocamlc.opt is the same as ocamlc.byte except that it's native compiled
<mrvn>
Someone mentioned startup could be slower but that should amortize for bigger programs.
monochrom has quit ["hello"]
vezenchio has joined #ocaml
mrvn_ has joined #ocaml
mrvn has quit [Read error: 110 (Connection timed out)]
pangon8 is now known as pangoafk
rossberg_ has joined #ocaml
haakonn has joined #ocaml
rossberg has quit [Read error: 110 (Connection timed out)]
haakonn_ has quit [Connection timed out]
smimou has joined #ocaml
mlh has quit ["bling!"]
kinners has joined #ocaml
mlh has joined #ocaml
pango has joined #ocaml
noj has quit ["leaving"]
noj has joined #ocaml
gim has joined #ocaml
haakonn has quit [Read error: 104 (Connection reset by peer)]
kinners has quit [Read error: 110 (Connection timed out)]
haakonn has joined #ocaml
Submarine has quit ["Leaving"]
haakonn has quit [Read error: 104 (Connection reset by peer)]
haakonn has joined #ocaml
eugos has joined #ocaml
haakonn has quit [Read error: 110 (Connection timed out)]
gim has quit [Read error: 113 (No route to host)]
gim has joined #ocaml
haakonn has joined #ocaml
CapNemo has joined #ocaml
<CapNemo>
hey :)
<CapNemo>
anyone knows a scriptic language to embed in ocaml : like executing python code inside ocaml subs ?
Godeke has joined #ocaml
eugos has quit ["Leaving"]
eugos has joined #ocaml
mlh has quit [Client Quit]
CapNemo has left #ocaml []
gim has quit [Read error: 110 (Connection timed out)]
gim has joined #ocaml
karryall has joined #ocaml
rifleman has joined #ocaml
gim has quit [Read error: 110 (Connection timed out)]
gim has joined #ocaml
Submarine has joined #ocaml
gim has quit [Read error: 113 (No route to host)]
gim has joined #ocaml
gim has quit [Read error: 113 (No route to host)]
Herrchen_ has quit ["bye"]
gim has joined #ocaml
<vincenz>
^_^
<eugos>
japanese smilies? ;)
<eugos>
they are nice
CosmicRay has joined #ocaml
eugos has quit ["Leaving"]
<vincenz>
No I'm raising my eyebrows at CapNemo's comments
<karryall>
anyone know of the new meta format strings in ocaml CVS ?
<karryall>
hmm, apparently no
<karryall>
nevermind
karryall has quit ["seeya"]
pangoafk has quit ["Client exiting"]
pango has quit [Nick collision from services.]
pango has joined #ocaml
petchema_ has joined #ocaml
petchema_ has quit [Client Quit]
pango has quit [Client Quit]
pango has joined #ocaml
gim has quit [Read error: 110 (Connection timed out)]
gim has joined #ocaml
pango has quit [Nick collision from services.]
pango has joined #ocaml
karryall has joined #ocaml
haakonn has quit [Read error: 110 (Connection timed out)]
haakonn has joined #ocaml
haakonn has quit [Remote closed the connection]
haakonn has joined #ocaml
haakonn has quit [Read error: 104 (Connection reset by peer)]
haakonn has joined #ocaml
haakonn has quit [Read error: 104 (Connection reset by peer)]
haakonn has joined #ocaml
haakonn has quit [Read error: 104 (Connection reset by peer)]
malc_ has joined #ocaml
monochrom has joined #ocaml
Kevin__ has joined #ocaml
Riastradh has quit ["restarting"]
Riastradh has joined #ocaml
Submarine has quit ["Leaving"]
karryall has quit ["leave"]
vezenchio has quit ["smile, Rakka ..."]
malc_ has quit [Read error: 60 (Operation timed out)]
richb has joined #ocaml
smimou has quit ["?"]
kinners has joined #ocaml
richb has quit ["Leaving"]
Hadaka has quit [Read error: 110 (Connection timed out)]