kaustuv changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | 3.11.1 out now! Get yours from http://caml.inria.fr/ocaml/release.html
slash_ has quit [Client Quit]
seafood has joined #ocaml
seafood has quit [Client Quit]
seafood has joined #ocaml
seafood_ has joined #ocaml
acao11 has joined #ocaml
seafood_ has quit [Client Quit]
seafood has quit [Read error: 110 (Connection timed out)]
Ched has quit [Read error: 60 (Operation timed out)]
travisbrady has quit []
Ched has joined #ocaml
jeddhaberstro has joined #ocaml
travisbrady has joined #ocaml
seafood has joined #ocaml
acao11 has quit ["ChatZilla 0.9.84 [Firefox 3.0.11/2009060215]"]
seafood has quit [Client Quit]
sgnb` has joined #ocaml
sgnb has quit [Read error: 104 (Connection reset by peer)]
Alpounet has quit ["Quitte"]
mpwd has quit []
seafood has joined #ocaml
jeddhaberstro has quit []
Camarade_Tux has quit [Read error: 110 (Connection timed out)]
seafood has quit []
Associat0r has joined #ocaml
alexyk has quit []
alexyk has joined #ocaml
alexyk has quit [Client Quit]
tarbo2 has joined #ocaml
mpwd has joined #ocaml
mpwd has quit []
Camarade_Tux has joined #ocaml
willb has joined #ocaml
Camarade_Tux has quit ["Leaving"]
<travisbrady> How does one wrap a type? in this case Unix.file_descr? I'd like to do "type example = Unix.file_descr" which works, but then I can't figure out how to construct these
<jeff_s_> use the same functions you would if you were making a Unix.file_descr
<jeff_s_> unless you hide the right side of the = ocaml knows they're the same
Alpounet has joined #ocaml
<mrvn> In this case the only way is to ask Unix to create one. If you want your own "constructor" you need to wrap one of the Unix functions that return one.
ikaros has joined #ocaml
sebaseba has joined #ocaml
jknick has joined #ocaml
hkBst has joined #ocaml
ulfdoz has joined #ocaml
ikaros_ has joined #ocaml
eevar2 has joined #ocaml
mpwd has joined #ocaml
ikaros has quit [Read error: 110 (Connection timed out)]
mishok13 has joined #ocaml
Associat0r has quit []
jeff_s_ has quit [Read error: 104 (Connection reset by peer)]
th5 has joined #ocaml
Maddas has joined #ocaml
sebaseba has quit []
ikaros_ has quit ["Leave the magic to Houdini"]
mpwd has quit []
eevar2 has quit [Read error: 110 (Connection timed out)]
eevar2 has joined #ocaml
Camarade_Tux has joined #ocaml
eevar2__ has joined #ocaml
youscef has joined #ocaml
jknick has quit ["leaving"]
eevar2 has quit [Read error: 110 (Connection timed out)]
mpwd has joined #ocaml
jeanbon has joined #ocaml
eevar2__ has quit [Read error: 110 (Connection timed out)]
acatout has quit [Read error: 113 (No route to host)]
eevar2__ has joined #ocaml
yziquel has joined #ocaml
komar_ has joined #ocaml
Yoric[DT] has joined #ocaml
mpwd has quit []
<yziquel> flux: do you recall the scheduler code?
<Yoric[DT]> hi
<Alpounet> hi Yoric[DT]
<julm> _o/
* Yoric[DT] 's wife now has her PhD.
<Alpounet> yay !
<julm> computer science?
<Alpounet> cheers
<Yoric[DT]> Nope, literature.
komar_ has quit [Read error: 104 (Connection reset by peer)]
komar_ has joined #ocaml
<flux> yziquel, yes
<yziquel> flux: I had some trouble, fixed now. Sorry troubling you for nothing...
Spiwack has joined #ocaml
acatout has joined #ocaml
<flux> yziquel, got the scheduler working?
mpwd has joined #ocaml
Camarade_Tux has quit ["Leaving"]
<yziquel> flux: yes. I just forgot to read the caracter I send on the pipe... fixed.
Alpounet has quit [Read error: 60 (Operation timed out)]
<flux> yziquel, I guess you're not closing the pipe then immediately then, as that serves as a signal too?
Alpounet has joined #ocaml
mpwd has quit [Read error: 110 (Connection timed out)]
_andre has joined #ocaml
<yziquel> flux: no. I'm not closing the pipe.
babalu has joined #ocaml
<babalu> hi, how can i test the existence of a webpage in ocaml ?
<flux> babalu, I would most likely use the curl bindings for ocaml
<flux> babalu, you would issue a header request for the page, which would return a code indicating its existence
<babalu> thanks
<babalu> so now i know that 'curl' exists i'll maybe just use command line
<flux> :)
mpwd has joined #ocaml
<babalu> thanks
<thelema> Yoric[DT]: congrats for your wife (and you, for helping)
<Yoric[DT]> :)
<thelema> btw, I'll be starting a PhD program at michigan state university ASAP
<thelema> s/starting/entering/
<Yoric[DT]> Great :)
<Yoric[DT]> On what topic?
<thelema> CS in general, the prof I'll be working under is working on TCAM rule optimization
bombshelter13_ has joined #ocaml
tab has quit [Read error: 60 (Operation timed out)]
catechu has joined #ocaml
<babalu> flux: do you have any idea on how i can detect if a page exists with curl ? for instance if i display the header (with -I) i will have the same header if the page exists or if it does not (http://www.ens-cachan.fr/version-francaise/admission/sur-concours/session-en-cours/resultats-d-admissibilite-1a-anglais-63796.kjsp and http://www.ens-cachan.fr/version-francaise/admission/sur-concours/session-en-cours/resultats-d-admissibilite-1a-anglais-BADURL.
<babalu> kjsp for instance)
<thelema> Yoric[DT]: maybe buffers need to be flushed before GC? (printf leak)
tab has joined #ocaml
<Yoric[DT]> thelema: normally, I've flushed it.
<flux> babalu, it's the first line
<flux> babalu, 200 OK -> yes! 404 Not found -> no :-/
mpwd has quit []
<babalu> i have 200 OK for both of them unfortunately
<flux> babalu, you better see the HTTP RFC to get a better understanding of the response codes
<flux> babalu, well, in that case the web server is telling it has the page
<flux> babalu, maybe you need to analyze the contents to figure out if it's some generic "not found" page or not
<babalu> (but the page does not exist : you can try with http://www.ens-cachan.fr/version-francaise/admission/sur-concours/session-en-cours/WHATEVERYOUWANTTHERE.kjsp and it will still say 200 OK
<flux> babalu, well, how would a computer know that?
<flux> it obviously returns a page..
<flux> unfortunately their web application returns "yes, web page found" for all queries
<babalu> flux: oh i'm sorry i hadn't checked it in my browser
<flux> you can try http://modeemi.fi/ or http://modeemi.fi/asdf to see the error in effect
<babalu> flux: i didn't know the server actually displayed a page even though the url is bad : so i'll just have to find 'Une erreur est survénue' in the content :D
<babalu> survenue*
<flux> babalu, http://www.ens-cacahn.fr/asdf gives an error
<babalu> yes,
<flux> but, I'm off to home
<babalu> but what i wanted to check is explicitely the url i have earlier so that's too bad :(
<babalu> ok thanks
<flux> good luck
<julm> babalu: grep for "Une erreur est survenue ..." in the page
<thelema> Yoric[DT]: ah, I missed the %!
<babalu> gulm : yeah :D
willb has quit [Read error: 54 (Connection reset by peer)]
willb has joined #ocaml
ikaros has joined #ocaml
julm has quit ["Banzaï"]
Associat0r has joined #ocaml
julm has joined #ocaml
eevar2__ has quit ["This computer has gone to sleep"]
travisbrady has quit []
willb has quit ["Leaving"]
seafood has joined #ocaml
Yoric[DT] has quit [Read error: 113 (No route to host)]
Ched has quit [Read error: 60 (Operation timed out)]
Lomono has quit ["Don't even think about saying Candlejack or else you wi"]
Lomono has joined #ocaml
travisbrady has joined #ocaml
jonafan_ has joined #ocaml
Ched has joined #ocaml
alexyk has joined #ocaml
th5 has quit []
jonafan has quit [Read error: 60 (Operation timed out)]
jeanbon has quit ["EOF"]
julm has quit [Read error: 110 (Connection timed out)]
julm has joined #ocaml
caoliver has joined #ocaml
mpwd has joined #ocaml
caoliver has left #ocaml []
babalu has quit [Read error: 113 (No route to host)]
jonafan_ is now known as jonafan
<palomer> TCAM?
<julm> palomer: Ternary Content-Addressable Memory
<palomer> the first memory ever developed was ternary, if I remember correctly
Spiwack has quit [Read error: 104 (Connection reset by peer)]
Spiwack has joined #ocaml
Spiwack has left #ocaml []
Spiwack has joined #ocaml
seafood has quit []
Snark has joined #ocaml
willb has joined #ocaml
jeff_s_ has joined #ocaml
willb has quit [Connection reset by peer]
willb has joined #ocaml
willb has quit [Read error: 104 (Connection reset by peer)]
willb has joined #ocaml
julm has quit [Remote closed the connection]
catechu has quit ["leaving"]
Amorphous has quit [Read error: 110 (Connection timed out)]
Amorphous has joined #ocaml
Spiwack has quit ["Leaving"]
julm has joined #ocaml
willb has quit [Read error: 104 (Connection reset by peer)]
jeanbon has joined #ocaml
jeanbon has left #ocaml []
willb has joined #ocaml
palomer has quit ["Leaving"]
psnively has joined #ocaml
Snark has quit [Remote closed the connection]
mfp has quit [Read error: 110 (Connection timed out)]
mfp has joined #ocaml
nwardez has quit ["nwardez has no reason"]
aym has joined #ocaml
Camarade_Tux has joined #ocaml
willb has quit [Read error: 104 (Connection reset by peer)]
willb has joined #ocaml
shazam has joined #ocaml
<shazam> \o/
ben_m has joined #ocaml
<julm> what's happening shazam?
<hcarty> Is anyone here using the Cairo bindings not from distro packages (ie. with GODI)?
<hcarty> I'm having trouble getting native code linking to work. It seems to be fine for Fedora, Debian, etc packages.
<hcarty> But my from-source build does not link properly with native code, leading to lots of missing caml_* symbols
Yoric[DT] has joined #ocaml
<julm> hcarty: perhaps that you're using a different META file?
<Camarade_Tux> hcarty, have you checked if debian/fedora have patches against ocaml-cairo ?
<hcarty> julm, Camarade_Tux: I'm using the Fedora META file and build steps (as far as I can tell)
<hcarty> The only patch they seem to use is providing the META file
aym has left #ocaml []
mishok13 has quit [Read error: 110 (Connection timed out)]
<hcarty> I've run in to this before with C bindings + native code, and I don't remember what the work-around is.
<Camarade_Tux> I'd like to help but I'm simply too tired, only slept two hours last night =/
<Camarade_Tux> if you still have this problem on tomorrow, let me know
mishok13 has joined #ocaml
<hcarty> Camarade_Tux: Thanks! Sleep well tonight.
<julm> hcarty: what exactly are the missing caml_* ?
<Camarade_Tux> hcarty, I've also had troubles with C bindings and native code while bytecode was working perfectly fine but I can't remember what the problem was
<hcarty> julm: program, globals, data_segments
<hcarty> Camarade_Tux: If I recall correctly, a .cma stores some linking information a .cmxa does not
<Camarade_Tux> hcarty, I think I had that problem for ocaml-gir, I hope I can find what I did
<julm> hcarty: .cmxa can store some linking information, you can print them with ocamlobjinfo as for .cma
<hcarty> julm: Oh, cool. Thank you.
<hcarty> julm: Where do I get ocamlobjinfo? It sounds very familiar.
<julm> it's part of the ocaml/tools
<Camarade_Tux> hcarty, actually I think I had troubles getting both bytecode and nativecode to work without a make clean between them : http://paste.lisp.org/display/82083
<Camarade_Tux> because a file had the same name for both (that problem has been mentionned very recently on the ocaml mailing-list iirc)
<julm> hcarty: ocaml/tools/objinfo.ml
ben_m has left #ocaml []
<hcarty> julm: Ah, thanks. Found it and compiled it.
_andre has quit ["leaving"]
<hcarty> julm: "objinfo cairo.cmxa" errors out saying that it's not an object file
<julm> hcarty: that said I do not remember if the official version of objinfo.ml handles .cmxa; I am currently using my old patch there: http://caml.inria.fr/mantis/view.php?id=4276
<julm> hcarty: you can also open the .cmxa with your text editor, it appears in clear
<julm> at the end
Alpounet has quit ["Quitte"]
<hcarty> julm: Looking at the files directly, they seem to have the same linking information listed
<hcarty> I'll have to dig through this some more
hkBst has quit [Read error: 104 (Connection reset by peer)]
prime2 has joined #ocaml
<julm> hcarty: could you pastebin the complete trace of the build?
<Camarade_Tux> night :)
<julm> bn Camarade_Tux \o_
<hcarty> Camarade_Tux: Goodnight
<Camarade_Tux> :)
willb has quit [Read error: 104 (Connection reset by peer)]
Camarade_Tux has quit ["Leaving"]
<hcarty> julm: The build of the library?
<julm> the build that fails
<shazam> julm, I have a webpage for my project
willb has joined #ocaml
<julm> shazam: ah? where? :)
<hcarty> julm: That is a build of one of the demos which come with the OCaml Cairo bindings. It builds, links and runs cleanly from the build directory.
kattla has quit [Remote closed the connection]
komar___ has joined #ocaml
<julm> hcarty: but it fails in an other directory?
<hcarty> julm: Yes
<julm> ok
komar_ has quit [Read error: 113 (No route to host)]
<julm> hcarty: have you looked for the missing symbols in the file(s) of the build directory with objdump?
<hcarty> julm: No, but I have not compiled your version yet (it complains about a missing module - I don't remember which - when I replace the existing one with yours)
<julm> not objinfo, objdump
<hcarty> julm: Oh, sorry
<julm> no problem :)
psnively has quit []
<hcarty> It's there in the build directory
<julm> in a lib*.a ?
willb1 has joined #ocaml
<hcarty> julm: Yes
<julm> where goes this lib*.a when it is installed
<julm> ?
<hcarty> julm: I need to check that - it may not be!
<hcarty> Which would explain a lot :-)
<julm> normally, the lib<name>.a should go at `ocamlc -where`/<name>/lib<name>.a, the .cma should include a linking option -l<name>, and ocamlfind should pass a -I +<name> to ocaml{c,opt}
<hcarty> julm: Thank you so much!
<julm> you fixed it?
<hcarty> I'm not sure what I missed in the installation process, but there were two .a's not installed
<hcarty> s/what I missed/how I missed them/
<julm> oki douki :)
<hcarty> julm: Yes, it seems to be fixed now
<hcarty> julm++
komar___ is now known as komar_
willb2 has joined #ocaml
willb has quit [Connection timed out]
yziquel has quit [Read error: 104 (Connection reset by peer)]
<julm> shazam: wow I've just finished to watch the demo, it has become much more impressive now :)
willb2 is now known as willb
willb2 has joined #ocaml
<shazam> julm, check out the manual!
<julm> the "Prettier XML", that I like :)
willb1 has quit [Connection timed out]
<shazam> :)
bombshelter13_ has quit []
<shazam> you can easily specify the complete XML grammar in OSET
<julm> do you intend to do it?
<julm> could that grammar be easily changed "dynamicaly" : I mean be different whether the user enters version="1.0" or version="1.1"?
<julm> dynamically*
<shazam> actually...yes
<shazam> the simplest (but most verbose) way to do it is to code it into the grammar
<shazam> grammar xml : XML1_0 : "1.0" | XML1_1 : "1.1"
<shazam> grammar xml : XML1_0 : "1.0", xml11 | XML1_1 : "1.1", xml10
<shazam> but, I guess that's not what you were thinking of
willb2 has quit ["Leaving"]
willb2 has joined #ocaml
prime2 has quit ["leaving"]
<shazam> I don't personally intend to encode XML into OSET (but I'm willing to help anyone who wants to do it!)
shazam is now known as palomer
<julm> well you know the grammar changed between XML 1.0 and 1.1, several BNF patterns changed, (for instance at some places more Unicode characters have been allowed)
<palomer> well, if you define a transformation from one to the other you can use one structure editor for both
<julm> I was just wondering if it would be easy to select the right BNF pattern according to the version the user would have chosen.
<palomer> but it might be more useful to built an elegant structure editor that's slightly different but easier to use, and define a transformation to/from xml
<palomer> julm, oh, I see
willb has quit [Read error: 110 (Connection timed out)]
Palomides has joined #ocaml
<palomer> nope, you'll have to define both grammars seperately
<palomer> BUT they can share the same type (with grammar xml10 (=xml11) : .... )
<julm> ok
<julm> thanks :)
<palomer> (but then you'll have to use (= ..) for every type in the grammar)
<palomer> wait! it is possible!
<palomer> grammar ('a,'b,'c,'d,'e,'f) xml : ...
<palomer> type xml11 = xml rule_1 rule_2 rule_3 ... with seditable
<palomer> type xml10 = xml rule_1p rule_2p rule_3p ... with seditable
<palomer> err
<palomer> make that
<palomer> rule xml11 = (rule_1,rule_2,...,rule_n) xml with seditable
<julm> ok, I begin to understand a bit how all this works
<julm> palomer: perhaps you should put an [ocamlfind remove] before the [ocamlfind install] in the Makefile
<julm> so updating becomes easier
<palomer> you can do make reinstall
willb1 has joined #ocaml
<julm> ok
youscef has quit ["KVIrc 3.4.0 Virgo http://www.kvirc.net/"]
<palomer> well, im off
<palomer> be back later! (or tomorrow)
<julm> so do I \o_
<julm> so am I*
Palomides has left #ocaml []
willb has joined #ocaml
Yoric[DT] has quit ["Ex-Chat"]
willb2 has quit [Read error: 110 (Connection timed out)]
Alpounet has joined #ocaml
yziquel has joined #ocaml
<yziquel> how do you make the method of a class private to a given module?
<yziquel> i mean, cleanly?
<bla> Making it normally public and then not including in module interface won't work I guess?
<yziquel> bla: well it complains that the type is different in the .mli than in the .ml.
<bla> Or 'private to a given module' means it won't be visible outside of what? A class?
<bla> Mhm.
<yziquel> bla: no. visible inside the rest of the module. some methods must be called within, for hygienic purposes, but shouldn't be public...
willb1 has quit [Read error: 110 (Connection timed out)]
<bla> I guess I haven' touched objective part of ocaml for too long time.
<yziquel> bla: function f should be of type myobject -> myobject, and needs to call #dirtymethod. But in the outside interface, i do not want #dirtymethod to be available.
<bla> I know what you want to do, but no idea how to achieve this.
<yziquel> bla: thanks anyway...
<bla> Stick here a little bit longer. Somebody might have done this
<Alpounet> yziquel, you do not want the rest of the module to know about this #dirtymethod ?
<yziquel> Alpounet: the module, i do not mind, but outside, i do mind.
<Alpounet> hmm
<Alpounet> can't dirty method be a function of type myobject -> myobject instead of a method of myobject ?
alexyk has quit []
<Alpounet> (so just a normal function of the module, which wouldn't be included in the public signature)
<yziquel> Alpounet: that's not really the purpose of why i choose objects in the first place. And not really. These objects are identifiers...
<yziquel> Alpounet: i need to be able to compare them with a ==.
<Alpounet> Ok... Well, I can't find anything of help for you, sorry
<yziquel> Alpounet: thanks...
<Alpounet> hmm... isn't it possible by creating a module in the class (if it's possible) ? Or some tricky way like that
Ppjet6 has joined #ocaml
<yziquel> Ah! Ok... found out: the #dirtymethod was here to finalise the creation of the object with extra information. Guarding the object should be enough...
<Alpounet> fine
alexyk has joined #ocaml
komar_ has quit ["WeeChat 0.2.6.2-ohshi"]
travisbrady has quit []
alexyk has quit [Client Quit]
authentic has quit [SendQ exceeded]
ulfdoz has quit [Read error: 110 (Connection timed out)]
ikaros has quit [Remote closed the connection]
alexyk has joined #ocaml
Lomono has quit ["Don't even think about saying Candlejack or else you wi"]
mpwd has quit []
Associat0r has quit []
Lomono has joined #ocaml