hcarty 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
tmaeda is now known as tmaedaZ
ngood has joined #ocaml
ngood has left #ocaml []
Alpounet has quit ["Leaving"]
onigiri has quit []
Ringo48 has quit ["Leaving"]
ngood has joined #ocaml
qumak has joined #ocaml
ngood has left #ocaml []
ski_ has quit ["Lost terminal"]
slash_ has quit [Client Quit]
sergeykish has quit [Read error: 110 (Connection timed out)]
Ringo48 has joined #ocaml
knightrage has joined #ocaml
Ringo48 has quit [Remote closed the connection]
<knightrage> so im using ocamllex, and im trying to do a regex like (unescaped version:) [^\]*) , but im not sure how to do the char class WITH an additional string behind it. how can i do this? ive been trying various possibilities but cant seem to get it to work
Ringo48 has joined #ocaml
Ringo48 has quit [Remote closed the connection]
Ringo48 has joined #ocaml
ski_ has joined #ocaml
<knightrage> how do you concate a string and char?
<knightrage> concat
tmaedaZ is now known as tmaeda
verte has joined #ocaml
caligula__ has quit [Read error: 104 (Connection reset by peer)]
caligula__ has joined #ocaml
<whale> is ocaml tail recursive?
<schme> whale: yes
kaustuv_ has joined #ocaml
Ched has quit ["Ex-Chat"]
verte has quit ["~~~ Crash in JIT!"]
kaustuv has quit [Read error: 110 (Connection timed out)]
_wu has joined #ocaml
_wu has quit ["_wu has no reason"]
silas has joined #ocaml
<silas> Hi all.
f[x] has joined #ocaml
<Camarade_Tux> whale: watch out: all functions in the stdlib aren't tail-rec (read the doc, you'll get a warning)
<Camarade_Tux> and morning :)
sergeykish has joined #ocaml
kaustuv_` has joined #ocaml
kaustuv_ has quit [Read error: 104 (Connection reset by peer)]
hkBst has joined #ocaml
qumak has quit ["Leaving"]
dyaso has joined #ocaml
Yoric[DT] has joined #ocaml
julm has quit ["banzaï"]
Yoric[DT] has quit ["Ex-Chat"]
sergeykish has quit [Read error: 110 (Connection timed out)]
Jedai has joined #ocaml
rwmjones has quit [Read error: 148 (No route to host)]
tmaeda0 has joined #ocaml
tmaeda0 is now known as tmaedaZ
tmaedaZ is now known as tmaeda0
tmaeda has quit [Read error: 110 (Connection timed out)]
mattam has quit [Read error: 60 (Operation timed out)]
ulfdoz has joined #ocaml
onigiri has joined #ocaml
tmaeda0 is now known as tmaedaZ
|Jedai| has joined #ocaml
Jedai has quit [Read error: 145 (Connection timed out)]
sramsay has joined #ocaml
Snark has joined #ocaml
<Camarade_Tux> I'm going to do ipc within the same machine with several clients and a single server, any advice?
<Camarade_Tux> (and shared memory is a big *no*)
Associat0r has joined #ocaml
<mfp> Camarade_Tux: what sort of communication? message passing?
<Camarade_Tux> mfp: I'll probably transfer bitmaps/raw data (read from a file maybe) but my client/server model wasn't perfect
<Camarade_Tux> (just a sec, brb)
<Camarade_Tux> the goal is to have a central application that manages the communications between several processes, each process has a set of rights (can't read from/write to the disk for instance)
<Camarade_Tux> when a process needs to access a local file, it would have to ask the "manager" which will ask the process which is dedicated to file i/o for that, and then data goes back
<Camarade_Tux> it's a bit heavy but the motivation it to isolate a C library which will have security flaws and crashes that will be exploited
<mfp> Camarade_Tux: is this supposed to be synchronous, RPC-style, or async?
<mfp> for the former, you could try something like thrift
<mfp> for the latter, a message queue like ActiveMQ?
<Camarade_Tux> async afaict
Submarine has joined #ocaml
<Camarade_Tux> I had ocaml-dbus in mind
<mfp> heh ocaml-dbus' docs = the signature
<mfp> hmm D-Bus has got pretty rich types
<Camarade_Tux> activemq might be overkill, I'm doing/planning a web browser (that's why I'm concerned with security flaws in the underlying C/C++ rendering engine [webkit-gtk])
<Camarade_Tux> and I won't have many clients just half a dozen
<flux> camarade_tux, I'm not sure if ocaml-dbus is good for transferring big chunks of data..
<flux> camarade_tux, btw, for example Unix.write performs a copy of each block it writes - but I suppose such inefficiencies are small time players
sergeykish has joined #ocaml
<Snark> Camarade_Tux, if you say "half a dozen" because you think that's how many tabs people will have open at the same time... I think you're very wrong
<Camarade_Tux> Snark: no, and I usually have lots of tabs opened for a very long time ;)
<Snark> good :-)
<Camarade_Tux> (I have one tab I've been keeping for 45 days or so :p )
<Camarade_Tux> half a dozen is: file i/o, options manager, ui, network i/o, ...
<flux> I too have long-living tabs. long live firefox crash recovery :P (well, plain session recovery too)
<Camarade_Tux> flux: except when you have the download window opened, if you close firefox it won't ask you if you want to save your tabs ;)
<Camarade_Tux> (the download window or any other, including the pop-under ad from yesterday)
<flux> camarade_tux, the pop-under has hit me once..
<flux> I usually keep the download window closed
karasuman has quit ["Leaving."]
<Camarade_Tux> the only time I need to exchange big chunks of data is when displaying the page that has been rendered
<Camarade_Tux> but I *may* end up using shared memory for that, if the performance improvement is worth it and if only the interface may be compromised if the renderer has a security flaw
<flux> that's a prett big part of a web browser..
<Camarade_Tux> flux: yeah, I usually have it closed too but I my web browser is on desk2, there is nothing else and I don't have a taskbar so I don't see what is in background
<flux> I usually run in full-screen mode
<Camarade_Tux> I need to check what IE and chrome do
<sergeykish> Hello, I have installed Godi, and install ocamlbdb from it. How can I define that library in Makefile?
<sergeykish> I use OCamlMake file, Godi use some netbsd script
<flux> you have PACKS:= .. in your Makefile?
<sergeykish> no, thanks
<flux> so I take it you got it?-)
<flux> (the format is a comma-separated list of packages)
<Camarade_Tux> links to some chrome/chromium docs: http://tinyurl.com/nlbxn9 (git.ocamlcore.org)
tmaedaZ is now known as tmaeda0
rwmjones has joined #ocaml
tmaeda0 is now known as tmaedaZ
Associat0r has quit []
|Jedai| has quit [Read error: 110 (Connection timed out)]
onigiri has quit []
|Jedai| has joined #ocaml
julm has joined #ocaml
Submarine has quit [Read error: 60 (Operation timed out)]
<sergeykish> Found one of segfault sources - try (...) with _ -> () replaced by try (...) with | BDBError x -> () how can it be?
tmaedaZ is now known as tmaeda0
tmaeda0 is now known as tmaedaZ
tmaedaZ is now known as tmaeda0
onigiri has joined #ocaml
flux has quit [Read error: 113 (No route to host)]
ttamttam has joined #ocaml
hkBst has quit [Read error: 104 (Connection reset by peer)]
onigiri has quit [Read error: 54 (Connection reset by peer)]
flux has joined #ocaml
onigiri has joined #ocaml
onigiri_ has joined #ocaml
komar__ has quit [Read error: 110 (Connection timed out)]
sergeykish has quit [Read error: 110 (Connection timed out)]
albacker has joined #ocaml
<albacker> can someone explain me why is this happening http://pastebin.com/m84dfea
<albacker> the function should be called with a list and an int, and it should output the n-th entry of the list. (n is the 2nd argument)
verte has joined #ocaml
<Camarade_Tux> albacker: I think you want parens
<Camarade_Tux> like: my_list_function (List.tl my_list (n-1))
<Camarade_Tux> err
<julm> (List.tl my_list) (n-1)
<Camarade_Tux> like: my_list_function (List.tl my_list) (n-1)
<albacker> oh ok thanks.
<Camarade_Tux> julm: that's not fair, you're not watching tv at the same time -_-
<Camarade_Tux> albacker: :)
<albacker> en plus ti es francais :D
<albacker> tu * -_-
<julm> :P
<albacker> vous etes alors
<julm> albacker: il y a un #ocaml-fr sinon
<albacker> je ne suis pas francais, mais je fais mes etudes a Paris. Je peux dire que je parle anglais mieux que francais,donc ca sera mieux ici :)
<albacker> Sorry for the french.
<albacker> thanks for the help
ski_ has quit ["Lost terminal"]
<Camarade_Tux> :)
onigiri has quit [Read error: 113 (No route to host)]
onigiri_ is now known as onigiri
Pepe_ has quit [Read error: 110 (Connection timed out)]
komar__ has joined #ocaml
flux has quit [Read error: 60 (Operation timed out)]
flux has joined #ocaml
sramsay has quit [Remote closed the connection]
ttamttam has quit ["Leaving."]
ttamttam has joined #ocaml
mattam has joined #ocaml
onigiri has quit []
bombshelter13__ has quit [Read error: 104 (Connection reset by peer)]
Smerdyakov has joined #ocaml
Amorphous has quit [Read error: 110 (Connection timed out)]
Amorphous has joined #ocaml
dyaso has quit [Read error: 110 (Connection timed out)]
ttamttam has quit ["Leaving."]
kaustuv_ has joined #ocaml
kaustuv_` has quit [Read error: 110 (Connection timed out)]
<albacker> if (List.hd my_list) = [] then is this equal to if null my_list ?
<albacker> is the first one correct by the way? In my example here : http://pastebin.com/m127187ea it's not working.
<flux> albacker, well, is it a list of lists?
<flux> albacker, and what is null?
<Camarade_Tux> List.hd: "Raise Failure hd if the list is empty."
<albacker> I see
<albacker> so List.hd my_list = [] is non-sense in ocaml.
<albacker> well i'd assume it's nonsesnse everywhere :S
<albacker> since there's nothing to subtract as head.
<albacker> thanks
<Camarade_Tux> unless your list is a list of list as flux said
<gildor_> albacker: List.hd my_list = [] implies that my_list is a 'a list list
<gildor_> this is not a non-sense
<albacker> i see. [[];[1;23];[]] it's head is [] :)
<Camarade_Tux> yep :)
BiDOrD has joined #ocaml
verte has quit ["~~~ Crash in JIT!"]
ttamttam has joined #ocaml
ttamttam has quit [Client Quit]
<f[x]> why git repo selection is still not available in forge.ocamlcore web interface?
<hcarty> f[x]: It is not built in to the forge software (yet).
albacker has quit [Client Quit]
<hcarty> f[x]: It is currently up to the library authors to provide a link to the git repo, if they have one.
mehdid has quit ["Lost terminal"]
mehdid has joined #ocaml
astocko has joined #ocaml
onigiri has joined #ocaml
Smerdyakov has quit ["Leaving"]
onigiri_ has joined #ocaml
onigiri__ has joined #ocaml
onigiri has quit [Read error: 60 (Operation timed out)]
onigiri__ is now known as onigiri
<mfp> is there some PGOCaml maintainer around? I have a tiny patch to fix profiling in PGOCaml_generic (for Lwt and friends)
<mfp> in case anybody sees this (rwmjones? :) http://ocaml.pastebin.com/m7d007abd
<flux> heard of email?-)
<mfp> but but but, I'd have to read README or something
<mfp> the contact info given there looks old
<Camarade_Tux> for the record, I won't be playing with dbus and ipc until I have bindings to dbus-glib which probably won't happen before gobject-introspection stops being that bad which in turn may never happen
onigiri_ has quit [Read error: 113 (No route to host)]
<julm> xD
<mfp> Camarade_Tux: do you need to exchange values of complex types?
<mfp> also, I assume you don't need persistence (?)
<Camarade_Tux> mixing gtk/lablgtk's event loop with a dbus one is probably a bad idea, that's why I want dbus-glib which uses gtk's one
<mfp> if you don't mind writing your own broker (easy, maybe 2-3 hundred lines or so, depending on the complexity of the protocol, of course), you can build one on top of Lwt, which can use lablgtk's event loop
<Camarade_Tux> hmmm, that sounds ok
<mfp> actually hmm I've written a STOMP client implementation
<Camarade_Tux> btw, what gobject-introspection sees of dbus-glib: http://paste.lisp.org/display/86977 , some things seem missing ;-)
Yoric[DT] has joined #ocaml
<mfp> dunno how you'd do the event loop thingy, but I know it's possible
Smerdyakov has joined #ocaml
<Yoric[DT]> hi again
<mfp> hello Yoric[DT]
<Camarade_Tux> good evening Yoric[DT] :)
<Smerdyakov> Yoric[DT], still can't release more information on the MLstate language?
<Yoric[DT]> Unfortunately, not.
<Camarade_Tux> mfp: the only thing that annoys me with writing my own loop is making one that just completely sucks :)
<Yoric[DT]> (although I'm going to try lobbying to get approval)
<Camarade_Tux> Yoric[DT]: we'll just kidnap you and won't release you until we have more infos ;p
<mfp> Yoric[DT]: the language itself is meant to remain proprietary, for internal development, right?
<Yoric[DT]> mfp: no
<Yoric[DT]> mfp: the only question is how are we going to release it.
<mfp> now, that's surprising
astocko has quit [Read error: 104 (Connection reset by peer)]
<mfp> I thought it was going to be MLstate's secret weapon
<Smerdyakov> Does anyone want to help me gather data on programmer productivity with Ur/Web? (http://www.impredicative.com/ur/)
* Yoric[DT] is interested by Smerdyakov's results :)
onigiri has quit []
<Camarade_Tux> or I can try doing qt bindings while I can't do anything because of gobject-introspection :)
onigiri has joined #ocaml
Yoric[DT] has quit [Read error: 105 (No buffer space available)]
Yoric[DT] has joined #ocaml
komar__ has quit [Read error: 105 (No buffer space available)]
Submarine_ has joined #ocaml
Submarine has joined #ocaml
Submarine_ has quit [Read error: 104 (Connection reset by peer)]
<f[x]> hcarty, I understand that. It is awful.
Submarine has quit [Remote closed the connection]
Submarine has joined #ocaml
komar__ has joined #ocaml
tmaeda has joined #ocaml
Yoric[DT] has quit ["Ex-Chat"]
tmaeda0 has quit [Read error: 104 (Connection reset by peer)]
Submarine_ has joined #ocaml
tmaeda is now known as tmaedaZ
tmaedaZ is now known as tmaeda
Submarine_ has quit [Client Quit]
tmaeda has quit [Read error: 60 (Operation timed out)]
tmaeda has joined #ocaml
Snark has quit ["Ex-Chat"]
Submarine has quit [Client Quit]
Camarade_Tux is now known as Bored_Tux
Submarine has joined #ocaml
socka has joined #ocaml
<socka> hi, i'm trying to time a thread, how can i do that? http://paste.ubuntu.com/269967/
<flux> well, that looks like it would work, atleast in cpu seconds?
<socka> it seems the "time" of the main thread stops when i write Thread.join, then whatever the real time of the call of 'f x' is, it always displays 0.016 (even if it's seconds)
<flux> socka, what do you do in the thread?
<flux> socka, for example, if you just sleep, CPU seconds won't advance
<socka> i use Graphics.read_key()
<flux> well, I would expect it not to consume any CPU time
<flux> you may want to use Unix.gettimeofday () to get real-world timings
<socka> go thanks
<socka> i'll try tomorrow i have to go sorry
<socka> -go+ok
<flux> :)
<flux> good luck
<socka> : )
tmaeda0 has joined #ocaml
<Bored_Tux> Graphics has trouble with threads
<Bored_Tux> s/trouble/troubles/
<Bored_Tux> basically, if a threading test fails with Graphics, it's probably not the threading fault
<flux> bored_tux, even if you do Graphics only from one thread?
socka has quit [Read error: 148 (No route to host)]
<Bored_Tux> well, one thread would have no reason to fail but I had troubles when polling for keys and displaying at the same time
<Bored_Tux> (snake game)
tmaeda has quit [Read error: 110 (Connection timed out)]
f[x] has quit [Read error: 110 (Connection timed out)]
Submarine has quit [Client Quit]
kaustuv_ is now known as kaustuv
Bored_Tux is now known as Camarade_Tux
tmaeda0 is now known as tmaedaZ
tmaedaZ is now known as tmaeda0
tmaeda0 has quit [Remote closed the connection]
tmaeda has joined #ocaml
orbitz_ has joined #ocaml
Narrenschiff_ has joined #ocaml
orbitz has quit [Nick collision from services.]
orbitz_ has quit [Client Quit]
orbitz has joined #ocaml
julm_ has joined #ocaml
julm has quit [Nick collision from services.]
julm_ is now known as julm
<flux> any suggestions on what kind of GC parameters I should set to minimize the length of stalls?
<flux> I am able to explicitly call GC functions a hundred times per second, but it shouldn't take much time when I do that :)
<Camarade_Tux> maybe reduce space_overhead
Narrenschiff_ has quit []
<mfp> flux: disable compaction, that causes long pauses
<mfp> max_overhead > 1000000
shazam has joined #ocaml
shazam is now known as palomer
<palomer> oh my
<palomer> I've been defending c++ for the last two weeks
<palomer> I just realized that it was because I haven't used it in such a long time
<palomer> like an old friend who used to drive you nuts...but you forgot
<julm> :D
<palomer> :D
<palomer> julm, check out my project lately?
<julm> yep, you did some commits on eastwest I've seen
orbitz has quit [Read error: 110 (Connection timed out)]
<palomer> yeah, fixed a rather large bug and permitted literals in patterns
tmaeda is now known as tmaedaZ
tmaedaZ is now known as tmaeda
<Camarade_Tux> hahaha http://www.haxney.org/2009/08/its-alive.html <- a web browser embedded in emacs ^^
<julm> there is also Emacs/W3 (since at least 2001) http://www.gnu.org/software/w3/
<Camarade_Tux> that one must be using webkit-gtk though ='(
orbitz has joined #ocaml
orbitz has quit [Read error: 60 (Operation timed out)]
kaustuv_ has joined #ocaml
<Camarade_Tux> so, I just found out the author of http://sds.podval.org/ocaml-sucks.html is currently writing OCaml code at Jane Street :P
<mbishop> heh
<julm> and is one of the dev of Emacs/W3
kaustuv has quit [Read error: 110 (Connection timed out)]
Ppjet6 has joined #ocaml
Ppjet6 is now known as Pepe_
Smerdyakov has quit ["Leaving"]
sporkmonger has joined #ocaml
dyaso has joined #ocaml