ChanServ changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.00.1 http://bit.ly/UHeZyT | http://www.ocaml-lang.org
Yoric has quit [Ping timeout: 276 seconds]
iago has quit [Quit: Leaving]
tac has joined #ocaml
tac_ has quit [Ping timeout: 245 seconds]
tac has quit [Ping timeout: 245 seconds]
emmanuelux has quit [Remote host closed the connection]
tac-tics has joined #ocaml
Progster has quit [Ping timeout: 260 seconds]
leoncamel has quit [Ping timeout: 252 seconds]
GnomeStoleMyBike has quit [Ping timeout: 276 seconds]
gnuvince has joined #ocaml
ulfdoz_ has joined #ocaml
ulfdoz has quit [Ping timeout: 248 seconds]
ulfdoz_ is now known as ulfdoz
Jeaye has quit [Ping timeout: 276 seconds]
madroach has quit [Ping timeout: 244 seconds]
avsm has joined #ocaml
madroach has joined #ocaml
tac-tics has quit [Ping timeout: 245 seconds]
tac has joined #ocaml
tac_ has joined #ocaml
tac has quit [Ping timeout: 245 seconds]
avsm has quit [Quit: Leaving.]
tac has joined #ocaml
mjonsson has quit [Remote host closed the connection]
cdidd has joined #ocaml
Drakken has quit [Ping timeout: 252 seconds]
tac_ has quit [Ping timeout: 245 seconds]
tac has quit [Ping timeout: 245 seconds]
Drakken has joined #ocaml
Yoric has joined #ocaml
ulfdoz has quit [Ping timeout: 244 seconds]
Jeaye has joined #ocaml
cdidd has quit [Remote host closed the connection]
Yoric has quit [Remote host closed the connection]
Yoric has joined #ocaml
andreypopp has joined #ocaml
andreypopp has quit [Quit: sleep]
answer_42 has joined #ocaml
andreypopp has joined #ocaml
jewel has joined #ocaml
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
cdidd has joined #ocaml
andreypopp has quit [Quit: sleep]
Neros has joined #ocaml
jewel has quit [Ping timeout: 240 seconds]
andreypopp has joined #ocaml
djcoin has joined #ocaml
pango is now known as pangoafk
djcoin has quit [Read error: Operation timed out]
Submarine has quit [Quit: Leaving]
Cyanure has joined #ocaml
andreypopp has quit [Quit: sleep]
djcoin has joined #ocaml
invariant has quit [Quit: ZNC - http://znc.in]
GnomeStoleMyBike has joined #ocaml
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
GnomeStoleMyBike has quit [Ping timeout: 256 seconds]
ftrvxmtrx has quit [Quit: Leaving]
cago has joined #ocaml
andreypopp has joined #ocaml
Cyanure has quit [Remote host closed the connection]
beckerb has joined #ocaml
chambart has joined #ocaml
xavierm02 has joined #ocaml
ftrvxmtrx has joined #ocaml
ontologiae has joined #ocaml
madroach has quit [Ping timeout: 244 seconds]
GnomeStoleMyBike has joined #ocaml
Xizor has joined #ocaml
answer_42 has quit [Remote host closed the connection]
answer_42 has joined #ocaml
madroach has joined #ocaml
Tobu has joined #ocaml
Kakadu has joined #ocaml
BiDOrD has quit [Ping timeout: 240 seconds]
BiDOrD has joined #ocaml
Xizor has quit [Quit: So yes it's mIRC under wine under debian double peche capital. ;) I'll soon see in kfreeBSD.]
mcclurmc has joined #ocaml
Yoric has quit [Ping timeout: 246 seconds]
sepp2k has joined #ocaml
mcclurmc has quit [Quit: Leaving.]
_andre has joined #ocaml
arneis has joined #ocaml
leoncamel has joined #ocaml
tac has joined #ocaml
Xizor has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
Yoric has joined #ocaml
ftrvxmtrx has joined #ocaml
trotro has joined #ocaml
trotro has quit [Quit: Leaving]
tac has quit [Quit: Page closed]
mnabil has joined #ocaml
cdidd has quit [Read error: Connection reset by peer]
toolslive has joined #ocaml
rossberg has quit [Remote host closed the connection]
iago has joined #ocaml
BiDOrD has quit []
Progster has joined #ocaml
BiDOrD has joined #ocaml
smondet has joined #ocaml
leoncamel has quit [Ping timeout: 260 seconds]
mjonsson has joined #ocaml
ollehar has joined #ocaml
mnabil has quit [Ping timeout: 240 seconds]
Xizor has quit [Quit: So yes it's mIRC under wine under debian double peche capital. ;) I'll soon see in kfreeBSD.]
greghale_ has joined #ocaml
ewcy has joined #ocaml
<ewcy> hi ocaml ppl
<ewcy> i hope some1 could hear me
<Kakadu> hey
<ewcy> great!!
<ewcy> i am getting my hands on ocaml, from a c++ background
<ewcy> and i attempted to play with some online judge to get familiar with ocaml
<ewcy> but i got strange compilation error. when i compile it on my machine (ocaml 4.00.1) it was fine
<ewcy> the judge uses 3.11.x
* Kakadu 've not tries 4.* yet
<Kakadu> tried*
<adrien> well, be more specific about your issue ;p
<ewcy> after debugging, i found out if i remove my Scanf.bscanf calls, it starts to give me some other meaningful compilation error
<ewcy> wait, am i allowed to post links here?
<Kakadu> yep
<ewcy> great, give me a sec
<ewcy> and thanks so much for responding
<ewcy> okay so here is my code: http://collabedit.com/ckcmk
<ewcy> (hope u can see it)
<ewcy> and it was an attempt to finish this problem: http://wcipeg.com/problem/a1
<ewcy> (can u see the question? i can summarize if u can't access it)
<ewcy> so basically a very simple introductory tasks. Given "N", and then "N" lines of "K S", where K is an integer, S is a string
toolslive has quit [Ping timeout: 248 seconds]
toolslive has joined #ocaml
<ewcy> for each "K S", output "S" with the K-th letter removed
<ewcy> pretty silly question. but i kept having compilation error
<ewcy> and when i removed the entire Scanf thing, with "let (k,s) = (4,"something here for debug purpose")"
<ewcy> it went through, but then gives me some other compilation error: :line1: error: 'let' does not name a type
<ewcy> so i hv 2 confusion:
<Kakadu> current code is compilable on 3.12
<ewcy> 1) I thought Scanf.bscanf is always included with any versions ocaml ? is there any case it is not available? And if there is such case, what should I use to replace that functionality?
<ewcy> 2) And the line1 error about "let" not naming a type, any hint for me what that is about?
<ewcy> thanks for the heads up kakadu
<Kakadu> I don't what your testing system worry about. Can u give a screenshot?
<ewcy> no prob let me get u a screenshot
<ewcy> but the judge system didn't give ANY output at all, so not particularly useful
<Kakadu> I want to see text 'let' does not name a type
<Kakadu> ➊ Heh, my IRC client can insert unicode symbols
* Kakadu happy
<ewcy> oh i just solved the 'let does not name a type' error - i picked a wrong language
cdidd has joined #ocaml
<ewcy> btw, is there any good online judge for ocaml that you would recommend?
paolooo has joined #ocaml
<Kakadu> ewcy: I think developers of http://try.ocamlpro.com/ appear here.
<Kakadu> that's why it is potentially best web interptreter
<ewcy> i tried that one!
<ewcy> but it gave me "Exception: ReferenceError: caml_ml_input_scan_line is not defined."
<Kakadu> okay
<Kakadu> in this interpreter all code is executed in javascript virtual machine
<ewcy> but i guess this is an error specific to this interpretor?
<ewcy> right that's wt i guess too
<Kakadu> so there are no any files and OS related features
<ewcy> so wt shd i do to read from stdin ?
rossberg has joined #ocaml
<cago> ewcy: now you can't read from stdin with tryocaml, but when I would have some time, i'll add this feature (maybe something like a popup)
<ewcy> thanks so much for that :D
<ewcy> awesome interpretor btw!
heidi has joined #ocaml
fraggle_laptop has joined #ocaml
heidi has quit [Client Quit]
<toolslive> Hi, I'm a bit stuck and I might as well ask here....
<toolslive> I've bindings for a C library and I want to offer them as a library via findlib, but I cannot seem to be able to charm the linker....
<f[x]> toolslive, use _oasis
<thelema> toolslive: oasis can help with this problem
<toolslive> github repo is here:
<toolslive> (so in src I do make; make install which installs the library,)
<toolslive> but when I want to use it... (in example dir)
<toolslive> ocamlbuild -use-ocamlfind demo.byte
<toolslive> ..../ocamlfind ocamlc -linkpkg -g -thread -package camltc -package lwt demo.cmo -o demo.byte
<toolslive> gcc: error: libotc.a: No such file or directory
<toolslive> gcc: error: 3rd-party/tokyocabinet-1.4.47/libtokyocabinet.a: No such file or directory
<toolslive> gcc: error: libtokyocabinet.a: No such file or directory
<toolslive> File "_none_", line 1:
<toolslive> Error: Error while building custom runtime system
<toolslive> Command exited with code 2.
<thelema> as for findlib install of C bindings, that should be pretty trivial: here's the simplest example
<thelema> ocamlfind install zip META *.mli *.a *.cmi *.cma $(wildcard *.cmxa) $(wi
<thelema> ldcard *$(DLL))
<thelema> toolslive: I'm guessing that you didn't ocamlfind install your .a file
<thelema> files
<toolslive> they are there.
<thelema> they are where?
<toolslive> ls ~/.opam/4.00.1/lib/camltc/
<toolslive> camltc.cma camltc.cmi camltc.mli libotc.a libtokyocabinet.a META
<thelema> you copied them there by hand?
<toolslive> cat ~/.opam/4.00.1/lib/camltc/META
<toolslive> description = "camltc : ocaml bindings for tokyo cabinet"
<toolslive> version = "1.4.47.0"
<toolslive> exists_if = "camltc.cma,camltc.cmxa"
<toolslive> requires = "unix, lwt, lwt.unix, lwt.preemptive"
<toolslive> archive(byte) = "camltc.cma"
<toolslive> archive(native) = "camltc.cmxa"
<toolslive> linkopts = "libtokyocabinet.a"
<toolslive> nope. ocamlfind install did it.
<thelema> you shouldn't need any linkopts
<toolslive> I know. but not having them does not help.
<thelema> and that's odd; ocamlfind install should copy them to a different directory
<toolslive> mind. it's an archive, not a shared lib
<toolslive> I guess the linker follows the information in the .cma file
<thelema> yes, the .cma/cmxa file embeds linking information
<toolslive> ocamlobjinfo ~/.opam/4.00.1/lib/camltc/camltc.cma
<toolslive> File /home/romain/.opam/4.00.1/lib/camltc/camltc.cma
<toolslive> Force custom: YES
<toolslive> Extra C object files: libotc.a 3rd-party/tokyocabinet-1.4.47/libtokyocabinet.a
<toolslive> Extra C options:
<toolslive> ...
<f[x]> I don't see any -cclib in myocamlbuild.ml
<toolslive> I added the dependencies via flags
<toolslive> flag ["link";](S[A"libotc.a";]);
<toolslive> flag ["ocaml";"link"](S[A(tc_home ^ "/libtokyocabinet.a")]);
<toolslive> (in myocamlbuild.ml)
<toolslive> the ocamlbuild.ml allows me to compile the unit tests so without the library intermediate step, the linker is not confused.
<f[x]> toolslive, you'd better use oasis, or read carefully the manual on linking process
<thelema> toolslive: 1) use ocamlobjinfo to make sure the linking options are embedded in the .cma file
dgfitch has left #ocaml []
<toolslive> well, I pasted the output of ocamlobjinfo above. the .cma file has extra C object file information
mnabil has joined #ocaml
<thelema> toolslive: oops, I'm behind.
<f[x]> toolslive, you need extra C options, not files
<toolslive> ah. please enlighten me
<thelema> Extra C object files: -lpcap_stubs -lcamlidl
<f[x]> exactly
<thelema> this is from the pcap bindings
<toolslive> owkee. and how do I get these there? I guess it's when ocamlbuild produces the .cma file that I should add some options.
<f[x]> no, it is when it is linked
<f[x]> read about -cclib and ocamlmklib
* f[x] wanted to look up the proper way I did it before but now I cannot find any non-oasis library of mine, so no luck :)
<toolslive> but doesn't ocamlbuild do this stuff automatically when I ask it to produce a .cma ?
<f[x]> no
<thelema> toolslive: actually, I think the process of creating a .cma merges the linking requirements of each module into one global list, no?
<thelema> f[x]: ^^^
<f[x]> ocamlbuild is rather basic, you need a proper myocamlbuild.ml and that's what oasis does for you
<f[x]> generates proper myocamlbuild from high-level project description
<f[x]> thelema, linking options are passed from command-line I believe
<thelema> f[x]: I was pretty sure ocamlbuild was able to handle C linking dependencies w/o adding myocamlbuild...
<thelema> f[x]: when joining the .cmx files into a cmxa?
<f[x]> thelema, yes (for cmx)
<f[x]> thelema, no (for the first question), see the myocamlbuild example on the wiki to handle all the stuff
<toolslive> wel, I do : ocamlbuild -use-ocamlfind camltc.cma and it generates me a .cma with the references to my archives
<thelema> f[x]: you're right; the linking flags just need to be on the ocamlmklib call
<f[x]> toolslive, your myocamlbuild.ml is no good
<toolslive> well, the C_stubs are in there.
<toolslive> (in my .cma)
mnabil has quit [Ping timeout: 260 seconds]
<toolslive> ocamlobjinfo _build/camltc.cma
<toolslive> ...
<toolslive> Primitives declared in this module:
<toolslive> bdb_key_count
<toolslive> bdb_defrag
<toolslive> bdb_optimize
<toolslive> bdb_prefix_keys
<toolslive> bdb_range_bytecode
<toolslive> bdb_tranabort
<toolslive> bdb_trancommit
<toolslive> bdb_tranbegin
<toolslive> ...
<thelema> toolslive: you also need to put "-cclib -ltoktocabinet -cclib -lotc" on the commandline to build your .cm[x]a
<f[x]> thelema, you always spoil all my pedagogical attempts!
<thelema> the ocamlbuild example with c stubs link has the changes needed to your myocamlbuild.ml
<toolslive> just ftr, I have awful experiences with oasis.
<toolslive> (too)
<thelema> f[x]: somehow, I don't think that toolslive is looking to be taught, and seems capable of figuring things backwards from a solution to why that works.
<f[x]> toolslive, what's the problem with oasis?
<f[x]> I found it rather helpful
<toolslive> last time I tried it, the binary did not work on our continuous integration environment, and building if from source turned out to be a kitchen sink type of problem
<thelema> toolslive: yes, building from source was terrible. There's been some improvements in the number of deps
<f[x]> and there is a bundle iirc
<thelema> also, opam and odb both build it in an automated manner
<f[x]> nowadays
<toolslive> so you think I should be able to persuade oasis to unpack C library, compile it and generate a decent myocamlbuild.ml for this wrapper lib?
<f[x]> anyway, I stronly recommend oasis, despite all of its shortcomings
<f[x]> yes, you could copy-paste part of your myocamlbuild.ml that does that I think
<thelema> unpack C library?
<f[x]> because writing correct myocamlbuild for C stubs (think byte/native case, windows support) is not trivial
<toolslive> basically, my ocamlbuild also does the
<toolslive> tar -zxvf .....tar.gz
<toolslive> ./configure ....
<toolslive> make
<toolslive> steps to compile the C sources in the tarball
<toolslive> I don't care about windows as tokyo cabinet does not work there anyway.
<thelema> toolslive: ?? embedding the library you're depending on within your package?
<toolslive> well, if I use it as a shared library, and depend on the system's .so I'm not sure which one I'm getting.
<toolslive> I force it to create the .a for static linking.
Kakadu has quit [Quit: Konversation terminated!]
<thelema> ah... well, if you insist...
tane has joined #ocaml
<toolslive> I don't insist.
<thelema> I would just change myocamlbuild to use --cclib
<thelema> flag ["link";](S[A"libotc.a";]);
<thelema> instead of that, S[A"-cclib"; A"-lotc"]
<thelema> although I'll note that this rule is probably too generic; you should probably have more tags than just "link"
<thelema> and is it your style to end lists with ;?
<toolslive> nope.
<toolslive> it's an accident from trying different things
<thelema> ok, it looked consistent...
<thelema> for multi-line lists, maybe. for single-line...
Break has joined #ocaml
<toolslive> honestly I don't care about consistency in something like a myocamlbuild.ml it's a place where you tweak until it works, and then forget about it until the next time.
<f[x]> (* -ldevkit_stubs for ld when installed *)
<f[x]> - flag ["link"; "ocaml"; "library"] (S[A"-cclib"; A "-ldevkit_stubs";]);
<f[x]> flag ["link"; "ocaml"; "library"; "byte"] (S[A"-dllib"; A "-ldevkit_stubs";]);
<f[x]> let stubs_lib = "libdevkit_stubs." ^ !Options.ext_lib in
<f[x]> let stubs_dll = "dlldevkit_stubs." ^ !Options.ext_dll in
<f[x]> dep ["link"; "ocaml"; "library"] [stubs_lib; stubs_dll];
<pippijn> toolslive: I care a lot
<thelema> fair enough. I'm just making sure there's not a subset of OCaml programmers that have an accent to their code like this.
<pippijn> well, not a lot
<pippijn> but I care a little
<toolslive> btw, is there something that suggests better style like there is for haskell?
<f[x]> ["link"] is going to hurt if you compile binary using library alongside the library
<toolslive> owkee. the -cclib change gives me less trouble.
<thelema> toolslive: still some trouble?
<f[x]> BREAKING NEWS!
<toolslive> ?
tac has joined #ocaml
<toolslive> flag ["link";](S[A"-cclib";A"-lotc"]);
<toolslive> that's an improvement, but when I try to do the same for the tokyocabinet part.
<toolslive> (flag ["ocaml";"link"](S[A"-cclib"; A"-ltokyocabinet"]); )
<toolslive> makes the linker complain when I try to build my testcases (ocamlbuild -use-ocamlfind test.byte)
<toolslive> /usr/bin/ld: cannot find -ltokyocabinet
<toolslive> which I understand as I have no system wide tokyo cabinet library installed.
<toolslive> in order to link in the archive, I have to specify the archive, ...
<thelema> specify a path for the linker to find the archive; -Ltc_home
<thelema> don't specify the archive.
cago has quit [Quit: Leaving.]
<thelema> as you're finding out, it doesn't work to statically link a C library with an ocaml .cmxa
<thelema> err, maybe I'm getting that wrong; -lfoo is dynamic linking, foo.a is static, right?
<toolslive> yes.
<toolslive> ok. when I add the -cclib -ltokyocabinet to my myocamlbuild.ml it records this in the .cma:
<toolslive> Extra C object files: -lotc -L3rd-party/tokyocabinet-1.4.47 -ltokyocabinet
<thelema> well, the extra -L shouldn't break things too bad.
<thelema> (should not at all)
<f[x]> > -lfoo is dynamic linking, foo.a is static, right?
<f[x]> NO
<toolslive> ??
<thelema> f[x]: either can be static linking, just depends on foo?
<f[x]> -lfoo can be either
<thelema> ok, I'll remember that.
<f[x]> depending on files and -B option
<toolslive> sure.
tane has quit [Quit: Verlassend]
<f[x]> toolslive, use -verbose to check actual linking command, ocamlopt can reorder arguments
<f[x]> that's one more common source of problems
<toolslive> gcc -o 'demo.byte' '-L/home/romain/.opam/4.00.1/lib/lwt' '-L/home/romain/.opam/4.00.1/lib/camltc' '-L/home/romain/.opam/4.00.1/lib/ocaml/threads' '-L/home/romain/.opam/4.00.1/lib/ocaml' '/tmp/camlprimbe62d6.c' '-lotc' '-L3rd-party/tokyocabinet-1.4.47' '-ltokyocabinet' '-llwt-unix_stubs' '-L/usr/lib' '-lpthread' '-lbigarray' '-lthreads' '-lunix' '-lpthread' '-lunix' 'libtokyocabinet.a' '-lcamlrun' -I'/home/romain/.opam/4.00.1/lib/ocaml'
<toolslive> gcc: error: libtokyocabinet.a: No such file or directory
<toolslive> argh.
<thelema> f[x]: it suffices to use -cclib and -ccopt correctly
<thelema> how is that command-line created? Maybe you just need to remove libtokyocabinet
<thelema> .a
<toolslive> it produces the -L..../lib/camltc
<toolslive> it also produces the libtokyocabinet.a
<toolslive> and that IS in the lib dir where the META is.
<smondet> Dear Oasis experts, is there a way to tell Oasis to use a given package when compiling a library but not to put it as a requirement in the generated META file? (a syntax extension)
<f[x]> thelema, yes, but somehow those options are often mixed up and chaos ensues
<thelema> toolslive: your meta file still has the linkopt=, right?
<toolslive> ah!
<thelema> smondet: yes. Now I just need to remember what package I saw that did this
<thelema> one of the jane street core packages
<toolslive> weee! thx for the help. it works, both my testcases and my library.
<thelema> toolslive: you're welcome.
<toolslive> lesson for the day: don't specify the archive. use -cclib .
<smondet> thelema: thanks ! indeed the META plugin seems to have its own options: http://oasis.forge.ocamlcore.org/MANUAL.html#plugin-meta-extra
<thelema> toolslive: yup, that's the lesson
<pippijn> for those interested: ocaml exceptions are efficient enough to be used in an inner loop
<pippijn> they are about the same as a simple return
<thelema> pippijn: yup, although there's still the pattern matching cost on the exception itself
<thelema> but yes, it's quite cheap.
<pippijn> thelema: not if you don't match
<toolslive> isn't an exception in ocaml more or less the cost of a function call (remembering double barrelled CPS ) ?
<pippijn> thelema: the cost of a function return, rather
<pippijn> set 2 registers and jump
<thelema> pippijn: how can you catch without matching?
<pippijn> thelema: catch-all
<pippijn> try foo with e ->
<thelema> ah... yes
<pippijn> but that one pattern you will match (Not_found, Exit, ...) is also really cheap
<thelema> true.
<pippijn> it's a load and a compare, I guess
<toolslive> you can always check the generated asm.
<thelema> toolslive: in theory, yes. in practice, maybe a bit harder.
<toolslive> my experience is that the asm generated by the ocaml compiler is rather straight forward.
<toolslive> It's not like ghc.
<thelema> true.
Kakadu has joined #ocaml
<toolslive> git commit -m "fixed library with help from thelema @ #ocaml"
<toolslive> ;)
nimred has quit [Ping timeout: 244 seconds]
nimred has joined #ocaml
avsm has joined #ocaml
Cyanure has joined #ocaml
hkBst has quit [Quit: Konversation terminated!]
ftrvxmtrx has quit [Quit: Leaving]
Kakadu has quit [Ping timeout: 252 seconds]
iago has quit [Ping timeout: 268 seconds]
ollehar has quit [Ping timeout: 256 seconds]
beginner42 has joined #ocaml
<beginner42> i use the ocamlmakefile, have added zarith to the packs in my makefile, but i get an unbound module exception
<beginner42> ocamlfind list shows that zarith is actually there
Kakadu has joined #ocaml
jamii has joined #ocaml
Yoric has quit [Quit: Instantbird 1.3a1pre -- http://www.instantbird.com]
Yoric has joined #ocaml
ontologi1e has joined #ocaml
ontologiae has quit [Read error: Connection reset by peer]
answer_42 has quit [Remote host closed the connection]
answer_42 has joined #ocaml
Yoric has quit [Ping timeout: 240 seconds]
iago has joined #ocaml
ftrvxmtrx has joined #ocaml
avsm has quit [Quit: Leaving.]
GnomeStoleMyBike has quit [Ping timeout: 260 seconds]
pangoafk is now known as pango
Break has quit [Remote host closed the connection]
beckerb has quit [Quit: Konversation terminated!]
tane has joined #ocaml
Snark has joined #ocaml
sepp2k1 has joined #ocaml
sepp2k has quit [Ping timeout: 256 seconds]
paolooo has quit [Ping timeout: 245 seconds]
smondet has quit [Read error: Connection reset by peer]
wtetzner has quit [Ping timeout: 244 seconds]
wtetzner has joined #ocaml
cdidd has quit [Remote host closed the connection]
GnomeStoleMyBike has joined #ocaml
chambart has quit [Ping timeout: 246 seconds]
andreypopp has quit [Quit: sleep]
ontologi1e has quit [Ping timeout: 260 seconds]
ewcy has quit [Quit: Page closed]
tane has quit [Quit: Verlassend]
Yoric has joined #ocaml
<thelema> beginner42: what's the compile command line?
emmanuelux has joined #ocaml
trotro has joined #ocaml
trotro has quit [Client Quit]
_andre has quit [Quit: leaving]
answer_42 has quit [Ping timeout: 276 seconds]
Jeaye has quit [Ping timeout: 276 seconds]
answer_42 has joined #ocaml
Jeaye has joined #ocaml
Progster has quit [Ping timeout: 252 seconds]
<beginner42> thelema: i just say make
Anarchos has joined #ocaml
smondet has joined #ocaml
dwmw2_gone has quit [Ping timeout: 260 seconds]
dwmw2_gone has joined #ocaml
Progster has joined #ocaml
uselpa has joined #ocaml
answer_42 has quit [Quit: WeeChat 0.3.9]
<adrien> hmpf, cairo2's installation procedure hardcodes MSVC stuff and C://gtk
<Anarchos> adrien lol
<orbitz> Is it evil if I want a functor with multiple parameters?
<_habnabit> nope
<orbitz> I'm having trouble finding the correct syntax for .ml and .mli on google, any suggestions?
<_habnabit> module BetterMap (OM: Map.S) (PBLE: PPRABLE with type t = OM.key) : (M with type key = OM.key) =
<Anarchos> orbitz you have sampes in the ocaml official manual
uselpa has left #ocaml []
<orbitz> Anarchos: do I? AbstractSet2?
<orbitz> _habnabit: Am I doing something wrong if mytwo functor parameters do not depend on each other? In this case I'm bridging two module
<_habnabit> orbitz, not necessarily
<_habnabit> orbitz, it does sound a bit odd though
<_habnabit> orbitz, but it could be that your module parameters already have fixed types so there's an implicit type dependency
<orbitz> I'm functorizing over something that impleemnts my Application module type and my I/O module type so I can decouple where data comes from and how it's processed
<orbitz> Why is this wrong? module Make : functor (A : A_TYPE) (B : B_TYPE) -> sig end
<_habnabit> huh, that doesn't look like any syntax i've ever seen
<orbitz> the syntax you showed me was for a .ml wasn't it?
<_habnabit> are you trying to declare a module type, or just indicate the type before your struct..end?
<_habnabit> it was from a .ml
<orbitz> What does it translate to for the .mli?
<_habnabit> hmm, I don't know
<_habnabit> oh
<_habnabit> module BetterMap: functor (OM: Map.S) -> functor (PBLE: [snip]) -> sig [snip] end
<_habnabit> makes sense
<orbitz> fanstastic
<orbitz> looks good for me
<orbitz> thanks _habnabit
<adrien> of fuck, found a huge hole in ocaml on windows
<adrien> it looks for some files (libraries) by itself and it misses some paths
Cyanure has quit [Remote host closed the connection]
<adrien> yurk, it's really awful
<orbitz> Windows, the bastard child
<adrien> well, my stuff is properly sorted
<adrien> gcc finds everything
fusillia has joined #ocaml
<adrien> ocamlmklib and ocamlfind apparently have their own lookup stuff which is not correct
<wieczyk> 22:28 < adrien> gcc finds everything
<wieczyk> ?
Yoric has quit [Ping timeout: 276 seconds]
Snark has quit [Quit: Quitte]
Progster has quit [Ping timeout: 256 seconds]
<adrien> wieczyk: I mean: gcc finds all the library files that ocaml* complain about
<adrien> meaning the file are at the right location
<wieczyk> but ocaml is complaining about C libraries?
<wieczyk> or about his bindings to this libraries?
tane has joined #ocaml
yroeht has quit [Ping timeout: 240 seconds]
Kakadu has quit [Read error: Connection reset by peer]
<adrien> ocaml is unable to find basic system libraries
<wieczyk> ;[
smondet` has joined #ocaml
smondet has quit [Ping timeout: 252 seconds]
jamii has quit [Ping timeout: 255 seconds]
yroeht has joined #ocaml
Progster has joined #ocaml
avsm has joined #ocaml
Yoric has joined #ocaml
tane has quit [Quit: Verlassend]
ftrvxmtrx has quit [Quit: Leaving]
jamii has joined #ocaml
ftrvxmtrx has joined #ocaml
beginner42 has quit [Ping timeout: 252 seconds]
djcoin has quit [Quit: WeeChat 0.3.9]
chambart has joined #ocaml
avsm has quit [Quit: Leaving.]
bender_ has joined #ocaml
fusillia has quit [Ping timeout: 252 seconds]
Yoric has quit [Ping timeout: 260 seconds]
mjonsson has quit [Ping timeout: 246 seconds]
chambart has quit [Ping timeout: 246 seconds]
Anarchos has quit [Quit: night time]
arneis has quit [Ping timeout: 245 seconds]
chambart has joined #ocaml
sepp2k1 has quit [Read error: Connection reset by peer]
ftrvxmtrx has quit [Quit: Leaving]
tac has quit [Ping timeout: 245 seconds]