flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | 3.11.0 out now! Get yours from http://caml.inria.fr/ocaml/release.html
jeddhaberstro has joined #ocaml
ulfdoz has quit [Read error: 110 (Connection timed out)]
Kerris7 has quit ["Don't even think about saying Candlejack or else you wi"]
sOpen has joined #ocaml
seafood has joined #ocaml
alexyk has quit []
seafood has quit [Read error: 104 (Connection reset by peer)]
seafood has joined #ocaml
AxleLonghorn has left #ocaml []
Smerdyakov has quit ["Leaving"]
AxleLonghorn has joined #ocaml
Amorphous has quit [Read error: 110 (Connection timed out)]
Amorphous has joined #ocaml
AxleLonghorn has left #ocaml []
Ched has quit [Read error: 60 (Operation timed out)]
Ched has joined #ocaml
seafood has quit []
AxleLonghorn has joined #ocaml
seafood has joined #ocaml
alexyk has joined #ocaml
seafood has quit []
alexyk has quit []
alexyk has joined #ocaml
AxleLonghorn has quit [Read error: 110 (Connection timed out)]
alexyk has quit []
sOpen has quit [Read error: 110 (Connection timed out)]
vithos has quit [Connection timed out]
sOpen has joined #ocaml
verte has joined #ocaml
alexyk has joined #ocaml
mickraus has quit [Remote closed the connection]
alexyk has quit []
erikl has joined #ocaml
<erikl> what am I doing wrong? -> http://pastie.org/473496
<thelema> erikl: what's the malfunction?
<flux> atleast you're not responding ot PING messages
<flux> it is likely the server expects one to be responded during the handshake
<flux> (iirc)
jeddhaberstro has quit [Success]
jeddhaberstro has joined #ocaml
Associat0r has quit []
jeddhaberstro has quit [Read error: 60 (Operation timed out)]
jeddhaberstro has joined #ocaml
<flux> erikl, it can be helpful to run wireshark or an equivalent (tcpflow might be suitable) while trying that out
<flux> also an ocaml irc library exists, but it fails in the documentation side
Camarade_Tux has joined #ocaml
jeddhaberstro has quit [Connection reset by peer]
jeddhaberstro has joined #ocaml
komar_ has joined #ocaml
r0bby has quit [Client Quit]
r0bby has joined #ocaml
<erikl> thelema, flux: thank you
erikl has quit ["WeeChat 0.2.6.1"]
angerman has joined #ocaml
jeddhaberstro has quit [Read error: 110 (Connection timed out)]
ztfw has joined #ocaml
vithos has joined #ocaml
schmx has joined #ocaml
<schmx> g
<schmx> g'day
tombom has joined #ocaml
ztfw has quit [Read error: 110 (Connection timed out)]
erikl has joined #ocaml
monadic_kid has joined #ocaml
jeanbon has joined #ocaml
Kerris7 has joined #ocaml
slash_ has quit [Client Quit]
seafood has joined #ocaml
angerman has quit []
seafood has quit []
<Camarade_Tux> I don't get why the result of Str.replace_first is only "Z" and not "Z_B_C" : http://ocaml.pastebin.com/m1750b40b , does anyone know why ?
<flux> hmm
<Camarade_Tux> I just tried with Str.string_match and Str.matched_string, and it only shows "A" as being matched =/
<flux> hm, argument order
<flux> Str.replace_first (Str.regexp "B") "Z" "A_B_C"
<flux> template is the second argument, not the last
<Camarade_Tux> ><
<Camarade_Tux> flux, thanks a lot !
<flux> :)
jamii has joined #ocaml
<flux> you're better off using pcre anyway ;)
<Camarade_Tux> Str is fine for my needs : I only use it in two functions : "underscorize" and "uncamlcase" (my_fun, MyFun)
<Camarade_Tux> well, and where I just had that problem
<flux> Str is just scary, because its horribly thead-unsafe
<flux> even the parts that look thread safe
<Camarade_Tux> yeah, matched a string and then using Str.matched_string on another string is only funny the first time
<Camarade_Tux> (pfff, gitweb is slow to notice changes -_- )
smimou has quit [Read error: 110 (Connection timed out)]
hkBst has joined #ocaml
angerman has joined #ocaml
Yoric[DT] has joined #ocaml
<Camarade_Tux> actually that was me pushing to the wrong repository ;p
<flux> camarade_tux, maybe you should get some sleep :)
sOpen has quit [Read error: 110 (Connection timed out)]
<Camarade_Tux> flux, that's what I thought two hours ago, as soon as I got up ;)
Yoric[DT] has quit ["Ex-Chat"]
rwmjones has joined #ocaml
monadic_kid has quit ["Leaving"]
<Camarade_Tux> btw, is there any library to read tar files ?
<mrvn> libtar
<mrvn> Description: C library for manipulating tar archives
<flux> just reading tar files is simple anyway
<flux> I suppose even more so if you take advantage of bitstring
<Camarade_Tux> I think I'll rather write something in pure ocaml rather than use a C library
<flux> soo, how easy is it to use ocaml as a configuration language for a program?
<flux> I'm thinking of a toy application with a DSL, but just making use of ocaml would be so much simpler
<Camarade_Tux> flux, what do you mean ?
<flux> I want to express complicated schedulings and event handlings
<flux> the user would be able to reconfigure the program by modifying or creating new such expressions
<flux> if the expressions just were plain ocaml, I would be releaved from implementing a new language for that purpose
<flux> I suppose I could just compile the configuration parts as .ml and DynLink them in
<flux> will code loaded with DynLink be garbage collected out like the rest of the stuff?
<Camarade_Tux> actually that's something I've also tried to do and batteries has something to run ocaml* and give you back the result iirc, that could be useful
<Camarade_Tux> (I never gone very far along this project)
xevz has quit [Read error: 60 (Operation timed out)]
smimou has joined #ocaml
komar_ has quit [Read error: 60 (Operation timed out)]
komar_ has joined #ocaml
smimram has joined #ocaml
smimou has quit [Read error: 110 (Connection timed out)]
komar_ has quit [Remote closed the connection]
Komar_ has joined #ocaml
<gildor> flux: there is another way to use ocaml as a configuration language
<gildor> flux: consider the configuration file as the "main" of your program
Associat0r has joined #ocaml
xevz has joined #ocaml
verte has quit [Read error: 110 (Connection timed out)]
AxleLonghorn has joined #ocaml
angerman has quit []
_zack has joined #ocaml
ofaurax has joined #ocaml
<flux> gildor, well, I want to run the program for a very long time
<flux> gildor, and introduce configuration changes on a live system
<gildor> do you intend to use bytecode or native version ?
<flux> bytecode is sufficient
<gildor> you can consider your configuration file as input for toplevel
<gildor> you just have to "ocamlrun ocaml myprogr.cma myconfig.ml"
<gildor> and myconfig can do very complicated stuff to do configuration
<gildor> and call "MyProg.run ()" in the middle (before exit action)
<flux> so, how would one go about introducing live changes?
<gildor> I don't say i have the answer for all ;-)
<flux> the data I actually have is related to time scheduling and raising flags and connecting operations to such events
<flux> realistically I don't really need to run it all live
<flux> the system could infact be driven from cron
<gildor> but, you can instead of running the program from the configuration file
<flux> and just some parts of it would be running continuously
<gildor> output the configuration wished
<gildor> using "output_value"
<flux> well, most of the point in that kind of configuration is using higher order values
<gildor> take exactly the same structure, but instead "MyProg.run ctxt"
<gildor> you run "output_value stdout ctxt"
<gildor> and your program do a "input_value stdin"
<flux> and closures work only if send from the same binary
<gildor> to get the configuration updated
<flux> but, how about using toplevel programmatically?
<flux> is it much different from using dynlink?
<gildor> that what I am proposing to you
jeanb-- has joined #ocaml
<gildor> not very different indeed
<gildor> just another way
jeanbon has quit [Nick collision from services.]
jeanb-- is now known as jeanbon
* gildor need to go
Kerris7 has quit ["Don't even think about saying Candlejack or else you wi"]
<Camarade_Tux> well, ocaml-gir is progressing nicely but there is still work ahead
<flux> ocaml-gir's SCM per the forge web is empty?
<Camarade_Tux> try git : http://git.ocamlcore.org/cgi-bin/gitweb.cgi?p=ocaml-gir/ocaml-gir.git;a=summary
<Camarade_Tux> I should split it in several files
<Camarade_Tux> (warning : you may^Wwill find the code pretty ugly)
<flux> it's got.. some comments :-o
<flux> not that long
<flux> which is nice
<Camarade_Tux> it's not long but it's a block and sometimes feels like spaghetti
<Camarade_Tux> but yeah, it's short for what it does :)
<Camarade_Tux> for an old webkit, it generates about 1200 lines (should be more with more recent versions), two lines generated for each line written is a good ratio :)
ulfdoz has joined #ocaml
jbjohns has quit ["ChatZilla 0.9.84 [Firefox 3.0.10/2009042316]"]
alexyk has joined #ocaml
alexyk has quit [Remote closed the connection]
smimram has quit ["bli"]
AxleLonghorn has left #ocaml []
Kerris7 has joined #ocaml
rjack has joined #ocaml
tombom has quit ["Peace and Protection 4.22.2"]
ofaurax has quit ["Leaving"]
Alpounet has joined #ocaml
clog has joined #ocaml
_zack has quit ["Leaving."]
rjack has quit ["leaving"]
smimou has quit [Read error: 104 (Connection reset by peer)]
slash_ has joined #ocaml
smimou has joined #ocaml
esope has joined #ocaml
smimou has quit [Remote closed the connection]
Alpounet has quit ["Ex-Chat"]
_zack has joined #ocaml
esope has left #ocaml []
Yoric[DT] has joined #ocaml
Ched has quit [Read error: 145 (Connection timed out)]
_zack has quit ["Leaving."]
kaustuv has joined #ocaml
schmx has quit ["leaving"]
jeddhaberstro has joined #ocaml
<Camarade_Tux> gobject-introspection provides some nice things but it's really poorly documented, I've been trying to get the proper command-line for g-ir-scanner, I can't even reproduce one of their working example (it's in a Makefile)
smimou has joined #ocaml
jeddhaberstro has quit []
Ched has joined #ocaml
smimou has quit ["bli"]
smimou has joined #ocaml
Camarade_Tux is now known as Camarade
Camarade is now known as Camarade_Tux
syntaxfree has joined #ocaml
jeanb-- has joined #ocaml
jeanbon has quit [Nick collision from services.]
jeanb-- is now known as jeanbon
<flux> camarade_tux, yes, it would be great if it was split into modules, and infact if the modules formed a solid foundation for generating bindings (even if just for gtk) driven by a relatively simple main program, that would be terrific :)
<Camarade_Tux> flux, it should soon be able to build everything but gobject-introspection's gir (which is xml) is nearly^Wcompletely undocumented, I'll start splitting it then
<Camarade_Tux> but it will certainly remain something for lablgtk, it relies heavily on it (macros, types [polymorphic variants], signals...)
<flux> well, perhaps we can wait how generic QtCaml's C++ binding generator is, then :)
<Camarade_Tux> gobject-introspection can only introspect... gobjects (for instance, it relies on the *_get_type() functions), supporting .idl has been mentionned but I don't know if it will ever happen
<flux> but, if the parts doing introspection and the parts that generate code per that introspection were separated with a clean interface, perhaps there'd be something reusable left..
rwmjones has quit ["Closed connection"]
<Camarade_Tux> not necessarily, when defining a type in gtk, you actually define several functions that can be later used for casts and it's not sure it would work without these functions, but I'm starting to see how it could be done or at least tried, maybe with a plugin architecture
kaustuv has quit ["55d123b463044dbb577a67cc178b7552"]
<Camarade_Tux> btw, can anyone with gnome-autoconf run ./autogen.sh in 'git clone git://git.gnome.org/gir-repository' and send me the result ?
<Camarade_Tux> (yes, I don't have gnome, and I don't have kde, and I don't have xfce, and actually I don't have anything)
Ariens_Hyperion has joined #ocaml
<flux> what is 'the result'?
<flux> should I record its output to console?
<flux> I apparently need something else too
<flux> libtool.m4, pkg.m4
<Camarade_Tux> flux, only a tarball of the folder once autogen has completed
<Camarade_Tux> does it fail ?
<Camarade_Tux> maybe they rely on gobject-introspection
<Camarade_Tux> (although it shouldn't before the ./configure stage)
<Camarade_Tux> flux, hard to say
<Camarade_Tux> but I should be able to do that myself tomorrow, I'll have access to machines with gnome
<Camarade_Tux> thanks anyway :)
<flux> happy hacking :)
<Camarade_Tux> =)
sanguinev has joined #ocaml
ROLESWE has joined #ocaml
ROLESWE has left #ocaml []
sOpen has joined #ocaml
<Camarade_Tux> I sometimes find the streets unsure but when I'm at home, I don't fear dying
<Camarade_Tux> wrong channel...
Ariens_Hyperion has quit []
jeanbon has quit [Read error: 110 (Connection timed out)]
ulfdoz_ has joined #ocaml
komar__ has joined #ocaml
jeddhaberstro has joined #ocaml
Ariens_Hyperion has joined #ocaml
jli has left #ocaml []
Komar_ has quit [Read error: 113 (No route to host)]
hkBst has quit [Read error: 104 (Connection reset by peer)]
ulfdoz has quit [Read error: 101 (Network is unreachable)]
ulfdoz_ is now known as ulfdoz
komar__ has quit [Read error: 54 (Connection reset by peer)]
angerman has joined #ocaml
slash_ has quit [Client Quit]
Camarade_Tux has quit [Read error: 113 (No route to host)]
angerman has quit []
syntaxfree has quit [Read error: 110 (Connection timed out)]
rumbleca has quit [Remote closed the connection]
rumbleca has joined #ocaml
Yoric[DT] has quit ["Ex-Chat"]
sOpen has quit [Read error: 110 (Connection timed out)]
jeff__ has joined #ocaml
jeff__ is now known as jeff_s_
<jeff_s_> hi ocamlers, I'm wondering if anyone knows how to get ocaml to report its type checking decisions.
<jeff_s_> I have a function call in a place that would be a huge pain in the butt to pull out of its context, which is inside a functor inside a function that's mutually recursive with other functions.
<jeff_s_> Not an easy context to check manually :(
rjack has joined #ocaml
xerxes has joined #ocaml
jli has joined #ocaml
Ariens_Hyperion has left #ocaml []
<jli> do MLers simply use pattern matching for case statements?
seafood has joined #ocaml
<jeff_s_> yes
<jli> neat, thanks
<jeff_s_> yer welcome
<jli> are there functions like Common Lisp's every, some, etc., that take a predicate function and a list of elements and return a boolean?
<jeff_s_> List.for_all is one