mbishop changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | Grab Ocaml 3.10.0 from http://caml.inria.fr/ocaml/release.html (featuring new camlp4 and more!)
seafoodX has joined #ocaml
ramki has joined #ocaml
pantsd has quit [Read error: 110 (Connection timed out)]
m3ga has joined #ocaml
diakopter has quit [Remote closed the connection]
ramki has quit ["Leaving"]
jlouis has joined #ocaml
diakopter has joined #ocaml
m3ga has quit ["disappearing into the sunset"]
seafoodX has quit []
dbueno has quit ["This computer has gone to sleep"]
jlouis_ has quit [Connection timed out]
threeve has joined #ocaml
cmeme has quit [Excess Flood]
cmeme has joined #ocaml
Mr_Awesome has joined #ocaml
seafoodX has joined #ocaml
buluca has quit [Read error: 113 (No route to host)]
EliasAmaral has joined #ocaml
psnively has quit []
mvitale has quit ["Leaving"]
threeve has quit []
seafoodX has quit []
joshcryer has quit [Client Quit]
seafoodX has joined #ocaml
pattern has quit [Read error: 110 (Connection timed out)]
pattern has joined #ocaml
seafoodX_ has joined #ocaml
seafoodX_ has quit [Client Quit]
seafoodX has quit [Read error: 104 (Connection reset by peer)]
[azoic] has joined #ocaml
seafoodX has joined #ocaml
Abo-Marwan has quit [Read error: 104 (Connection reset by peer)]
screwt8 has quit [Read error: 104 (Connection reset by peer)]
[azoic] has quit [Read error: 110 (Connection timed out)]
screwt8 has joined #ocaml
joshcryer has joined #ocaml
seafoodX has quit []
seafoodX has joined #ocaml
Abo-Marwan has joined #ocaml
pantsd has joined #ocaml
buluca has joined #ocaml
love-pingoo has joined #ocaml
love-pingoo has quit ["Connection reset by pear"]
szs1 has joined #ocaml
thermoplyae has joined #ocaml
Mr_Awesome has quit [Read error: 110 (Connection timed out)]
leo037 has joined #ocaml
<thermoplyae> is anyone familiar with getting camlimages to place nicely with OCamlMakefile ?
thermoplyae has quit ["daddy's in space"]
<fremo> camlimages ?
buluca has quit [Read error: 113 (No route to host)]
<tsuyoshi> how do the null bytes get into your filenames in the first place?
<tsuyoshi> I don't think it's really appropriate for the standard library to check all the filenames like that.. there are a lot of bad things that could be put into a filename besides nulls
<tsuyoshi> and doing all those checks is going to be a waste most of the time
<tsuyoshi> it would be better just to have one function that you could use to check unsafe input
<fremo> tsuyoshi: checking a path for nul char is not expensive compared to a syscall
<fremo> Filename should be checked
kelaouchi has quit ["leaving"]
<tsuyoshi> but it only needs to be checked if you're taking outside input and putting it into a filename
<fremo> it's specified in Filename doc: << The result is not specified if the argument is not a valid file name (for example, under Unix if there is a NUL character in the string). >>
<tsuyoshi> I mean, I've never written any code that does that
<tsuyoshi> if I ever did.. I would check for /, \0, and possibly other things
<fremo> yes, to be sure, in my programs, I would check everytime...
<tsuyoshi> or maybe just base64 encode it
<fremo> heh :)
<fremo> # open Filename;;
<fremo> # check_suffix "test.a\000.b" "b";;
<fremo> - : bool = true
<fremo> # check_suffix "test.a" "b";;
<fremo> - : bool = false
<fremo> I didn't read the thread "Bug in Filename.basename" on the mailing list.
joshcryer has quit [Read error: 110 (Connection timed out)]
<tsuyoshi> cool, new version of lablgtk
kelaouchi has joined #ocaml
<fremo> version 2, it's a big release, right ?
<fremo> 2.10
smimou has quit ["bli"]
smimou has joined #ocaml
EliasAmaral has quit [Remote closed the connection]
buluca has joined #ocaml
<flux> tsuyoshi, a nul char ends up to your data when you unescape some other data, such as %00 in an url
<flux> of course you should check for your data, but I don't know other cases when ocaml code and the system call are in disagreement on interpreting the data
<flux> I think such a check_suffix should be perfectly reasonable way to check for valid kind of file name; you would expect that if the data passes that test, the file cannot point to /etc/fstab, because it doesn't have extension .a
<flux> I wonder though why Printf.printf fails with the nul-char also..
<flux> not checking the \0-characer leads to this specification of open_in: opens the file if the file is readable. if file is not found, raise Sys.xxx. part of the time opens another while than the one in the parameter.
<flux> ;)
<flux> uh, s/while/file/
G has joined #ocaml
<flux> also, perhaps on some distant point in the future ocaml will be ported to an os that supports -all- bytes in file names, so the check better be in the ocaml-os-interface ;)
G_ has quit [Read error: 110 (Connection timed out)]
leo037_ has joined #ocaml
leo037 has quit [Read error: 110 (Connection timed out)]
seafoodX has quit []
mordaunt has quit [Read error: 104 (Connection reset by peer)]
seafoodX has joined #ocaml
jussx has joined #ocaml
jussx has quit [Client Quit]
pierpa has joined #ocaml
seafoodX has quit []
ita has joined #ocaml
Oatschool has quit [Read error: 104 (Connection reset by peer)]
CRathman has joined #ocaml
seafoodX has joined #ocaml
Oatmeat has joined #ocaml
Oatmeat has quit [Client Quit]
Oatmeat has joined #ocaml
Tetsuo has joined #ocaml
pango has quit [Remote closed the connection]
pango has joined #ocaml
ita has quit [Read error: 110 (Connection timed out)]
Mr_Awesome has joined #ocaml
<jdavis_> Does OCaml allow overriding a method?
<jdavis_> Ok, found the answer.
Mr_Awesome has quit [Read error: 110 (Connection timed out)]
seafoodX has quit []
eck has left #ocaml []
<jonathanv> the answer: no
ygrek has joined #ocaml
diakopter has quit [Remote closed the connection]
diakopter has joined #ocaml
pierpa has quit [Read error: 113 (No route to host)]
leo037_ is now known as leo037
tsuyoshi has quit [Read error: 110 (Connection timed out)]
postalchris has joined #ocaml
bluestorm_ has joined #ocaml
joshcryer has joined #ocaml
Demitar has quit [Connection timed out]
jdavis has joined #ocaml
buluca has quit ["Leaving."]
postalchris has quit [Read error: 110 (Connection timed out)]
CRathman has quit ["ChatZilla 0.9.78.1 [Firefox 2.0.0.7/2007091417]"]
ita has joined #ocaml
smimou has quit ["bli"]
leo037 has quit ["Leaving"]
thermo_ has joined #ocaml
<thermo_> Has anyone here used lablgtk, or is that more appropriate for #gtk?
<ita> i have, and i do not like it
CRathman has joined #ocaml
<ita> thermo_: the source distribution contains lots of examples, it should be straightforward
<ita> thermo_: if you ask about gtk, try the gimpnet irc server too, there are more gnomes there
<thermo_> ah, great
<thermo_> I've been wandering through a 3rd party tutorial, I didn't even think to try the packaged examples
<thermo_> I'll sift there first. Thanks
<thermo_> sweet, found something almost immediately. thanks again for pointing out the obvious :)
thermo_ has quit ["Leaving"]
CRathman has quit ["ChatZilla 0.9.78.1 [Firefox 2.0.0.7/2007091417]"]
jlouis_ has joined #ocaml
kelaouchi has quit ["leaving"]
jlouis has quit [Read error: 110 (Connection timed out)]
leo037 has joined #ocaml
ita is now known as aumon
ygrek has quit [Remote closed the connection]
postalchris has joined #ocaml
aumon has left #ocaml []
bluestorm_ has quit ["Konversation terminated!"]
kelaouchi has joined #ocaml
tty56_ has joined #ocaml
tty56 has quit [Read error: 110 (Connection timed out)]
Oatschool has joined #ocaml
Oatmeat has quit ["Leaving"]
Oatschool has quit [Read error: 104 (Connection reset by peer)]
Oatschool has joined #ocaml
oc13 has joined #ocaml
buluca has joined #ocaml
azoic has joined #ocaml
azoic has quit [Client Quit]
azoic has joined #ocaml
l_a_m has quit [Remote closed the connection]
G_ has joined #ocaml
Demitar has joined #ocaml
G has quit [Read error: 110 (Connection timed out)]
oc13 has quit [Remote closed the connection]
jdavis has quit [Read error: 113 (No route to host)]
jdavis has joined #ocaml
postalchris has quit [Read error: 110 (Connection timed out)]
iratsu has quit [Remote closed the connection]
leo037 has quit ["Leaving"]
ikaros has joined #ocaml
baruk has joined #ocaml
Tetsuo has quit ["Leaving"]
dbueno has joined #ocaml
pantsd has quit [Read error: 110 (Connection timed out)]
mordaunt has joined #ocaml
ikaros has quit ["segfault"]