00:16
X-Scale has joined #ocaml
00:29
aklt has quit ["sweeep"]
00:52
_zack has quit ["Leaving."]
01:17
aldebrn has joined #ocaml
01:30
holmak has joined #ocaml
01:42
travisbrady has joined #ocaml
01:43
mfp has quit [Read error: 104 (Connection reset by peer)]
02:00
mfp has joined #ocaml
02:09
Cafuneba has joined #ocaml
02:24
maxote has quit [Read error: 110 (Connection timed out)]
02:30
maxote has joined #ocaml
02:46
caligula__ has joined #ocaml
02:51
caligula_ has quit [Read error: 145 (Connection timed out)]
03:29
seafood has joined #ocaml
03:54
lutter has joined #ocaml
04:01
holmak has quit ["Leaving"]
04:13
seafood has quit [Read error: 60 (Operation timed out)]
05:18
seafood has joined #ocaml
05:34
holmak has joined #ocaml
05:46
mfp has quit [Read error: 110 (Connection timed out)]
05:46
mfp has joined #ocaml
05:52
holmak has quit [Connection timed out]
05:54
holmak has joined #ocaml
05:56
holmak_ has joined #ocaml
06:00
holmak_ has quit [Read error: 60 (Operation timed out)]
06:03
holmak has quit [Read error: 60 (Operation timed out)]
06:29
jonafan_ has joined #ocaml
06:29
Snark has joined #ocaml
06:39
seafood has quit [Read error: 110 (Connection timed out)]
06:46
jonafan has quit [Read error: 110 (Connection timed out)]
06:50
Snark has quit [Read error: 113 (No route to host)]
06:58
seafood has joined #ocaml
07:17
smimou has joined #ocaml
07:21
seafood has quit [Read error: 104 (Connection reset by peer)]
08:15
_zack has joined #ocaml
08:43
jado has joined #ocaml
08:44
<
jado >
hi, is there a function 'a -> string that displays the variables like the toplevel ?
08:44
<
jado >
i've tried output_value but that's not really what i want
08:45
<
Camarade_Tux >
ExtLib has a Std.dump function afaik but it will only dump and won't format
08:52
<
jado >
ok i've installed extlib
08:54
<
jado >
how can i use it now ? in the toplevel for instance ?
08:55
<
jado >
#use "topfind" ;; #require "extlib" ;; ok Std.dump is fine, thanks
09:12
hkBst has joined #ocaml
09:19
<
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)
09:20
<
jado >
oh, it's String.explode and not ExtString.explore
09:22
LeCamarade|Away is now known as LeCamarade
09:41
smimou has quit ["bli"]
09:50
jado has quit [Remote closed the connection]
10:00
ulfdoz has joined #ocaml
10:07
kaustuv has quit [Remote closed the connection]
10:11
lutter has quit [Remote closed the connection]
10:17
slash_ has joined #ocaml
10:36
marteo has joined #ocaml
10:37
<
marteo >
hello, where can I find an irc library/module for ocaml ?
10:46
<
flux >
marteo, unfortunately I don't know of a complete one. however, savonet project has one.
10:47
<
flux >
for example producing messages asynchronously after entering the main loop is impossible with it
10:54
Cafuneba has quit ["Leaving."]
11:10
kaustuv has joined #ocaml
11:13
<
marteo >
thanks, I'll look if it is enough for my needs.
11:16
kaustuv has quit [Remote closed the connection]
11:16
kaustuv has joined #ocaml
11:17
kaustuv has quit [Remote closed the connection]
11:21
Amorphous has quit [Read error: 104 (Connection reset by peer)]
11:23
kaustuv has joined #ocaml
11:33
Amorphous has joined #ocaml
12:03
_andre has joined #ocaml
12:59
kaustuv has quit [Remote closed the connection]
13:05
angerman has joined #ocaml
13:06
munga has quit [Remote closed the connection]
13:34
bombshelter13_ has joined #ocaml
14:13
willb has joined #ocaml
14:22
ulfdoz has quit [Read error: 110 (Connection timed out)]
14:26
mishok13 has joined #ocaml
14:27
jado has joined #ocaml
14:28
julm has joined #ocaml
14:30
kaustuv has joined #ocaml
14:41
gdmfsob has quit [Read error: 110 (Connection timed out)]
14:41
gdmfsob has joined #ocaml
14:52
mishok13 has quit [Read error: 110 (Connection timed out)]
14:53
angerman has quit []
15:05
Lomono has joined #ocaml
15:07
flx_ has joined #ocaml
15:08
anders^^ has quit [hubbard.freenode.net irc.freenode.net]
15:08
flux has quit [hubbard.freenode.net irc.freenode.net]
15:08
__marius__ has quit [hubbard.freenode.net irc.freenode.net]
15:08
acatout has quit [hubbard.freenode.net irc.freenode.net]
15:09
anders^^ has joined #ocaml
15:09
acatout has joined #ocaml
15:10
__marius__ has joined #ocaml
15:17
palomer has joined #ocaml
15:17
* palomer
is at pps
15:17
<
Camarade_Tux >
lol @ your hostname :p
15:19
<
Camarade_Tux >
weren't you in Canada not so long ago?
15:19
<
palomer >
yeah, 2 weeks ago
15:19
<
julm >
Camarade_Tux: and he said he would come in France :P
15:21
ulfdoz has joined #ocaml
15:21
* palomer
is probably going to release oset into the wild soon
15:21
<
Camarade_Tux >
reminds me I may have something nice to do with it :)
15:21
<
Camarade_Tux >
and I didn't know you would be coming to France ;)
15:22
<
palomer >
do something with it!
15:22
<
palomer >
it needs a killer app
15:24
<
Camarade_Tux >
he, wouldn't be a killer app ;p
15:24
<
Camarade_Tux >
and I don't remember well the different names but I may only use one of the subprojects :)
15:25
<
palomer >
there's oset and then there's seditable which is simply a camlp4 extension
15:32
Snark has joined #ocaml
15:33
<
Camarade_Tux >
I'll have to check, my memory is sometimes flaky :p
15:41
LeCamarade has quit ["Gone."]
15:41
angerman has joined #ocaml
15:41
<
palomer >
im updating the documentation (in a big way)
15:48
amuck_ has joined #ocaml
15:55
Jedai has joined #ocaml
16:01
mjs22 has joined #ocaml
16:02
angerman_ has joined #ocaml
16:04
travisbrady has quit []
16:10
Lomono has quit ["Don't even think about saying Candlejack or else you wi"]
16:16
angerman has quit [Read error: 110 (Connection timed out)]
16:18
<
palomer >
well...who wants to learn more about oset?
16:18
<
palomer >
just finished some decent documentation and want someone to try it out
16:18
<
palomer >
it's pretty cool
16:26
mjs22 has quit ["Leaving"]
16:29
jonafan_ is now known as jonafan
16:30
* palomer
hears crickets
16:37
amuck_ has joined #ocaml
16:41
marmottine has joined #ocaml
16:48
angerman_ has quit []
16:52
<
jimmyb21871 >
palomer: I'll bite: what's oset?
16:55
travisbrady has joined #ocaml
16:57
bluestorm has joined #ocaml
17:07
ulfdoz has quit [Read error: 60 (Operation timed out)]
17:08
wysek has quit [Read error: 110 (Connection timed out)]
17:09
<
palomer >
it's a structure editor toolkit
17:09
<
palomer >
wanna give it a try?
17:10
<
palomer >
it's really simple to use
17:12
<
palomer >
I just need someone to test things out a little before I send it to the wild
17:13
<
jimmyb21871 >
I'll take a look
17:14
<
bluestorm >
haha palomer
17:14
<
bluestorm >
so you are "Jacques"
17:14
<
palomer >
I've hidden it for so long
17:16
<
palomer >
anyways, I just need someone to install it
17:18
<
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
17:20
<
bluestorm >
i've got a lot of warnigns compiling palomer
17:20
<
bluestorm >
ocamlfind: [WARNING] The DLL dllsdlstub.so occurs in multiple directories: /opt/godi/lib/ocaml/site-lib/stublibs
17:25
wysek has joined #ocaml
17:26
peddie_ has joined #ocaml
17:31
<
bluestorm >
palomer: works at my place
17:36
<
palomer >
compiling what exactly?
17:37
<
palomer >
did you try the examples?
17:37
<
palomer >
getting-start/code
17:41
<
bluestorm >
i tried 1-calculator and sincurve
17:42
peddie has quit [Read error: 110 (Connection timed out)]
17:46
Stalafin has joined #ocaml
17:48
wysek has quit [Read error: 60 (Operation timed out)]
17:49
Stalafin has left #ocaml []
17:52
jm has joined #ocaml
17:52
julm has quit [Nick collision from services.]
17:52
jm is now known as julm
17:52
wysek has joined #ocaml
17:56
<
palomer >
hopefully I'll release everything tomorrow
17:56
palomer has quit ["Leaving"]
18:03
marmottine has quit [Read error: 110 (Connection timed out)]
18:04
marmottine has joined #ocaml
18:06
|CrashOverride| has joined #ocaml
18:06
|CrashOverride| has left #ocaml []
18:11
marmottine has quit ["mv marmotine Laurie"]
18:24
angerman has joined #ocaml
18:33
jadoo has joined #ocaml
18:44
marmottine has joined #ocaml
18:45
jado has quit [Read error: 113 (No route to host)]
18:54
travisbrady has quit []
19:01
jadoo has quit [Remote closed the connection]
19:07
sramsay has joined #ocaml
19:19
Snark has quit ["Ex-Chat"]
19:25
marmottine has quit ["mv marmotine Laurie"]
19:30
smimou has joined #ocaml
19:56
_zack has quit ["Leaving."]
20:02
_zack has joined #ocaml
20:55
lessshaste has joined #ocaml
20:55
<
lessshaste >
hi all
20:55
<
lessshaste >
I am looking for some code to convert propositional logic to cnf
21:11
yziquel has joined #ocaml
21:12
<
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."
21:13
<
yziquel >
Shouldn't caml_string_length be available from the toplevel?
21:14
<
yziquel >
i mean, it's declared in mlvalues.h...
21:15
lessshaste has quit ["Leaving"]
21:19
lesshaste has joined #ocaml
21:21
<
lesshaste >
thanks for that code.. what I want to do is convert to cnf
21:21
<
lesshaste >
which means a) I need to produce input in a format this code understands and
21:21
<
lesshaste >
b) i need to be able to call the code with my zero knowledge of ocaml :)
21:22
<
lesshaste >
I am not optimistic :)
21:23
dickinsm has joined #ocaml
21:23
<
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
21:23
<
lesshaste >
kaustuv, oh I can do that
21:24
<
lesshaste >
kaustuv, I have simple code that produce propositional calculus so I can happily modify the format to anything convenient
21:24
<
lesshaste >
kaustuv, the problem is that I need it in CNF to feed into a SAT solver
21:24
Ian-k has joined #ocaml
21:27
<
kaustuv >
well, the code in prop.ml might give you the general idea of how to write a to_cnf pass
21:27
<
yziquel >
anyone for caml_string_list not available from the bytecode interpreter?
21:28
<
yziquel >
caml_string_length, sorry...
21:28
<
kaustuv >
yziquel: since that symbol is mangled, I suspect there is some ML code that calls caml_string_length
21:28
<
kaustuv >
The C symbol should be just caml_string_length
21:29
<
yziquel >
kaustuv: C code, from a stub C code file..
21:29
<
yziquel >
kaustuv: there's no ML code that calls for caml_string_length.
21:34
<
kaustuv >
You're out of luck
21:34
<
yziquel >
kaustuv: yes, rewriting the swig module for ocaml.
21:35
<
kaustuv >
You have to tell the C++ compiler not to mangle the symbol caml_string_length.
21:36
<
yziquel >
joinig #c++ to try to get some help. there often quite unhelpful, though...
21:36
Modius_ has joined #ocaml
21:37
<
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) )
21:39
Modius has quit [Read error: 60 (Operation timed out)]
21:40
<
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 :)
21:41
bombshelter13_ has quit []
21:42
_andre has quit [Read error: 60 (Operation timed out)]
21:42
_andre has joined #ocaml
21:43
smimou has quit ["bli"]
21:52
Ian-k has left #ocaml []
21:54
_andre has quit ["leaving"]
22:00
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 "]
22:02
kaustuv has quit [Read error: 104 (Connection reset by peer)]
22:02
kaustuv has joined #ocaml
22:04
bluestorm has quit [Remote closed the connection]
22:09
angerman has quit []
22:11
<
yziquel >
kaustuv: thanks. problem 1 solved. going on to problem 2.
22:14
<
kaustuv >
yziquel: for my own notes, what's the magic required to make C++ work with ocaml?
22:14
hkBst has quit [Read error: 104 (Connection reset by peer)]
22:15
<
yziquel >
kaustuv: extern "C" { #include <caml/blah.h> #include <caml/reblah.h> }
22:16
<
yziquel >
kaustuv: but with a bit of luck, i'll have a swig module ready one day for you.
22:17
<
kaustuv >
Formidable ! Merci.
22:18
willb has quit [Read error: 60 (Operation timed out)]
22:35
dickinsm has left #ocaml []
22:38
marteo has quit ["Debian GNU/Hurd is Good."]
22:41
lesshaste has quit ["Leaving"]
22:52
Associat0r has joined #ocaml
22:54
Associat0r has quit [Client Quit]
22:59
<
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
22:59
<
yziquel >
Moreover, what do you guys think of this design choice?
23:01
kaustuv has quit [Remote closed the connection]
23:29
kaustuv has joined #ocaml
23:37
<
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?
23:38
mgodshall has quit [Read error: 110 (Connection timed out)]