flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | Grab OCaml 3.10.2 from http://caml.inria.fr/ocaml/release.html (featuring new camlp4 and more!)
* palomer is mind boggled
LordMetroid has quit [Connection timed out]
<palomer> jdh30: none whatsoever
<palomer> looks like I need my bytecode compiler back
jlouis has quit [Remote closed the connection]
prince has quit [Read error: 104 (Connection reset by peer)]
prince has joined #ocaml
Morphous has joined #ocaml
ulfdoz has quit [Remote closed the connection]
ulfdoz has joined #ocaml
Amorphous has quit [Read error: 110 (Connection timed out)]
<palomer> holy crap this test case is _insane_
Ched- has quit [Read error: 110 (Connection timed out)]
Ched- has joined #ocaml
tsuyoshi has quit ["Lost terminal"]
tsuyoshi has joined #ocaml
vixey has quit [Read error: 104 (Connection reset by peer)]
vixey has joined #ocaml
mbishop has quit [Remote closed the connection]
seafood has joined #ocaml
<palomer> ok
<palomer> just spent 3 hours writing this test case
<palomer> http://ocaml.pastebin.com/m6467453d <--could someone checks if this segfaults?
<palomer> I can't make it any smaller than that
<palomer> as you can see, I'm programming with bottles and gladiators
<thelema> hi palomer
<thelema> palomer: segfaults for me.
* thelema reads the code
AxleLonghorn has joined #ocaml
AxleLonghorn has left #ocaml []
<thelema> ocamldebug wants to blame this line:
<thelema> 37 ignore (self#bambam<|a|>.foo);
<palomer> don't believe'em!
<palomer> bambam is innocent
<palomer> the code is rather unredable
<palomer> unreadable
<thelema> yes, I've found that out
<palomer> but I think we should both agree that it should not segfault
<palomer> the only IO it does is print_endline (which you can remove for the same effect)
<palomer> no marshalling/magic
<palomer> heck, there's barely any computation of any sort
Snrrrub has quit [Read error: 104 (Connection reset by peer)]
<thelema> agreed. You've hit some wierd corner case in the object system...
<thelema> the native code segfaults too...
<thelema> 0x00000000004028d5 in camlTest__method_gladiators_294 ()
<palomer> let me tell you
<palomer> it wasn't easy
<palomer> everyone doubted me!
Snrrrub has joined #ocaml
<thelema> yes, as I said, the object system... something about virtual methods, I'd guess
<palomer> thelema, try renaming get_right_sibling_specific
<palomer> (which doesn't appear anywhere)
<thelema> that is really odd. the problem goes away...
<thelema> maybe some sort of hash collision...
<thelema> it can happen with long enough identifiers...
<thelema> if I rename it to "get_right_sibling_specific1" the problem goes away, but persists for get_right_sibling_specifid
<palomer> yeah
<palomer> but changing too many characters will still have it segfault
<palomer> strange hash, if you ask me
<thelema> some combination of length and teh first n chars?
<palomer> first 22 characters, it seems
<thelema> no, because xxx_right_sibling_specixxx still segfaults
<palomer> but det_right_sibling_specpzic doesn't
<palomer> neither does det_right_sibling_specific
<thelema> odd.
<palomer> neither does xet_right_sibling_specifi
<palomer> specific
netx has quit ["Leaving"]
<palomer> I posted the code on the mailing list
<palomer> feel free to show it to anyone to get a second opinion!
* palomer is off
seafood has quit []
<palomer> before I forget
<palomer> renaming stuff removes the segfault here
<palomer> BUT, not in my project (the segfault just migrates elsewhere)
structured has quit [Read error: 110 (Connection timed out)]
seafood has joined #ocaml
jeremiah has quit [Read error: 104 (Connection reset by peer)]
structured has joined #ocaml
netx has joined #ocaml
jeremiah has joined #ocaml
jeremiah has quit [Read error: 104 (Connection reset by peer)]
filp has joined #ocaml
filp has quit [Client Quit]
jeremiah has joined #ocaml
love-pingoo has quit ["Connection reset by pear"]
love-pingoo has joined #ocaml
love-pingoo has quit ["Connection reset by pear"]
structured has quit [Read error: 110 (Connection timed out)]
jeremiah has quit [Connection reset by peer]
jeremiah has joined #ocaml
rwmjones has joined #ocaml
szell has joined #ocaml
* qwr . o O ( in case anyone is interested about a ML-like functional language on the jvm... http://linux.ee/~mzz/yeti/ )
szell` has quit [Read error: 110 (Connection timed out)]
<flux> I bet the mailing list would be interested in that piece of code. or just, say, the bug tracking system..
Torment has joined #ocaml
OChameau has joined #ocaml
Jedai has quit [Read error: 110 (Connection timed out)]
love-pingoo has joined #ocaml
gim has quit [Read error: 104 (Connection reset by peer)]
gim has joined #ocaml
hkBst has joined #ocaml
Yoric[DT] has joined #ocaml
guillem has joined #ocaml
seafood has quit [Read error: 110 (Connection timed out)]
petchema has joined #ocaml
jeremiah has quit [Read error: 104 (Connection reset by peer)]
jonas_e has joined #ocaml
Snark has joined #ocaml
jeremiah has joined #ocaml
LordMetroid has joined #ocaml
tomh has joined #ocaml
tomh has quit ["http://www.mibbit.com ajax IRC Client"]
det has joined #ocaml
im_a_man has joined #ocaml
jlouis has joined #ocaml
det has quit [Read error: 110 (Connection timed out)]
petchema has quit [Remote closed the connection]
seafood has joined #ocaml
seafood has quit [Read error: 104 (Connection reset by peer)]
seafood has joined #ocaml
netx has quit [Read error: 110 (Connection timed out)]
guillem has quit [Read error: 110 (Connection timed out)]
petchema has joined #ocaml
TheLittlePrince has joined #ocaml
filp has joined #ocaml
jonas_e has left #ocaml []
TheLittlePrince has quit [Connection timed out]
TheLittlePrince has joined #ocaml
Yoric_ has joined #ocaml
Yoric[DT] has quit [Read error: 113 (No route to host)]
Yoric_ is now known as Yoric[DT]
postalchris has joined #ocaml
marmotine has joined #ocaml
mamie_cracra has joined #ocaml
mamie_cracra has quit [Client Quit]
Snark has quit ["Ex-Chat"]
guillem has joined #ocaml
postalchris has quit [Read error: 113 (No route to host)]
seafood has quit []
kAworu has quit ["leaving"]
filp has quit [Remote closed the connection]
det has joined #ocaml
TheLittlePrince has quit [Client Quit]
pango has quit [Remote closed the connection]
Ched- has quit []
pango has joined #ocaml
Axioplase has joined #ocaml
<vixey> what is Obj.magic
<orbitz> it is...magic
<orbitz> i don't know, did you poke around the documetnation
<vixey> val magic : 'a -> 'b
<vixey> Not for the casual user.
<jlouis> vixey, a way to rape the type system, more or less
<orbitz> # Obj.magic 3;;
<orbitz> - : 'a = <poly>
<orbitz> ahh
Linktim has joined #ocaml
vixey has left #ocaml []
vixey has joined #ocaml
postalchris has joined #ocaml
Axioplase has quit ["brb"]
filp has joined #ocaml
l_a_m has joined #ocaml
love-pingoo has quit ["Connection reset by pear"]
Linktim_ has joined #ocaml
Linktim- has joined #ocaml
Linktim has quit [Read error: 110 (Connection timed out)]
struk_atwork has quit [Read error: 104 (Connection reset by peer)]
struk_atwork has joined #ocaml
bluestorm has joined #ocaml
Linktim_ has quit [Read error: 110 (Connection timed out)]
guillem has quit [Remote closed the connection]
sporkmonger has joined #ocaml
Linktim- has quit [Read error: 110 (Connection timed out)]
Axioplase has joined #ocaml
OChameau has quit ["Leaving"]
marmotine has quit [Read error: 110 (Connection timed out)]
munga has joined #ocaml
bohanlon has quit ["leaving"]
Axioplase has quit ["brb"]
Axioplase has joined #ocaml
Axioplase has quit [Client Quit]
Jedai has joined #ocaml
jarimatti has joined #ocaml
marmotine has joined #ocaml
Snark has joined #ocaml
ygrek has joined #ocaml
filp has quit [Read error: 113 (No route to host)]
filp has joined #ocaml
Torment has quit [Read error: 110 (Connection timed out)]
<mattam> What's the magical trick to print backtraces with the latest ocaml ?
<orbitz> man ocamlrun
<mattam> grrr. I don't have it.
<mattam> I see.
<palomer> mattam, Printexc.print_backtrace I think
<mattam> Well, apparently OCAMLRUNPARAM=b still works.
<palomer> oh, that trick
<palomer> ocamlrun -b maybe
Linktim has joined #ocaml
l_a_m has quit [Remote closed the connection]
<bluestorm> mattam: "the latest ocaml" only added backtrace in the native compiler (ocamlopt) output
<bluestorm> ocamlc has had backtraces for a long time
<bluestorm> both can be activated using OCAMLRUNPARAM="b" ./yourprogram
<bluestorm> and i'm not sure about ocamlc, but ocamlopt requires the -g compilation flag for that
<Yoric[DT]> I believe it's the same for ocamlc.
bohanlon has joined #ocaml
Smerdyakov has quit ["Leaving"]
Smerdyakov has joined #ocaml
rwmjones has quit ["Closed connection"]
LordMetroid has quit ["Leaving"]
jarimatti has quit []
<bluestorm> Yoric[DT]: http://bluestorm.info/pictures/fractales/alias/couleur-peano2.png don't you dare saying this one is not the most beautiful ever :-'
<Yoric[DT]> :)
* Yoric[DT] will just smile and nod.
<flux> I wonder if there is a place that sells fractal jigsaw-puzzles..
Snark has quit ["Ex-Chat"]
Ched- has joined #ocaml
<flux> this looks interesting, generating reference graphs out of ocaml programs: http://pauillac.inria.fr/~guesdon/oug.en.html
Axioplase has joined #ocaml
<flux> actually I've wished for one at times.. I wonder if I dare to run it on some big programs, the output is likely illegible :)
<bluestorm> it might be possible to select a few functions only
<bluestorm> and the library is available anyway
<bluestorm> flux: ocamldoc already does some limited graphs, wich i find very helpful
guillem has joined #ocaml
<vbmithr> hey guillem
postalchris has quit ["Leaving."]
munga has quit ["Ex-Chat"]
RobertFischer has joined #ocaml
Linktim has quit [Remote closed the connection]
ygrek has quit [Remote closed the connection]
ygrek has joined #ocaml
filp has quit ["Bye"]
<gildor_> flux: unfortunately i think this program has serious license problem (oug)
<gildor_> which make him difficult to distribute
Snrrrub has quit [Read error: 110 (Connection timed out)]
<bluestorm> gildor_: wich are ? could you settle this with the author ?
<gildor_> e.g. it use typedtree which is not distributed and is QPL
<bluestorm> there were licensing problems with the pa_oo extension (wich i agree is much smaller) and just contacting the author ended it gracefully
<bluestorm> ah
<bluestorm> you mean it reuse parts of the ocaml code ?
<bluestorm> +s
<gildor_> in oug_core.ml -> open Typedtree
<gildor_> take a look at typing/typedtree.ml in ocaml source to see what i mean
<gildor_> oug use internal ocaml data structure
<bluestorm> yes, i think i've seen that already
Snrrrub has joined #ocaml
<gildor_> which are QPLed (and not public interface, of course)
<gildor_> -> this is dangerous and pretty complicated to deal with
<bluestorm> iirc, one project reused some parts of ocaml and got a specific allowance to redistribute the unmodified ocaml source tree with their program
<gildor_> the problem is not only about license
<bluestorm> it might be one of the jo/alpha/metao-caml dialect, i'm not sure
<gildor_> it is just as if you pull some random file from GCC, which are not in the set of public interface
<gildor_> you don't know if they will still have the same meaning/structure/function exported...
<bluestorm> gildor_: and re-importing the whole ocaml tree makes it heavy to redistribute
<gildor_> bluestorm: indeed
<bluestorm> so you're right, there are serious issues here :)
<gildor_> this is really unfortunate, because Maxence really do a good job, but playing with this make this work very hard to package
<bluestorm> i get to dream of a GPL-licensed ocaml release sometimes :-'
<gildor_> (like the graphical debugger: epeire, which is not redistributable)
<gildor_> bluestorm: problem is not here
<gildor_> QPL licenses file help you to see where internal structures are ;-)
<bluestorm> gildor_: didn't Xleroy say at the meeting something more or less like "we might try to expose this kind of ocaml internals publicly in the future to make those things easier" ?
<gildor_> if you come to link with QPL -- it means you are in trouble
<gildor_> bluestorm: yep, and I think i was asking the question
sporkmonger has quit []
pango has quit [Remote closed the connection]
pango has joined #ocaml
aryx has joined #ocaml
ygrek has quit [Remote closed the connection]
LordMetroid has joined #ocaml
bluestorm has quit ["Konversation terminated!"]
filp has joined #ocaml
filp has quit [Client Quit]
mbishop has joined #ocaml
postalchris has joined #ocaml
AxleLonghorn has joined #ocaml
AxleLonghorn has left #ocaml []
Torment has joined #ocaml
Yoric[DT] has quit ["Ex-Chat"]
hardcopy has joined #ocaml
Jedai has quit [Read error: 110 (Connection timed out)]
rwmjones has joined #ocaml
tomh has joined #ocaml
bla has quit [Read error: 113 (No route to host)]
Axioplase has quit ["home"]
bohanlon has quit ["leaving"]
Demitar has joined #ocaml
marmotine has quit ["Quitte"]
vbmithr has quit ["Zz"]
vbmithr has joined #ocaml
hkBst has quit ["Konversation terminated!"]
guillem has quit [Remote closed the connection]
<postalchris> Anybody know how to (safely) coerce an OCaml file_descr to a C int?
Paolo_Riccardo has joined #ocaml
Paolo_Riccardo has left #ocaml []
bla has joined #ocaml
Axioplase has joined #ocaml
LordMetroid has quit [Connection timed out]
Axioplase has quit ["brb"]
Axioplase has joined #ocaml
marmotine has joined #ocaml
seafood has joined #ocaml
rwmjones has quit [Read error: 104 (Connection reset by peer)]