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
X-Scale has joined #ocaml
aklt has quit ["sweeep"]
_zack has quit ["Leaving."]
aldebrn has joined #ocaml
holmak has joined #ocaml
travisbrady has joined #ocaml
mfp has quit [Read error: 104 (Connection reset by peer)]
mfp has joined #ocaml
Cafuneba has joined #ocaml
maxote has quit [Read error: 110 (Connection timed out)]
maxote has joined #ocaml
caligula__ has joined #ocaml
caligula_ has quit [Read error: 145 (Connection timed out)]
seafood has joined #ocaml
lutter has joined #ocaml
holmak has quit ["Leaving"]
seafood has quit [Read error: 60 (Operation timed out)]
seafood has joined #ocaml
holmak has joined #ocaml
mfp has quit [Read error: 110 (Connection timed out)]
mfp has joined #ocaml
holmak has quit [Connection timed out]
holmak has joined #ocaml
holmak_ has joined #ocaml
holmak_ has quit [Read error: 60 (Operation timed out)]
holmak has quit [Read error: 60 (Operation timed out)]
jonafan_ has joined #ocaml
Snark has joined #ocaml
seafood has quit [Read error: 110 (Connection timed out)]
jonafan has quit [Read error: 110 (Connection timed out)]
Snark has quit [Read error: 113 (No route to host)]
seafood has joined #ocaml
smimou has joined #ocaml
seafood has quit [Read error: 104 (Connection reset by peer)]
_zack has joined #ocaml
jado has joined #ocaml
<jado> hi, is there a function 'a -> string that displays the variables like the toplevel ?
<jado> i've tried output_value but that's not really what i want
<Camarade_Tux> ExtLib has a Std.dump function afaik but it will only dump and won't format
<jado> ok i've installed extlib
<jado> how can i use it now ? in the toplevel for instance ?
<jado> #use "topfind" ;; #require "extlib" ;; ok Std.dump is fine, thanks
hkBst has joined #ocaml
<jado> it's weird i was able to use Std.dump, but now if i want to use ExtString.explode for instance i can't (unbound value)
<jado> oh, it's String.explode and not ExtString.explore
<jado> explode*
LeCamarade|Away is now known as LeCamarade
smimou has quit ["bli"]
jado has quit [Remote closed the connection]
ulfdoz has joined #ocaml
kaustuv has quit [Remote closed the connection]
lutter has quit [Remote closed the connection]
slash_ has joined #ocaml
marteo has joined #ocaml
<marteo> hello, where can I find an irc library/module for ocaml ?
<Camarade_Tux> there is at least mlbot: http://mestan.fr/ocaml/mlbot/ :)
<flux> marteo, unfortunately I don't know of a complete one. however, savonet project has one.
<flux> for example producing messages asynchronously after entering the main loop is impossible with it
<flux> I've addressed a few shortcomings with http://www.modeemi.cs.tut.fi/~flux/software/git/ocaml-irc.git/
Cafuneba has quit ["Leaving."]
kaustuv has joined #ocaml
<marteo> thanks, I'll look if it is enough for my needs.
kaustuv has quit [Remote closed the connection]
kaustuv has joined #ocaml
kaustuv has quit [Remote closed the connection]
Amorphous has quit [Read error: 104 (Connection reset by peer)]
kaustuv has joined #ocaml
Amorphous has joined #ocaml
_andre has joined #ocaml
kaustuv has quit [Remote closed the connection]
angerman has joined #ocaml
munga has quit [Remote closed the connection]
bombshelter13_ has joined #ocaml
willb has joined #ocaml
ulfdoz has quit [Read error: 110 (Connection timed out)]
mishok13 has joined #ocaml
jado has joined #ocaml
julm has joined #ocaml
kaustuv has joined #ocaml
gdmfsob has quit [Read error: 110 (Connection timed out)]
gdmfsob has joined #ocaml
mishok13 has quit [Read error: 110 (Connection timed out)]
angerman has quit []
Lomono has joined #ocaml
flx_ has joined #ocaml
anders^^ has quit [hubbard.freenode.net irc.freenode.net]
flux has quit [hubbard.freenode.net irc.freenode.net]
__marius__ has quit [hubbard.freenode.net irc.freenode.net]
acatout has quit [hubbard.freenode.net irc.freenode.net]
anders^^ has joined #ocaml
acatout has joined #ocaml
__marius__ has joined #ocaml
palomer has joined #ocaml
<palomer> bonjour!
* palomer is at pps
<Camarade_Tux> lol @ your hostname :p
<palomer> why lol?
<Camarade_Tux> weren't you in Canada not so long ago?
<palomer> yeah, 2 weeks ago
<julm> Camarade_Tux: and he said he would come in France :P
ulfdoz has joined #ocaml
* palomer is probably going to release oset into the wild soon
<Camarade_Tux> reminds me I may have something nice to do with it :)
<Camarade_Tux> and I didn't know you would be coming to France ;)
<palomer> do something with it!
<palomer> it needs a killer app
<Camarade_Tux> he, wouldn't be a killer app ;p
<Camarade_Tux> and I don't remember well the different names but I may only use one of the subprojects :)
<palomer> there's oset and then there's seditable which is simply a camlp4 extension
Snark has joined #ocaml
<Camarade_Tux> I'll have to check, my memory is sometimes flaky :p
LeCamarade has quit ["Gone."]
angerman has joined #ocaml
<palomer> im updating the documentation (in a big way)
amuck_ has joined #ocaml
Jedai has joined #ocaml
mjs22 has joined #ocaml
angerman_ has joined #ocaml
travisbrady has quit []
Lomono has quit ["Don't even think about saying Candlejack or else you wi"]
angerman has quit [Read error: 110 (Connection timed out)]
<palomer> well...who wants to learn more about oset?
<palomer> just finished some decent documentation and want someone to try it out
<palomer> it's pretty cool
mjs22 has quit ["Leaving"]
jonafan_ is now known as jonafan
* palomer hears crickets
amuck_ has quit []
amuck_ has joined #ocaml
marmottine has joined #ocaml
<flx_> :)
angerman_ has quit []
<jimmyb21871> palomer: I'll bite: what's oset?
travisbrady has joined #ocaml
bluestorm has joined #ocaml
ulfdoz has quit [Read error: 60 (Operation timed out)]
wysek has quit [Read error: 110 (Connection timed out)]
<palomer> yay!
<palomer> it's a structure editor toolkit
<palomer> wanna give it a try?
<palomer> it's really simple to use
<palomer> I just need someone to test things out a little before I send it to the wild
<jimmyb21871> I'll take a look
<bluestorm> haha palomer
<bluestorm> so you are "Jacques"
<palomer> I've hidden it for so long
<palomer> anyways, I just need someone to install it
<jimmyb21871> Let me check out your documentation and read up about it for a bit first... and I'll let you know what I think palomer
<bluestorm> i've got a lot of warnigns compiling palomer
<bluestorm> ocamlfind: [WARNING] The DLL dllsdlstub.so occurs in multiple directories: /opt/godi/lib/ocaml/site-lib/stublibs
wysek has joined #ocaml
peddie_ has joined #ocaml
<bluestorm> palomer: works at my place
<palomer> err
<palomer> compiling what exactly?
<palomer> did you try the examples?
<palomer> getting-start/code
<palomer> http://code.google.com/p/eastwest/ <--and can you try eastwest?
<bluestorm> i tried 1-calculator and sincurve
peddie has quit [Read error: 110 (Connection timed out)]
Stalafin has joined #ocaml
wysek has quit [Read error: 60 (Operation timed out)]
Stalafin has left #ocaml []
jm has joined #ocaml
julm has quit [Nick collision from services.]
jm is now known as julm
wysek has joined #ocaml
* palomer is off
<palomer> hopefully I'll release everything tomorrow
palomer has quit ["Leaving"]
marmottine has quit [Read error: 110 (Connection timed out)]
marmottine has joined #ocaml
|CrashOverride| has joined #ocaml
|CrashOverride| has left #ocaml []
marmottine has quit ["mv marmotine Laurie"]
angerman has joined #ocaml
jadoo has joined #ocaml
marmottine has joined #ocaml
jado has quit [Read error: 113 (No route to host)]
travisbrady has quit []
jadoo has quit [Remote closed the connection]
sramsay has joined #ocaml
Snark has quit ["Ex-Chat"]
marmottine has quit ["mv marmotine Laurie"]
smimou has joined #ocaml
_zack has quit ["Leaving."]
_zack has joined #ocaml
lessshaste has joined #ocaml
<lessshaste> hi all
<lessshaste> I am looking for some code to convert propositional logic to cnf
yziquel has joined #ocaml
<yziquel> hi. when loading some .cma in the toplevel, I get "Cannot load required shared library dllfreeling_stubs. Reason: ./dllfreeling_stubs.so: ./dllfreeling_stubs.so: undefined symbol: _Z18caml_string_lengthl."
<yziquel> Shouldn't caml_string_length be available from the toplevel?
<yziquel> i mean, it's declared in mlvalues.h...
lessshaste has quit ["Leaving"]
lesshaste has joined #ocaml
<lesshaste> hi
<lesshaste> thanks for that code.. what I want to do is convert to cnf
<lesshaste> which means a) I need to produce input in a format this code understands and
<lesshaste> b) i need to be able to call the code with my zero knowledge of ocaml :)
<lesshaste> I am not optimistic :)
<kaustuv> I would recommend stepping through the examples from top to bottom in: http://www.cl.cam.ac.uk/~jrh13/atp/index.html
dickinsm has joined #ocaml
<kaustuv> if you don't want to learn ocaml, I'm afraid you'd have to be much more specific about what your input and output formats are
<lesshaste> kaustuv, oh I can do that
<lesshaste> kaustuv, I have simple code that produce propositional calculus so I can happily modify the format to anything convenient
<lesshaste> kaustuv, the problem is that I need it in CNF to feed into a SAT solver
Ian-k has joined #ocaml
<kaustuv> well, the code in prop.ml might give you the general idea of how to write a to_cnf pass
<yziquel> anyone for caml_string_list not available from the bytecode interpreter?
<yziquel> caml_string_length, sorry...
<kaustuv> yziquel: since that symbol is mangled, I suspect there is some ML code that calls caml_string_length
<kaustuv> The C symbol should be just caml_string_length
<yziquel> kaustuv: C code, from a stub C code file..
<yziquel> kaustuv: there's no ML code that calls for caml_string_length.
<kaustuv> Aha, C++
<kaustuv> You're out of luck
<yziquel> kaustuv: yes, rewriting the swig module for ocaml.
<kaustuv> You have to tell the C++ compiler not to mangle the symbol caml_string_length.
<yziquel> joinig #c++ to try to get some help. there often quite unhelpful, though...
Modius_ has joined #ocaml
<lesshaste> so as a concrete example I currently have say ( (a111 & b111 & c111) | (a112 & b112 & c112) ) & ( !(a111 & b211 & c111) | !(a112 & b212 & c112) ) & ( !(a121 & b111 & c111) | !(a122 & b112 & c112) ) & ( (a121 & b211 & c111) | (a122 & b212 & c112) )
Modius has quit [Read error: 60 (Operation timed out)]
<lesshaste> kaustuv, actually ((a111 & b111 & c111) | (a112 & b112 & c112) ) & !((a111 & b211 & c111) | (a112 & b212 & c112) ) & !((a121 & b111 & c111) | (a122 & b112 & c112) ) & ((a121 & b211 & c111) | (a122 & b212 & c112) ) but I don't that matters to this conversation :)
bombshelter13_ has quit []
_andre has quit [Read error: 60 (Operation timed out)]
_andre has joined #ocaml
smimou has quit ["bli"]
Ian-k has left #ocaml []
_andre has quit ["leaving"]
Jedai has quit ["When two people dream the same dream, it ceases to be an illusion. KVIrc 3.4.2 Shiny http://www.kvirc.net"]
kaustuv has quit [Read error: 104 (Connection reset by peer)]
kaustuv has joined #ocaml
bluestorm has quit [Remote closed the connection]
angerman has quit []
<yziquel> kaustuv: thanks. problem 1 solved. going on to problem 2.
<kaustuv> yziquel: for my own notes, what's the magic required to make C++ work with ocaml?
hkBst has quit [Read error: 104 (Connection reset by peer)]
<yziquel> kaustuv: extern "C" { #include <caml/blah.h> #include <caml/reblah.h> }
<yziquel> kaustuv: but with a bit of luck, i'll have a swig module ready one day for you.
<kaustuv> Formidable ! Merci.
willb has quit [Read error: 60 (Operation timed out)]
dickinsm has left #ocaml []
marteo has quit ["Debian GNU/Hurd is Good."]
lesshaste has quit ["Leaving"]
Associat0r has joined #ocaml
Associat0r has quit [Client Quit]
<yziquel> http://ocaml.pastebin.com/m4c6d48a1 by the way, the swig module produces this code for now. Completely unsatisfying for methods as it stands, but i've got a question about object typing, here: I want to have a virtual class, tokenizer, defining a type abreviation, and for each C++ constructor, another class. How should I declare in the .mli file that tokenizer_0 is a class that instantiates objects of type tokenizer? What's the co
<yziquel> Moreover, what do you guys think of this design choice?
kaustuv has quit [Remote closed the connection]
kaustuv has joined #ocaml
<yziquel> in this context, i get confused by "class types" and "type abreviations": when you write "class tokenizer_0 : string -> tokenizer", must tokenizer be a class type? or is a type abreviation sufficient?
mgodshall has quit [Read error: 110 (Connection timed out)]
amuck_ has quit []