gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.0 http://bit.ly/aNZBUp
<er> to support my own program specific types
<er> ah :-)
<thelema> I think this is the piece of batteries that enables p"" format strings
<thelema> yup
<er> ok, thanks for the pointer.
<er> much appreciated.
ulfdoz_ has joined #ocaml
ulfdoz has quit [Ping timeout: 276 seconds]
ulfdoz_ is now known as ulfdoz
dnolen has quit [Quit: dnolen]
avsm has joined #ocaml
philtor has quit [Ping timeout: 258 seconds]
dnolen has joined #ocaml
smerz has quit [Quit: Ex-Chat]
dnolen has quit [Quit: dnolen]
lopex has quit []
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
hto_ has joined #ocaml
hto has quit [Ping timeout: 240 seconds]
wtetzner has quit [Remote host closed the connection]
adnam has left #ocaml []
avsm has quit [Quit: Leaving.]
jld has quit [Ping timeout: 264 seconds]
Tianon has quit [Ping timeout: 260 seconds]
dnolen has joined #ocaml
dnolen has quit [Client Quit]
jld has joined #ocaml
Tianon has joined #ocaml
Tianon has quit [Changing host]
Tianon has joined #ocaml
wtetzner has joined #ocaml
vivanov has joined #ocaml
mjonsson has quit [Remote host closed the connection]
er has quit [Quit: er]
Tobu_ has joined #ocaml
Tobu has quit [Ping timeout: 248 seconds]
raphscallion has joined #ocaml
avsm has joined #ocaml
avsm has quit [Client Quit]
ulfdoz has quit [Ping timeout: 250 seconds]
jderque has joined #ocaml
Yoric has joined #ocaml
wtetzner has quit [Ping timeout: 246 seconds]
philtor has joined #ocaml
wtetzner has joined #ocaml
raphscallion has quit [Quit: raphscallion]
raphscallion has joined #ocaml
philtor has quit [Read error: Operation timed out]
philtor has joined #ocaml
hto_ has quit [Ping timeout: 263 seconds]
ftrvxmtrx has quit [Quit: This computer has gone to sleep]
Yoric has quit [Quit: Leaving.]
chegibari has joined #ocaml
larhat has joined #ocaml
philtor has quit [Ping timeout: 276 seconds]
chegibari has quit [Remote host closed the connection]
ikaros has joined #ocaml
hto has joined #ocaml
chegibari has joined #ocaml
rby has joined #ocaml
Yoric has joined #ocaml
ftrvxmtrx has joined #ocaml
jderque has quit [Quit: leaving]
Cyanure has joined #ocaml
ocp has joined #ocaml
<chegibari> Does ocamlc ignore "-o" when it's "compiling only", that is when then "-c" switch is used?
<chegibari> What if I want to build the .cmo files in another folder? Do I have to copy/link that file in the folder, compile and delete the copy/link?
<f[x]> iirc that's because not all C compilers support building in separate folder
<chegibari> ok, thanks
<flux> imo those compilers should be worked around. compiling to a separate directory is a feature that is wished a lot.
<flux> and for example ocamlbuild works around that by copying source files around. how lame is that?
thomasga has joined #ocaml
raphscallion has quit [Ping timeout: 240 seconds]
<f[x]> flux, I guess nobody will be against patches :)
<f[x]> PR#3904 and PR#3757
<flux> isn't bug tracker the place where patches go do die.. ;)
ftrvxmtrx has quit [Quit: Leaving]
<f[x]> may be :)
<ocp> indeed, there are many patches in the bug tracker that have not yet been applied
<ocp> it would be nice to have a rep of all the patches that have been submitted there
<ocp> and not yet applied
<f[x]> there was some repo on github with this purpose iirc but as appears nobody needs it
<f[x]> that's just the question of real need - creating such repo is zero technical problems thanks to git
joelr has joined #ocaml
<joelr> good morning
<joelr> is it possible with oasis to say that db.mli should be compiled before db.ml? this is so that i can resolve recursive module dependencies in db.ml
<joelr> gildor: ^
<f[x]> no, this is an ugly hack and no build system will support it out of the box
ocp has quit [Ping timeout: 260 seconds]
<joelr> darn
<joelr> f[x]: why is it an ugly hack?
<f[x]> that's my subjective feeling that it is ugly
<joelr> why?
<rproust> afaik db.mli is compiled before db.ml if you use ocamlbuild, ocamldsort or anything of the sort
<f[x]> primarily because I've never personally used it
<rproust> if not you get "no cmi found for the file …" or someting like that
<joelr> maybe i just need to rearrange my modules in the mli file then
<joelr> let me try that
<joelr> nope, doesn't :-(
<rproust> if all of your recursive modules are within the same file, it's fairly easy
<joelr> oh, well
<rproust> you have to use the rec keyword
<joelr> rproust: use it just in the mli? i don't think that's possible :-(
<rproust> if your recursive modules are files of their own, then it becomes a ugly hack
<rproust> look at the link I gave
<joelr> and i don't want to go the route that the manual suggests, i.e. duplicate signatures in the ml file in the rec module definition and then duplicate the signatures again in the mli file
<rproust> you don't need to
<joelr> rproust: thanks for the link, how is it that i don't need to?
<joelr> rproust: are you saying i can define the modules as recursive -just- in the mli file?
<rproust> you can put the recursive signatures in the mli and the recursive implementations in the ml
<joelr> interesting...
<joelr> tryign...
<joelr> trying
<rproust> module rec A = struct … end and B = struct … end <-- in you ml should work
<joelr> trying
<joelr> ...
<flux> recursive modules require signatures, don't they?
<rproust> if the signature is in the mli I think it works
<rproust> not 100% sure
<rproust> it seems you are right flux
<rproust> well gtg… GL joelr
<joelr> rproust: doesn't work but thanks!
<joelr> doesn't work without duplicating the signatures in the ml and mli files that is
jderque has joined #ocaml
edwin has joined #ocaml
jamii has joined #ocaml
ftrvxmtrx has joined #ocaml
ocp has joined #ocaml
lopex has joined #ocaml
<ocp> f[x], you said there was some repo of patches, but I could not find it. Do you have an url ?
<f[x]> it was intended to be the repo with patches : https://github.com/thelema/ocaml-community
<ocp> my original idea was not to have a patched version of ocaml, but a repository of patches
_andre has joined #ocaml
<ocp> just like the hump, but for patches
<ocp> it is often a pain to find a patch in mantis, and many times, you don't even know that such a patch has been submitted
<f[x]> sounds reasonable
<f[x]> there are some patches floating around not even in mantis
<f[x]> e.g. overbld
oriba has joined #ocaml
jamii has quit [Ping timeout: 240 seconds]
dnolen has joined #ocaml
jamii has joined #ocaml
oriba has left #ocaml []
boscop has quit [Ping timeout: 246 seconds]
Snark has joined #ocaml
boscop has joined #ocaml
jamii has quit [Ping timeout: 276 seconds]
boscop has quit [Ping timeout: 246 seconds]
jamii has joined #ocaml
joelr has quit [Ping timeout: 246 seconds]
boscop has joined #ocaml
ankit9 has joined #ocaml
joelr has joined #ocaml
lopex has quit [Ping timeout: 252 seconds]
boscop has quit [Ping timeout: 246 seconds]
raphscallion has joined #ocaml
joelr_ has joined #ocaml
joelr has quit [Ping timeout: 244 seconds]
joelr_ is now known as joelr
lamawithonel has joined #ocaml
jamii has quit [Read error: Connection reset by peer]
jderque has quit [Quit: leaving]
dnolen has quit [Quit: dnolen]
raphscallion has quit [Quit: raphscallion]
avsm has joined #ocaml
pdhborges has joined #ocaml
pdhborges has left #ocaml []
<adrien> gildor: \o/ (xdg-basedir ;-) )
<adrien> and: http://example.nfshost.com/versions.php nearlyfreespeech.net has ocaml available for cgi modules :p
avsm has quit [Quit: Leaving.]
jld has quit [Ping timeout: 264 seconds]
Tianon has quit [Ping timeout: 260 seconds]
boscop has joined #ocaml
Tianon has joined #ocaml
Tianon has quit [Changing host]
Tianon has joined #ocaml
jld has joined #ocaml
pdhborges has joined #ocaml
Cyanure has quit [Remote host closed the connection]
<thelema> ocp: if you want, I can give you admin on ocaml-community and you can make a branch for patches
<ocp> maybe I should have forked ocaml-community
<thelema> ocp: no problem.
<ocp> the problem is that I am not sure of which patches are applied in there
ymasory has joined #ocaml
boscop has quit [Ping timeout: 240 seconds]
<thelema> you'd have to go back through the commits to get that, I guess.
joelr has quit [Quit: joelr]
<thelema> it looks like most of what's in the master branch is stdlib changes
<ocp> my goal is not yet to maintain a patched branch (that will be done in the future, but it is too early)
<ocp> but just to keep an history of what patches are available
<thelema> yes, I got that. Maybe I'll do the work of pulling patches out from ocaml-community and send them your way
<ocp> or on Mantis :-)
<thelema> well, an old version of my patch is on mantis, but it's been updated since then
<thelema> and probably needs more updating still.
<ocp> if you manage to find it, you can upload a new version
<thelema> this was my patch back when: http://caml.inria.fr/mantis/view.php?id=4438
rby has quit [Quit: Lost terminal]
edwin has quit [Remote host closed the connection]
<ocp> interesting, indeed
<ocp> it is one item of our roadmap ;-)
<thelema> :)
lopex has joined #ocaml
rby has joined #ocaml
joelr has joined #ocaml
<ocp> ok, must go, see you all
ocp has left #ocaml []
pdhborges has quit [Quit: Leaving.]
jderque has joined #ocaml
edwin has joined #ocaml
joelr has quit [Quit: joelr]
Associat0r has joined #ocaml
lopex has quit []
<thelema> Has anyone else gotten an error about missing ocamlbuild.cmx with 3.12?
bzzbzz has quit [Quit: leaving]
<thelema> yup, very odd. [make opt] skips installing ocamlbuild.cmx, but [make opt.opt] installs it
joewilliams_away is now known as joewilliams
ymasory has quit [Quit: Leaving]
ulfdoz has joined #ocaml
bzzbzz has joined #ocaml
ulfdoz_ has joined #ocaml
enthymeme has joined #ocaml
ulfdoz has quit [Ping timeout: 258 seconds]
ulfdoz_ is now known as ulfdoz
ftrvxmtrx has quit [Quit: This computer has gone to sleep]
lopex has joined #ocaml
Yoric has quit [Quit: Leaving.]
chambart has quit [Ping timeout: 246 seconds]
sgnb has quit [Read error: Connection reset by peer]
sgnb has joined #ocaml
boscop has joined #ocaml
enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]
enthymeme has joined #ocaml
chambart has joined #ocaml
olauzon has joined #ocaml
Yoric has joined #ocaml
ftrvxmtrx has joined #ocaml
yezariaely has joined #ocaml
yezariaely has left #ocaml []
sepp2k has joined #ocaml
emmanuelux has joined #ocaml
ocp has joined #ocaml
larhat has quit [Quit: Leaving.]
Tobu_ has quit [Ping timeout: 248 seconds]
ymasory has joined #ocaml
Tobu has joined #ocaml
<hcarty> gildor: An instance of gitorious on the forge would be very nice. It provides a clean interface, and would hopefully entice more projects to move over from github.
<thelema> hcarty, gildor: What's the problem with github? Its not being open source seems to be the best argument against it, and even that is a pretty weak argument
<hcarty> thelema: gitorious provides a migration path away from a host
<hcarty> thelema: github does not, as far as I understand
<thelema> hcarty: migration path away? i.e. we're locked into using github?
<thelema> I guess the issues and wiki aren't trivial to migrate from, I think everything else is.
<hcarty> Those are pretty signifcant parts of a project
<hcarty> Also, providing a better services on the forge is, in general, a good thing
<hcarty> If it is then a better competitor to github, so much the better.
<thelema> I don't mind the forge providing better services. I just feel oddly pressured to leave github
<hcarty> thelema: You hear a voice in the back of your head. It calls out, "Use the Forge, Edgar!"
philtor has joined #ocaml
<hcarty> I think that, for a project which wants to be an important part of the OCaml community, it would be ideal if it were hosted on the forge.
<hcarty> If the forge needs to be improved for that to happen, then it will hopefully be improved to the point where it is polished enough.
<hcarty> github certainly provides a cleaner and prettier interface than the forge. Possibly even cleaner than gitorious.
<thelema> hcarty: I don't think gildor can do that even with 48 hours in a day.
<ocp> I think it is not a good idea
<ocp> github has statistics on languages
<ocp> the more ocaml projects there, the more OCaml is visible for people using other languages
<ocp> if all ocaml projects are on ocamlcore.org, then they are not visible for people not using OCaml
<hcarty> ocp: That's a fair point
<ocp> so actually, it would be better to have some kind of "ocaml freshmeat" on ocamlcore.org
<hcarty> It's a bit of a trade off between discoverability for people who don't use OCaml and people who do
<hcarty> ocp: The Hump is something along those lines
<ocp> the hump is a good starting point, but it is not easy to update
<ocp> it has no "web 2" interface
* thelema thinks the right place to do discovery is at package install - thus http://oasis.ocamlcore.org/dev/odb/ is the key
<ocp> where people would be able to modify there projects
<hcarty> ocp: github vs gitorious vs sf vs other hosts have the same visibility issues though
<ocp> I think today, github is the rising star
<ocp> so, being there is the way to go... until another one becomes more famous
<hcarty> thelema: I agree, but until something CPAN-like comes along, where anyone can develop and add packages, oasis-db/odb won't be enough.
<thelema> If I'm not mistaken, anyone with a forge login can upload packages to odb
<ocp> this afternoon, we were discussing patches, how do you submit a patch to odb ?
<thelema> I've lost my admin interface for promoting packages from unstable -> testing -> stable, but...
<thelema> ocp: odb accepts tarballs, not patches.
<ocp> indeed, so, it is not enough
<thelema> if ocaml became mainstream, 90+% of its community wouldn't care about patches, but would want tarballs
<ocp> we need some kind of inventory, where people can just register there project, and update the project when something new happens
<thelema> installable tarballs
<ocp> the hump, but with logins
<thelema> what would the hump do with patches?
<hcarty> I think that oasis-db/odb is the right idea. It just isn't complete yet.
<ocp> there could be a section "extensions", with patches to the main distro
<thelema> and one would choose a distro file (radio button) and use checkboxes to enable patches and download a tarball?
<thelema> hcarty: I worry that the only missing critical part of odb is the database of installable packages
<hcarty> thelema: Possibly so. Can it do updates? (ex. Camomile 0.7 -> 0.8 upgrade also upgrades Batteries)
<thelema> no, although batteries just lost its dep on camomile
<hcarty> Until it can handle that, I don't know how usable it is beyond an initial install
<hcarty> Since compilation will break with "foo and bar make inconsistent assumptions..." errors
<thelema> gildor: please fix http://oasis.ocamlcore.org/dev/admin/odb "Error Don't know what to do with timezone 'Chile/Continental'"
Associat0r has quit [Quit: Associat0r]
ygrek has joined #ocaml
Snark has quit [Quit: Ex-Chat]
<gildor> hi all
<gildor> as ocp stated (and as it is stated in my post) github has language statistics
<gildor> but honestly, except if you can rise the number of ocaml projects to 20 000, you won't compete with ruby
<gildor> i.e. anyone who look at the statistic (and care about it), will just conclude: ocaml is a minor language
<gildor> on github
<gildor> the forge is the same starting point from where ruby started years ago
<gildor> concerning the hump, I think oasis-db is almost the hump + login
<thelema> gildor: I agree that the count of ocaml projects isn't that great, but the fact that many programmers already have accounts on github makes it easier for them to switch to a github/ocaml project than moving to ocamlforge
<gildor> thelema: if you have read my post, I don't say people should switch from github to ocamlforge, I know that it is not a good idea
<gildor> I am just pondering the option to make both of them live together
<thelema> why?
<gildor> (i.e. plugin to synchronize, RSS feed to make more advertisement of ocaml github project)
<gildor> why about what ?
<thelema> why have github/ocamlforge work together more
<gildor> to advertise ocaml projects for example
<thelema> i.e. if an ocaml project starts on github, it'll get an announcement like ocaml projects started on the forge?
<gildor> yes
<gildor> that will be good
<gildor> this is not a big advertisement but this is a way to integrate
milosn has quit [Remote host closed the connection]
<thelema> hmm, it seems that it would suffice to have a list of ocaml projects on github and pull data from github to do things with
<gildor> that the point of the project activity-reporter
<gildor> have a look at it, if you want, I have too much work to finish it
jld has quit [Ping timeout: 260 seconds]
<thelema> What if oasis auto-build a package based on a github tag "oasis-v2.0"
Tianon has quit [Ping timeout: 260 seconds]
<gildor> thelema: not sure to follow you...
<thelema> i.e. what if the process of me updating oasis-db with the new release of batteries was: 1) tag the version I want to release as "oasisdb-v2.0" 2) there is no step 2
<gildor> thelema: ah yes, it something I plan (with mjambon pushing me to do it)
<gildor> but based on whatever tag you push
<thelema> but then how would #2 happen automatically?
zorun has quit [Ping timeout: 276 seconds]
<gildor> but not top priority
<thelema> how close to the top is fixing http://oasis.ocamlcore.org/dev/admin/odb?
<gildor> AFAIK, you can ping an URL when you commit something on github
Tianon has joined #ocaml
Tianon has quit [Changing host]
Tianon has joined #ocaml
<gildor> you will just have to ping and URL that will in turn check if a new tag has been pushed
<gildor> thelema: with TZ ?
<thelema> gildor: that would work. http://help.github.com/post-receive-hooks/
<gildor> thelema: give me 5min for the fix
<thelema> gildor: yes, instead of getting the admin interface, I get a TZ error
<gildor> oops, more than 5min, I need to rebuild a couple of things
milosn has joined #ocaml
<thelema> TYVM
vivanov has quit [Ping timeout: 248 seconds]
jld has joined #ocaml
<gildor> thelema: BTW, working on "oasis bundle", it is almost working
oriba has joined #ocaml
<thelema> gildor: congrats. sorry I couldn't help with that.
<gildor> thelema: without noticing it, you already help me
<gildor> thelema: I extract part of odb and what have been done in oasis-db for odb to create it
oriba has left #ocaml []
<thelema> then I'm glad to have helped.
<thelema> hcarty: working on the dep issue - maybe easily solvable
<thelema> hcarty: would it be sufficient if, after upgrading camomile, odb gave the command line to update everything that depends on camomile?
<thelema> (by default). I could add an option to auto-update packages that require what was just installed.
<gildor> thelema: argh, shot me in the foot
<thelema> gildor: a few more minutes, then?
<gildor> thelema: I don't have amd64 host at hand and I need one to restart the service
* thelema doesn't understand how that would work, but ...
jderque has quit [Quit: leaving]
Cyanure has joined #ocaml
_andre has quit [Quit: leaving]
<hcarty> thelema: That would be a good start
<hcarty> thelema: Something like, "To upgrade dependent packages, please run: ocaml odb.ml ..."
<thelema> exactly
<thelema> print_endline "Some packages depend on the just installed packages and should be re-installed.";
<hcarty> That plus an auto-upgrade flag would be excellent
<thelema> print_endline "The command to do this is:";
<thelema> print_string "ocaml odb.ml -force "
<thelema> List.iter (printf "%s ") reqs;
<hcarty> thelema: Bonus points if it points out packages which depend on the package "foo" but which are not installed/installable with odb
<hcarty> print_endline "Some dependent packages are not available through odb: localfoo localbar localbaz"
<thelema> at the moment, I think it'll fail in some unknown way when that happens
<thelema> it might report that in the middle of its huge output
<thelema> (if you use auto-install)
<hcarty> That's reasonable for now
<thelema> it's a start
<hcarty> How much work would it be to support multiple package repositories? For example, official and local repositories.
<thelema> meaning if it didn't find a package at a certain repo, it'd try the next repo?
<thelema> not particularly difficult.
<thelema> you could implement it pretty easily. :)
<hcarty> thelema: If I get the time to, I certainly will :-)
Tobu has quit [Remote host closed the connection]
Tobu has joined #ocaml
thomasga has quit [Quit: Leaving.]
<thelema> hcarty: initial version committed. It may be a while before we can really test this, but if you see any obvious bugs, fix them or let me know.
<hcarty> thelema: Thank you - I certainly will
ygrek has quit [Ping timeout: 246 seconds]
ymasory has quit [Quit: Leaving]
lopex has quit [Ping timeout: 250 seconds]
lopex has joined #ocaml
ulfdoz has quit [Read error: Operation timed out]
edwin has quit [Remote host closed the connection]
<hcarty> thelema: I haven't had a chance to try it yet - but does the odb update recompile packages in a dependency-respecting order?
ymasory has joined #ocaml
<hcarty> For example - update package A. Package B depends on A, and C depends on B. Will B be updated/reinstalled before C, or is this undefined?
<hcarty> In this case, I guess C would need to depend on B and A.
ftrvxmtrx has quit [Remote host closed the connection]
Yoric has quit [Quit: Leaving.]
ikaros has quit [Quit: Ex-Chat]
pdhborges has joined #ocaml
Cyanure has quit [Remote host closed the connection]
cthuluh has quit [Quit: leaving]
ocp has left #ocaml []
raphscallion has joined #ocaml
pdhborges has left #ocaml []
ymasory has quit [Remote host closed the connection]
raphscallion has quit [Client Quit]
raphscallion has joined #ocaml
raphscallion has quit [Quit: raphscallion]
ymasory has joined #ocaml
cthuluh has joined #ocaml
emmanuelux has quit [Remote host closed the connection]
raphscallion has joined #ocaml
_andre has joined #ocaml
raphscallion has quit [Remote host closed the connection]
Amorphous has quit [Ping timeout: 258 seconds]
raphscallion has joined #ocaml
sepp2k has quit [Quit: Leaving.]
ymasory has quit [Ping timeout: 276 seconds]
Amorphous has joined #ocaml
raphscallion has quit [Read error: Connection reset by peer]
raphscallion has joined #ocaml
raphscallion_ has joined #ocaml
raphscallion has quit [Ping timeout: 260 seconds]
raphscallion_ has quit [Ping timeout: 276 seconds]
dnolen has joined #ocaml
olauzon has quit [Quit: olauzon]
avsm has joined #ocaml