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
flux has quit [Remote host closed the connection]
groovy2shoes has joined #ocaml
flux has joined #ocaml
int_ has joined #ocaml
int_ has quit [Ping timeout: 260 seconds]
ulfdoz_ has joined #ocaml
ulfdoz has quit [Ping timeout: 245 seconds]
ulfdoz_ is now known as ulfdoz
BiDOrD_ has quit [Ping timeout: 260 seconds]
ftrvxmtrx has quit [Read error: Operation timed out]
ftrvxmtrx has joined #ocaml
iago has quit [Quit: Leaving]
groovy2shoes has quit [Quit: It is now safe to turn off your groovebot.]
Tobu has quit [Read error: Operation timed out]
Tobu has joined #ocaml
Qrntz has quit [Read error: Operation timed out]
MaskRay has joined #ocaml
emmanuelux has quit [Remote host closed the connection]
Tobu has quit [Ping timeout: 272 seconds]
ftrvxmtrx has quit [Ping timeout: 244 seconds]
ftrvxmtrx has joined #ocaml
Tobu has joined #ocaml
MaskRay has quit [Quit: leaving]
smondet has quit [Ping timeout: 240 seconds]
ulfdoz has quit [Ping timeout: 245 seconds]
Drup has quit [Quit: Leaving.]
Tobu has quit [Ping timeout: 260 seconds]
Tobu has joined #ocaml
int_ has joined #ocaml
EmmanuelOga has quit [Ping timeout: 244 seconds]
Xizor has joined #ocaml
ontologiae has joined #ocaml
Cyanure has joined #ocaml
ontologiae has quit [Ping timeout: 252 seconds]
pango is now known as pangoafk
ankit9 has joined #ocaml
cdidd has joined #ocaml
silver has joined #ocaml
Cyanure has quit [Remote host closed the connection]
eikke has joined #ocaml
cago has joined #ocaml
Kakadu has joined #ocaml
yroeht has quit [Ping timeout: 255 seconds]
yroeht has joined #ocaml
maufred has joined #ocaml
thomasga has joined #ocaml
ftrvxmtrx_ has joined #ocaml
djcoin has joined #ocaml
ontologiae has joined #ocaml
Kakadu has quit [Ping timeout: 245 seconds]
The_third_man has joined #ocaml
edwin has joined #ocaml
otk has joined #ocaml
otk_ has quit [Ping timeout: 260 seconds]
ikaros has joined #ocaml
MaskRay has joined #ocaml
thomasga has quit [*.net *.split]
cago has quit [*.net *.split]
Xizor has quit [*.net *.split]
sgnb`` has quit [*.net *.split]
hyperboreean has quit [*.net *.split]
jave has quit [*.net *.split]
ousado has quit [*.net *.split]
hyperboreean has joined #ocaml
sgnb`` has joined #ocaml
ousado has joined #ocaml
avsm has joined #ocaml
Xizor has joined #ocaml
thomasga has joined #ocaml
cago has joined #ocaml
jave has joined #ocaml
iago has joined #ocaml
ikaros has quit [Quit: Ex-Chat]
avsm has quit [Quit: Leaving.]
iago has quit [Ping timeout: 240 seconds]
iago has joined #ocaml
ikaros has joined #ocaml
MaskRay has quit [Quit: leaving]
avsm has joined #ocaml
Tobu has quit [Ping timeout: 272 seconds]
antegallya has quit [Ping timeout: 265 seconds]
Tobu has joined #ocaml
<djcoin> Is there a way to install utop in godi ?
Drup has joined #ocaml
probst has joined #ocaml
letrec has joined #ocaml
antegallya has joined #ocaml
antegallya has quit [Client Quit]
ftrvxmtrx_ has quit [Read error: Operation timed out]
<probst> Heya. I am trying to install ocaml-bitstring from source on macosx lion. It ./configures without any problems, but when I run make, I breaks down immediately. I tried installing older versions as well, but with the same problem. Any suggestions? The output can be found here: https://gist.github.com/ba19ccf05cb4194ac655 Thank you!
<flux> hmm, it sounds eerily familiar
antegallya has joined #ocaml
<flux> probst, check out that piece in the Makefile, it probably refers to a variable that shouldn't be empty
<flux> just make VARIABLE_VALUE=$PWD and perhaps you're set
<probst> flux: thanks! solved the problem. $srcdir wasn't set :)
ftrvxmtrx_ has joined #ocaml
<adrien> djcoin: I don't know specifically for utop but anything that installs through ocamlfind will live nicely along godi
<djcoin> adrien: thanks, I guess you are right, I was wondering why it should not have been packaged in godi. But ok !
<adrien> you can also create a godi package :-)
<djcoin> :)
<adrien> it's not very hard and it teaches a lot (maybe that a how-to guide could help; the make it uses is pmake-based, not gnu make at all)
<djcoin> One step at a time ! Im only beginning to use Ocaml
<djcoin> :)
<djcoin> Yeah
<adrien> heheh :-)
<djcoin> Btw, how does Godi and oasis-db relates ?
<adrien> godi does more and is much older; oasis-db and everything related is simpler and lighter
<adrien> (I can't say much more however since I don't use oasis-db, yet)
<djcoin> All right ! Thanks
Tobu has quit [Read error: Operation timed out]
Tobu has joined #ocaml
probst has left #ocaml []
ftrvxmtrx has quit [Ping timeout: 245 seconds]
ftrvxmtrx has joined #ocaml
djcoin has quit [Quit: WeeChat 0.3.2]
TaXules_ is now known as TaXules
Kakadu has joined #ocaml
Tobu has quit [Read error: Operation timed out]
djcoin has joined #ocaml
Tobu has joined #ocaml
papers has joined #ocaml
yroeht has quit [Ping timeout: 240 seconds]
yroeht has joined #ocaml
emmanuelux has joined #ocaml
MaskRay has joined #ocaml
MaskRay has quit [Changing host]
MaskRay has joined #ocaml
Submarine has quit [Quit: Leaving]
bzzbzz has joined #ocaml
ocp has joined #ocaml
Kakadu has quit [Ping timeout: 245 seconds]
eikke has quit [Ping timeout: 240 seconds]
eikke has joined #ocaml
Submarine has joined #ocaml
Submarine has quit [Read error: Connection reset by peer]
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
Submarine has quit [Read error: Connection reset by peer]
Submarine has joined #ocaml
<djcoin> Why does: let concat_with_a = (::) "a" ;; Returns me the error: unbound value "::"
<adrien> :: is not a regular operator
<adrien> it's syntactic sugar
<Submarine> In Ocaml, constructors are not functions or operators.
<Submarine> You may achieve what you wanted using (fun h t -> h::t)
<djcoin> All right ; I was not able to find any "cons" function however ; I chose rev_append
<djcoin> Thanks
zlaqay has quit [Remote host closed the connection]
int_ has quit [Ping timeout: 244 seconds]
MaskRay has quit [Quit: leaving]
<eikke> anyone with some ocamlbuild experience around?
<adrien> ask and we'll see :P
<eikke> right
<eikke> _tags and related files in there as well
<eikke> now I added 2 files (uuid.mli and uuid.c) which should be linked against libuuid.so (system install)
<adrien> don't name them the same way
<eikke> yet I cant figure out where to 'configure' this (ocamlbuild fails with 'undefined reference to...' during linking, as expected)
<adrien> typically we'd name the C one "uuid_stubs.c"
<adrien> uuid.ml and uuid.c can both produce uuid.o
<eikke> oh, that's good to know
<eikke> ok, changed the existing posix.{c,mli} accordinly (it's in our Gerrit instance for review and CI), thanks
<eikke> yet the first question remains as well ;)
<eikke> got something working, I'll let my colleague who knows more about this stuff check whether it's ok :)
Qrntz has joined #ocaml
<hcarty> djcoin: If you want to try oasis-db with GODI, you can grab odb.ml. With a bit of effort you can get utop installed through odb.
<hcarty> djcoin: Or you can use ocamlbrew to get a (relatively minimal) OCaml + odb + utop setup in a command or two.
tmeyer has joined #ocaml
<adrien> bah
<adrien> caravel is built as native-code and I've carefully made .mli files for every .ml file in order to prevent ocamlbuild from making .cmo files
<adrien> now I'd like to use the toplevel with modules from caravel
<adrien> OTOH it's a great occasion to learn to read data pretty-printerd by Marshal into a file
<djcoin> hcarty: "a bit of effort" :) All right I will check that when I have a few time on my hands. Thanks!
<djcoin> little *
avsm1 has joined #ocaml
avsm has quit [Read error: Connection reset by peer]
ftrvxmtrx has quit [Ping timeout: 260 seconds]
ftrvxmtrx has joined #ocaml
<hcarty> djcoin: The dimensions of "a bit" depend on the dependencies you have installed :-) But ocamlbrew automates the full build if you have spare CPU cycles and want to give utop a try.
<hcarty> djcoin: And if you don't want to take that approach, you can look at ocamlbrew's source code (it's a fairly simple shell script) to see what steps are required.
<djcoin> hcarty: disclaimer, you are the author ;)
<djcoin> All right ; I m just discovering the ecosystem of OCaml
<hcarty> djcoin: Yes, I am for ocamlbrew
<djcoin> I will give it a try I guess!
<hcarty> djcoin: Good luck :-) And thelema is the author of odb. odb is provides the real magic behind ocamlbrew.
<hcarty> s/is//
<djcoin> All right ; thanks for the details :)
letrec has quit [Ping timeout: 255 seconds]
int_ has joined #ocaml
ulfdoz has joined #ocaml
<djcoin> I have a list of functions; each function may have a different kind of result but this result will fit into the next functions in the list (classic pattern... ~ waterfall) ; Is there a way to get all those functions in the same list ? I have type error ; I guess because Im mixing function with different result type
<djcoin> Im thinking about two way to turn around this: use tuples instead of list (not sure it s a good design..) ; make a type that will gather all those result type.
silver has quit [Remote host closed the connection]
<eikke> looks like on ubuntu I need my '-luuid' option to be passed as one of the last arguments to the linked. any way to enforce this from within ocamlbuild?
<djcoin> I guess this problem may be trivial but I have not much experience ! :)
<_habnabit> djcoin, instead of keeping a list, you could just compose all of the functions together
<djcoin> _habnabit: yeah I thought about that; In fact I did that ; but then I wanted to group them in a list to compose iterativerly each one with the next fun in the list.
<_habnabit> djcoin, right, but what's the point?
<hcarty> djcoin: The linking order issue is being/has been discussed on the bug tracker and main OCaml mailing list. I don't know what the result was.
<_habnabit> djcoin, I mean, is there a specific reason to keep a list instead of just one composed function?
<djcoin> _habnabit: No big issue, would be handy.... I come from python/javascript, where no type checking exists and I was used to do this sometimes
<_habnabit> well
<_habnabit> 'no type checking' is a bit of a misnomer, but
<_habnabit> maybe 'no compile-time type checking'
<djcoin> Yep, sorry if I'm not using the right vocab, I do not have much theory to back me up :s
<_habnabit> but yeah, ocaml will be pretty substantially different
<djcoin> I guess I will get around by storing those fun in a tuple and iterating over it, composing two fun at a time
<djcoin> I did that in js a few weeks ago
<_habnabit> you can't iterate over a tuple as such
<_habnabit> these aren't like python tuples
<eikke> hcarty: #5441 indeed, thanks
<djcoin> I will; using length and .(i) or stuff I have seen, no ?
<djcoin> I will try it out :bn
<_habnabit> no, you're thinking of an array
<_habnabit> .(i) syntax is only for arrays
<djcoin> .nth ? for list.
<_habnabit> right, but there is no equivalent for tuples, because the length of a tuple is part of its type
<_habnabit> it's not possible to write an nth for tuples
<djcoin> huho, damn ! :)
<djcoin> No way of iterating over tuples then ? no function ?
<djcoin> WIll try the Array
<_habnabit> arrays have the same type restrictions as lists
<_habnabit> and yes, iterating over a tuple is kind of a nonsense concept
<djcoin> :) busted ; I say nonsense; I knew that !
<djcoin> I will try linked tuples
<djcoin> Don't get mad at me :)
<_habnabit> well, that won't help much either
<_habnabit> you should look at using a ... dang, I can't remember the name of when you do `type t = A | B`
<_habnabit> what is that called
<djcoin> That what I was thinking about only B poiting to t; recursively
<hcarty> eikke: You're welcome, and sorry for replying to the wrong person
<hcarty> _habnabit: Variant
<_habnabit> right, that's it
<_habnabit> I was thinking 'varadic', but that's definitely not right
<hcarty> djcoin: I'm not sure that's possible, at least not without some trickery
<djcoin> :)
<djcoin> why would not it be ? Im on my wayyy :)
<hcarty> You may be able to do something with the new 3.12 features. And I don't know enough about GADTs to know if they make such a thing possible.
<_habnabit> you mean 3.13?
<hcarty> _habnabit: 3.13 for GADTs; 3.12 for first class modules and more polymorphism goodies
<_habnabit> right, okay
<_habnabit> I didn't think there was anything new about polymorphism in 3.12
<_habnabit> was trying to find it in the language extensions page
cago has quit [Quit: Leaving.]
<hcarty> _habnabit: Something about recursive functions and polymorphism...
<_habnabit> ah, hm
<hcarty> _habnabit: https://ocaml.janestreet.com/?q=node/79 -- A bit of information here
<_habnabit> oh, right, that
spearalot has joined #ocaml
ulfdoz_ has joined #ocaml
ulfdoz has quit [Ping timeout: 248 seconds]
ulfdoz_ is now known as ulfdoz
antegallya has quit [Ping timeout: 265 seconds]
<djcoin> hcarty: _habnabit: Well, I guess I can't I have to define recursively the contained type; Given I have to define it in the structure, I can not predict each (in my case) possible fun the contained type will be given.
<hcarty> djcoin: Indeed :-)
<djcoin> sob
<djcoin> :b
<hcarty> djcoin: _habnabit's suggestion, and your original approach, to compose the functions is probably the most OCaml-y way to do this
<djcoin> Yeah I guess so !
mdelaney has joined #ocaml
int_ has quit [Ping timeout: 244 seconds]
antegallya has joined #ocaml
int_ has joined #ocaml
srcerer has quit [Quit: ChatZilla 0.9.88 [Firefox 9.0.1/20111220165912]]
srcerer has joined #ocaml
mdelaney has quit [Quit: mdelaney]
The_third_bug has quit []
The_third_man has quit []
djcoin has quit [Quit: WeeChat 0.3.2]
mdelaney has joined #ocaml
The_third_man has joined #ocaml
<adrien> gah, oug has a custom configure script, it's going to kill me
antegallya has quit [Ping timeout: 265 seconds]
papers has quit [Ping timeout: 244 seconds]
<adrien> dirty hack in checkocaml.ml in detect_lablgtkextras
<adrien> (it didn't look for an include path for xml-light)
antegallya has joined #ocaml
ontologiae has quit [Ping timeout: 252 seconds]
spearalot has quit [Quit: Computer has gone to sleep]
iago has quit [Quit: Leaving]
djcoin has joined #ocaml
zorun has quit [Quit: leaving]
zorun has joined #ocaml
avsm1 has quit [Quit: Leaving.]
int_ has quit [Read error: Operation timed out]
ankit9 has quit [Quit: Leaving]
pangoafk is now known as pango
Tobu has quit [Read error: Operation timed out]
Tobu has joined #ocaml
EmmanuelOga has joined #ocaml
* rwmjones wonders if ocaml has an equivalent of _exit
<_habnabit> rwmjones, doing some forking?
<rwmjones> might as well get 'whenjobs' to do something ...
<_habnabit> what's the correlation
ocp has quit [Ping timeout: 265 seconds]
ontologiae has joined #ocaml
oriba has joined #ocaml
ontologiae has quit [Ping timeout: 260 seconds]
Submarine has quit [Quit: Leaving]
ontologiae has joined #ocaml
czro has joined #ocaml
twittard has quit [Quit: twittard]
mdelaney has quit [Read error: Operation timed out]
ulfdoz has quit [Ping timeout: 245 seconds]
<djcoin> Is it possible to load modules inside other one ? Eg: I want to use Gen in the Kaputt package ?
<djcoin> Obviously yes I guess :>
<thelema> djcoin: do you mean #load in the toplevel?
<thelema> or do you mean Kaputt.Gen.foo?
<djcoin> the latter
<djcoin> In fact, I think I was not using correctly the fun I wanted to load... Will try again
<djcoin> thelema: okay, nevermind, I was doing something wrong
<djcoin> Thanks for your quick reply
<thelema> n/p
mdelaney has joined #ocaml
ocp has joined #ocaml
pippijn has joined #ocaml
<pippijn> hi all
<pippijn> I'm getting: implementations provided for the following modules:
<pippijn> Ast referenced from visit.cmx
<pippijn> er
<pippijn> "No implementations ..."
<adrien> hi; when doing what and how?
<pippijn> the last line is the critical one
<pippijn> if I don't map, but just pass l directly, I don't get that error
<adrien> and what do you do on the command-line?
<_habnabit> pippijn, did you mean `let rec resume ...` ?
<pippijn> oh
<pippijn> _habnabit: thanks, that's not what I wanted, but I realised I want to apply fn to the elements, not (resume fn)
<pippijn> it's fine, now
<pippijn> adrien: ocamlbuild
<adrien> and ocamlfind?
<pippijn> ocamlbuild -pkg sexplib transform.native
<adrien> add: -use-ocamlfind
<pippijn> why?
<djcoin> I was trying to use the Generator lib inside Kaputt; I'm an Ocaml beginner; what does: type random = Random.State.t
<pippijn> what does that do?
<djcoin> Is supposed to mean ?
<adrien> -pkg <package> Link to this ocaml findlib package
<djcoin> (No trace of definition of Random nor State)
<adrien> -use-ocamlfind Use ocamlfind to call ocaml compilers
<adrien> you're using ocamlfind; but maybe half of it
<pippijn> hmm
agarwal1975 has joined #ocaml
<agarwal1975> does anyone know how to use sexp library?
<agarwal1975> I have a file with just "type t = int * string with sexp".
<agarwal1975> I compile with "ocamlfind ocamlc -c -g -package sexplib.syntax -syntax camlp4o a.ml" but get the error: Unbound value int_of_sexp
<adrien> which version of sexplib?
<agarwal1975> $ godi_list -installed | grep sexplib
<agarwal1975> godi-sexplib inst:7.0.4godi1
<agarwal1975> shouldn't built-in types be handled automatically. Why does it look for a function int_of_sexp?
<adrien> it writes code like Sexp.Conv.int_of_sexp iirc
eikke has quit [Ping timeout: 244 seconds]
<adrien> open Sexplib.Conv
<adrien> put that at the top of your file
<adrien> looks like it doesn't write the full path to the value
<agarwal1975> of course! thanks.
<adrien> you're welcome :-)
<adrien> pretty pictures generated with Oug: http://notk.org/~adrien/ocaml/caravel/dot/
<adrien> {model,ui}_{dot,neato}.png
<adrien> (there is a couple of missing links because Oug doesn't handle "module A = B" yet)
<agarwal1975> nice!
<djcoin> T_T ; ok Random.State is part of the std lib :x
czro has quit [Ping timeout: 272 seconds]
yroeht has quit [Ping timeout: 244 seconds]
yroeht has joined #ocaml
mdelaney has quit [Ping timeout: 260 seconds]
ontologiae has quit [Ping timeout: 252 seconds]
iago has joined #ocaml
tmeyer has quit [Quit: Leaving]
ikaros has quit [Quit: Ex-Chat]
<agarwal1975> what is the status of sexp in batteries? I need sexp functions for Map.Make, but I don't see how to provide this without copying/pasting the whole implementation of Map into my own library.
<adrien> you could copy-paste the types and Obj.magic; or you can write your own (de)serializer
<adrien> which is only annoying for long enums and big records
<adrien> thelema: btw, I have _oasis files for lablgtk-extras and config_file
<adrien> I'll push them soon for inclusion but in the meanwhile, don't duplicate effort if you want them :-)
ocp has quit [Quit: Leaving.]
ocp1 has joined #ocaml
jamii has joined #ocaml
yezariaely has joined #ocaml
yezariaely has quit [Client Quit]
ocp1 has quit [Ping timeout: 244 seconds]
lamawithonel__ has quit []
mdelaney has joined #ocaml
edwin has quit [Remote host closed the connection]
jamii has quit [Quit: Leaving]
lamawithonel has joined #ocaml
ftrvxmtrx_ has quit [Remote host closed the connection]
twittard has joined #ocaml
thomasga has quit [Quit: Leaving.]
agarwal1975 has quit [Quit: agarwal1975]
mdelaney has quit [Ping timeout: 260 seconds]
letrec has joined #ocaml
<adrien> look at the beautiful graphs for which the images weigh > 1MB
<zorun> wow
<zorun> that's a big project
<zorun> all on your own?
<adrien> it's not a very big project; it's mostly a very verbose graph ;p
<zorun> :)
<zorun> or how to look humble without answering the question ;)
<zorun> have you released something yet?
<adrien> the code is pretty dense however
<adrien> and there are functors
<adrien> as for the release; yes but it's not terribly usable now and I need to have the deps sorted out
mdelaney has joined #ocaml
<adrien> (I need to have them packaged)
<djcoin> adrien: could this browser be used as an headless browser testing tool ? Not sure my question is relevant
<adrien> hmmm; dunno; it depends on what you want
<adrien> maybe, see DRT in webkit: DumpRenderTree
<adrien> it's used for regression testing in webkit (it's a pixel-precise text description of what would be on screen)
<djcoin> testing javascript code; dom result and stuff ; could be part of the js_of_ocaml/ocsigen/etc.; do not know
<adrien> I don't have bindings to the DOM yet in lablwebkit
<adrien> which is a library for bindings to webkit-gtk
<adrien> it might be better to start with lablwebkit directly
<adrien> I need to go to bed; see you later (as usual, my irc client will continue to run)
<djcoin> kk
<djcoin> good night then
letrec has quit [Ping timeout: 248 seconds]
daimrod has left #ocaml []
<djcoin> bb all
djcoin has quit [Quit: WeeChat 0.3.2]
oriba has quit [Quit: oriba]
mdelaney has quit [Read error: Operation timed out]