gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.1 http://bit.ly/nNVIVH
avsm has quit [Ping timeout: 252 seconds]
ulfdoz_ has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
ulfdoz has quit [Ping timeout: 268 seconds]
ulfdoz_ is now known as ulfdoz
sepp2k has quit [Remote host closed the connection]
osa1 has quit [Ping timeout: 276 seconds]
madroach has quit [Ping timeout: 265 seconds]
madroach has joined #ocaml
avsm has joined #ocaml
emmanuelux has quit [Ping timeout: 268 seconds]
leoncamel has joined #ocaml
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
eikke_ has quit [Ping timeout: 240 seconds]
scri` is now known as scri
cdidd has quit [Ping timeout: 245 seconds]
lusory has quit [Read error: Connection reset by peer]
lusory has joined #ocaml
ftrvxmtrx has quit [Ping timeout: 244 seconds]
ftrvxmtrx has joined #ocaml
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
eni has joined #ocaml
avsm has quit [Quit: Leaving.]
jamii has joined #ocaml
eni has quit [Ping timeout: 260 seconds]
Cyanure has joined #ocaml
scri has quit [Ping timeout: 256 seconds]
osa1 has joined #ocaml
osa1 has quit [Quit: Konversation terminated!]
eni has joined #ocaml
cdidd has joined #ocaml
Yoric has joined #ocaml
SanderM has joined #ocaml
Yoric has quit [Remote host closed the connection]
Yoric has joined #ocaml
antoineB has joined #ocaml
<antoineB> hello
joewilliams has quit [Remote host closed the connection]
lopex has quit [Remote host closed the connection]
bobry has quit [Remote host closed the connection]
antoineB has quit [Quit: Lost terminal]
joewilliams has joined #ocaml
jamii has quit [Ping timeout: 245 seconds]
eni has quit [Read error: Connection reset by peer]
bobry has joined #ocaml
lopex has joined #ocaml
milosn has joined #ocaml
wmeyer` is now known as wmeyer
oooo has joined #ocaml
<oooo> Hi, I have a question about the Ocsigen framework. I tried installing it through macports (using ports : ocsigen and ocaml-eliom). I then tried the basic tutorial (http://ocsigen.org/tutorial/application). However, when trying to run the server (ocsigenserver -c graffiti.conf), I have an error message linked to ssl: cannot load shared library dllssl_threads_stubs (I have reinstalled ocaml-ssl, but doesn't seem to do anything). Has anyone
jamii has joined #ocaml
fraggle__ has quit [Read error: Connection reset by peer]
<mfp> oooo: this might help > look for dllssl_threads_stubs.so and add its path to CAML_LD_LIBRARY_PATH
fraggle_ has joined #ocaml
oooo has quit [Quit: Page closed]
oooo has joined #ocaml
jamii has quit [Ping timeout: 260 seconds]
<oooo> well should it not be included in the path ? both ocaml-ssl and ocsigen were installed through macports :-/
<companion_cube> how to interpret the "circular build detected : a.cmx already seen in [a.cmx; b.cmx; c.cmx]"?
<companion_cube> I mean, where in this is the circular dependency?
tchell_ has quit [Ping timeout: 246 seconds]
tchell has joined #ocaml
Yoric has quit [Ping timeout: 248 seconds]
fraggle_laptop has joined #ocaml
fraggle_laptop has quit [Remote host closed the connection]
<flux> I don't know, haven't needed to track those for ages, but you could try running ocamldep to certain sets of files
fraggle_laptop has joined #ocaml
<companion_cube> yeah... it's a bit sad that you have to track dependencies despite the .mli files
Yoric has joined #ocaml
<ousado> companion_cube: does a depend on b or c and that on a?
<gallais> companion_cube: I don't get it, the implementation can depend upon way more stuff than what the interface claims
<companion_cube> ousado: I think that means there is a cycle between a and something in the list, but the message is not clear enough
<companion_cube> gallais: it shouldn't?! otherwise what are .mli for?
<companion_cube> if a depends on b and uses more stuff than what is in b.mli, isn't it bad?
<ousado> companion_cube: yes. It's a strange error, though, when I had this I simply got something like "unbound name/symbol ... "
<ousado> in my case it was just about the use of some types, after I put them in a separate interface-only module, it worked
<ousado> but the error might look different, depending on how you compile, I guess
<companion_cube> yes, I also solved my problem with a module containing most types
<companion_cube> but I find this a bit ugly
avsm has joined #ocaml
Progster has joined #ocaml
wtetzner has quit [Ping timeout: 246 seconds]
<gallais> companion_cube: I must have misunderstoof your "it's a bit sad that you have to track dependencies despite the .mli files"
<gallais> my point was that even if a.mli claims to depend solely upon the module B, its implementation can also use module C thus the need for tracking dependencies
Progster has quit []
avsm has quit [Quit: Leaving.]
<Drakken> + ocamlfind ocamldep -package camlp4.quotations -package camlp4.macro -package camlp4.extend -modules lib/pa_type_conv.mli > lib/pa_type_conv.mli.depends
<Drakken> Command exited with code 127.
<Drakken> Does anyone know what command returned the 127?
wtetzner has joined #ocaml
eni has joined #ocaml
<orbitz> Hey, can functors not be insantiateo dina .mli?
<orbitz> I'mg etting syntax error in a .mli for module Genome_map = Core_extended.Std.Map.Make(Core_extended.Std.String)
trigen has joined #ocaml
avsm has joined #ocaml
<mk270> is there any odcumentation for the syntax and semantics of the right hand side values in ocamlbuild tags files?
<Drakken> orbitz nope
<companion_cube> gallais: yes, but a and be should be able to depend on each other if a only uses what b.mli exposes and vice versa
<companion_cube> a and b*
<orbitz> Drakken: How do I reference a functor's type in a .mli then?
<orbitz> i have module M = Map.Make(String) and I want to export a type with string M.t
<mfp> orbitz: since OCaml's functors are applicative, you can use string Map.Make(String).t in the .mli
<mfp> (as the type)
<orbitz> Thanks mfp
<orbitz> What does applicative mean here? Just that I apply it and get a module back? Curious why i can't make th emodule in the mli..
<mk270> drakken - which bit of that?
<mk270> does it explain how use_$xx works?
<mk270> basically, there's lots of detail about how globbing works on the LHS, but nothing about the RHS
<Drakken> mk270 It's not the best manual in the world :(
<Drakken> 3.21 true: use_menhir
Yoric has quit [Ping timeout: 272 seconds]
<mk270> exactly - what does "use_menhir" actually do in term of the command ocamlbulid invokes?
<mk270> basically, i am trying to get some arguments passed through to camlp4
<mk270> and have no idea how to do this
<Drakken> The text says it's equivalent to (ocamlbuild -use-menhir)
<Drakken> oh. that's pp(camlp4 <args>)
<mk270> how i am using several different packegs that all provide their own syntax extensions
<mk270> what's the best way of telling ocamlbulid about this?
<mk270> and what does $SYNTAX_DEPS do, if anything?
<Drakken> in _tags, you would have an entry for each file that uses camlp4, with a pp tag that specifies the syntax extensions.
<Drakken> (or globs if multiple files use the same extensions)
<Drakken> mk270 you'll have to make sure the extensions play well together.
<mk270> yeah, im not sure i've got to the bottom of the ocamlbuild syntax yet though
<mk270> i see things like
<mk270> : use_custrct-syntax
<Drakken> There's a lot of crappy documentation in ocaml build software.
<Drakken> camlp4, oasis, and ocamlbuild for starters
<mk270> and no-one has time to abandon his own project to fix that nightmare instaed
<Drakken> I think they just don't know how to write :)
<mk270> not least as someone will not-invented-here a new build system before he's inifoished documenting the old ones
Yoric has joined #ocaml
oooo has quit [Quit: Page closed]
<Drakken> I'm having trouble installing oasis into an empty odb directory.
<Drakken> That's what the 127 error I mentioned above is about.
<Drakken> I grepped "127" in the findlib distribution, but there was nothing except a few html entries.
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
eni has quit [Ping timeout: 240 seconds]
dropdrive has joined #ocaml
pango has quit [Quit: Client exiting]
avsm has quit [Quit: Leaving.]
oriba has joined #ocaml
eni has joined #ocaml
Cyanure has quit [Remote host closed the connection]
avsm has joined #ocaml
Znudzon has quit [Ping timeout: 240 seconds]
eni has quit [Ping timeout: 276 seconds]
<hcarty> thelema: I get a signature mismatch error when trying to build Batteries-master from github
<hcarty> thelema: from_hex and compare are said to be missing from batteries.ml line 112
<hcarty> thelema: This came up while getting ready to test a Float.is_finite patch
<hcarty> thelema: It looks like OCaml 4.00.0 breaks Digest for Batteries?
eni has joined #ocaml
Yoric has quit [Ping timeout: 246 seconds]
Znudzon has joined #ocaml
<hcarty> thelema: I guess OCaml 4.x breaks a lot for Batteries-master. I thought that it was 4.x ready, but that appears to not be true.
eni has quit [Ping timeout: 268 seconds]
<ftrvxmtrx> hcarty, there's a branch called ocaml4.00
<thelema> hcarty: hmm, it should have been ready; I tried merging the ocaml4.00 branch into master
<thelema> apparently my QC on that merge wasn't so good.
<thelema> hmm, or maybe I never did complete that merge.
<thelema> or worst case, that merge is complete and sitting on my laptop at home.
<thelema> I think that's the case; I did the merge, got started fixing some of the warnings from 4.00, and never pushed
<thelema> which means that either the merge gets redone or we wait a week for me to get that code merged
ftrvxmtrx has quit [Quit: Leaving]
fraggle_laptop has quit [Ping timeout: 248 seconds]
<companion_cube> thanks god for ocamlc -i, to get the infered types :)
<Qrntz_> s/god/INRIA/
<julm> +1
<madroach> is there a (simple) way to write regexes without having to double every '\' ?!?
<_habnabit> not that I've seen !!
<Drakken> Here's the output from trying to install oasis: http://pastebin.com/dQjm4nt7
<Drakken> odb is having the same problem with other libs.
absalon has joined #ocaml
absalon has quit [Read error: Connection reset by peer]
Yoric has joined #ocaml
avsm1 has joined #ocaml
jamii has joined #ocaml
avsm has quit [Ping timeout: 265 seconds]
avsm1 has quit [Client Quit]
BiDOrD_ has joined #ocaml
BiDOrD has quit [Ping timeout: 240 seconds]
Yoric has quit [Ping timeout: 245 seconds]
Yoric has joined #ocaml
sepp2k has joined #ocaml
<Drakken> + ocamlfind ocamldep -package camlp4.quotations -package camlp4.macro -package camlp4.extend -modules lib/pa_type_conv.mli > lib/pa_type_conv.mli.depends
<Drakken> Command exited with code 127.
<Drakken> So ocamlbuild is saying that (ocamlfind ocamldep ...) returned 127. Isn't that right?
<Drakken> But I can paste the command into a shell and it seems to work fine.
<Drakken> Trying to build the package "text", ocamlbuild gets the same error code from (+ ocamlfind ocamlc -ccopt -I/usr/include -c src/ml_text.c)
osa1 has joined #ocaml
wtetzner has quit [Ping timeout: 260 seconds]
ftrvxmtrx has joined #ocaml
yezariaely has quit [Quit: changing servers]
wtetzner has joined #ocaml
eni has joined #ocaml
jamii has quit [Ping timeout: 268 seconds]
milosn has quit [Read error: No route to host]
eikke has joined #ocaml
<thelema> Drakken: just out of curiosity, does the precomp branch of odb do the same thing?
<Drakken> thelema yes. The only obvious difference is that it tries to build ocamlify first instead of type_conv.
<wmeyer> 4096 bytes - the same guy as I drunk beer this march :-)))
<wmeyer> (sorry for spam; trying to stop watching that)
yezariaely has joined #ocaml
leoncame` has joined #ocaml
leoncamel has quit [Ping timeout: 240 seconds]
eni has quit [Quit: Leaving]
Yoric has quit [Quit: Instantbird 1.3a1pre -- http://www.instantbird.com]
<thelema> wmeyer: hmm, sounds like something weird with your shell - can you run the ocamlfind command prefixed with "sh -c" (and with quotes around the command)?
<wmeyer> thelema: ?
<thelema> wmeyer: i.e. to run the command in a subshell - maybe there's somthing different about your current shell
<thelema> actually, it'd probably be sufficient to just run sh
<thelema> and then paste teh command in the subshell
<thelema> wmeyer: oops, meant for drakken
* thelema got confused
<thelema> wmeyer: the 4k demos are very impressive
<wmeyer> thelema: Indeed
<wmeyer> they got more impressive each year
<wmeyer> the only thing which is kind of abnormal is that last year's best intro actually was coded entirely by person who i know very well
<wmeyer> I haven't convinced him to OCaml yet :-)
<wmeyer> thoug
<thelema> :) not yet.
<thelema> keep on trying.
<wmeyer> perhaps never, and that's interesting, because he would be even above genius if he ever tried
<wmeyer> they use (on the demoscene) weird tricks
<wmeyer> like Crinkler compressor
<wmeyer> and they all work more weirdly on windows
<wmeyer> (only)
<wmeyer> AFAIK he is got some tools, but the demo was coded in pure asm with some light VM
<thelema> still quite impressive
<wmeyer> the synthetizer was plugged into the Fruityloops
<wmeyer> :)
<wmeyer> but, this is a remake
<wmeyer> of 64KB in fact
<wmeyer> but he is got other killing productions
<wmeyer> so it's well deserved
<Drakken> thelema the ocamlfind worked fine when I ran it myself. The error only occurred when ocamlbuild called it.
<Drakken> Of course I don't know what directory ocamlbuild was in at the time.
netrino has joined #ocaml
<wmeyer> Drakken: you might give a go with -verbose 10 flag (for ocamlbuild) it will give you the log from solver
<wmeyer> ah sry
<wmeyer> i got back.
<Drakken> I think all the relevant shell variables are at the top of the paste.
SanderM has quit [Remote host closed the connection]
<Drakken> wmeyer odb is calling ocamlbuild from setup.ml.
<wmeyer> yes, I thought i shouldn't go to pub today :-)
<thelema> Drakken: are any of those shell variables different within a subshell?
<Drakken> thelema how do I figure that out? They're all exported in my .bashrc, and I'm starting a new term any time I change it.
<thelema> Drakken: just run sh, and see if they're the same
<thelema> exported in bashrc should be sufficient for this to not be the problem.
<thelema> which means... I don't know what the problem is.
<thelema> ocamlfind doesn't document exit code 127...
<thelema> that I can find, at least
<Drakken> thelema yep, they all survive in the child shell.
<Drakken> The only thing I can find is a line in frontend.ml that says "exit n".
<Drakken> My current plan is to add a print statement before that line and recompile findlib :/
jamii has joined #ocaml
<Drakken> after reading frontend.ml. maybe there's a hint there.
<Drakken> "exit n" is called from run_command, which runs a bunch of ocaml* programs.
<thelema> maybe it would be useful to hack oasis so it runs ocamlfind with -v, so you can see the sub-commands it's executing
<thelema> one thing, the 127 isn't coming from ocamlfind, it's only exit code 10 that comes from ocamlfind
<thelema> err, n/m, ocamlfind exits with 127 causing ocamlbuild to exit with 10