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
gnuvince_ has joined #ocaml
eb4890 has quit [Ping timeout: 252 seconds]
drunK has quit [Remote host closed the connection]
CoryDambach has joined #ocaml
agolsme has quit [Ping timeout: 240 seconds]
<flux> adrien, there is a tool, infact, but I don't know if it works, if it's been updated (likely not) nor what was its name ;-)
<flux> (a tool for checking c-bindings)
agolsme has joined #ocaml
mjonsson has quit [Remote host closed the connection]
wuj has quit [Ping timeout: 265 seconds]
agolsme has quit [Ping timeout: 276 seconds]
<adrien> flux: ;p
ikaros has joined #ocaml
valross has quit [Remote host closed the connection]
agolsme has joined #ocaml
agolsme has quit [Ping timeout: 240 seconds]
CoryDambach has quit [Ping timeout: 240 seconds]
Yoric has joined #ocaml
Yoric_ has joined #ocaml
Yoric has quit [Ping timeout: 252 seconds]
Yoric_ is now known as Yoric
zubeen has joined #ocaml
ttamttam has joined #ocaml
ygrek has joined #ocaml
Yoric has quit [Quit: Yoric]
ftrvxmtrx has quit [Quit: Leaving]
rillian has joined #ocaml
<rillian> question about linking:
<rillian> I'm playing with the llvm tutorial
<rillian> and I need to link with 'llvm.cma -cclibs -lstdc++'
<rillian> but the man page claims that .cma files know what they were linked against originally, so I'm confused as to why that's necessary
<rillian> and why -lstdc++ but not -lllvm? is it just a packaging error?
<julm> indeed .cma may keep -cclib or -ccopt parameters
<julm> you can see them with ocamlobjinfo or strings your.cma | tail
<rillian> ah, nice
<rillian> so I guess the extra -lstdc++ is required because the original build was with g++, which links that library by default?
* julm doesn't know :|
<rillian> well thanks, at least I have an hypothesis now..
ygrek has quit [Remote host closed the connection]
ygrek has joined #ocaml
easy4 has joined #ocaml
easy4 has quit [Ping timeout: 265 seconds]
ftrvxmtrx has joined #ocaml
rillian has quit [Ping timeout: 240 seconds]
<mfp> orbitz: yes, you can use pa_monad, but lwt comes with its own syntax extension, which is more powerful and IMO looks better too
kerneis is now known as MrLapinot_
MrLapinot_ is now known as MrLapinot
MrLapinot is now known as kerneis
kerneis is now known as MrLapinot
MrLapinot is now known as kerneis
* f[x] wonders if it is possible to put comma into _oasis field
<gildor> f[x]: yes
<gildor> f[x]: but some fields interpret it as list separator
<gildor> f[x]: where do you want to put a comma?
<f[x]> exactly in the list field :)
<f[x]> say copyrights
<f[x]> also I wanted to use © symbol there but OASIS setup frowned upon it :)
<f[x]> not that I really need it, just curious
Yoric has joined #ocaml
<gildor> f[x]: indeed, I never tested it that way
<gildor> I use (C) usually
<f[x]> that's minor minor issue
<gildor> f[x]: and indeed, you cannot use ',' in the copyright because it will be confused about it
<f[x]> btw, odn.forge.ocamlcore.org still presents empty unhelpful page
<gildor> (separator or inside one of the copyright owner)
<gildor> odn.f.o.o -> yes I know, one day I'll need to fix it
<f[x]> configure inside oasis-0.2.0.tar.gz is not executable
<gildor> f[x]: open a bug about the (C) if you want, it will help me to keep it in mind for next release
<gildor> configure no +x -> darcs dist issue, I think
<f[x]> darcs -> fail (/me knew it always)
<gildor> f[x]: can you also open a bug, I'll fix it for next minor release (probably end of the week)
* f[x] is on a bug-opening party
<gildor> f[x]: go ahead, it'll help me to fix it
<f[x]> also need to kick flexlink author, it is unusable with ocaml/mingw under cygwin shell
<gildor> f[x]: really?
<gildor> what is your issue with flexlink
<gildor> (well I use it with msvc)
<f[x]> yup, it assumes that ocaml/mingw doesn't need to call bash when running gcc
<f[x]> only does so for ocaml/cygwin
<f[x]> but ocaml/mingw is perfectly usable from cygwin shell (and it is warned in ocaml README that it should be built that way so why setup separate msys?)
<f[x]> and then it epicfails to resolve cygwin symlink for gcc
<gildor> kerneis: thanks a lot, this is the solution of f[x]'s bug
<kerneis> except the bug has not been resolved
<kerneis> so you can submit a patch to darcs ;-)
<f[x]> moreover windows will load that symlink as 16-bit COM program and fail even more spectacularly
<f[x]> combined with using List.tl without checking for empty list this all results in a gross wtf
<gildor> kerneis: only have 2 hands and one brain, it becomes harder and harder to contribute all over the place ;-)
* gildor looking to have a second brain
<f[x]> so true :)
* f[x] wants just more hours in a day
<kerneis> and 36 hours/day
<gildor> f[x]: more hours in a day -> already try that (jet lag + guronsan)
<gildor> no good
<f[x]> and how it is going?
<f[x]> ah, I see :)
<gildor> you finish by being unproductive because you are confused
<flux> best keep notes in that situation
<gildor> (and I think I can stand quite a few hours of work before being confused, but human is so limited)
* kerneis wonders why it takes hours to get darcs repository
yezariaely has joined #ocaml
<f[x]> kerneis, muahaha
<gildor> hopefully, we will be able to transfer our brain to computer and keep working for hours
<gildor> kerneis: is this about just oasis or in general ?
* f[x] also hates gildor for using latest-greatest versions of deps in oasis 0.2.0 (given the fact that one cannot easily have several versions of same ocaml library + deb package installed on debian)
<kerneis> gildor: no, I meant doing "darcs get --lazy http://darcs.net/" takes hours
<kerneis> (well, minutes)
yezariaely has left #ocaml []
<gildor> f[x]: I know you hate me, but I plan to release an oasis-bundle for next minor release that will include everything you want to build oasis
<f[x]> hm, without installing deps via ocamlfind?
<f[x]> how it will find them?
<f[x]> will it be possible to reuse for other projects?
<gildor> you can take a look at test/TestFull.ml in oasis
<gildor> basically, you can setup a confined version of a set of libraries using ocamlfind and override the default from the system
<gildor> I do this during tests: run oasis setup -> ocaml setup.ml -all -> ocaml setup.ml -install -> link with generated library
<gildor> everything inside a temporary directory
<gildor> just by modification of OCAMLPATH and OCAMLFIND_DESTDIR
<gildor> (and OCAMLFIND_LDCONF)
<kerneis> gildor: what you are looking for is predist commands
<kerneis> (see darcs setpref)
<gildor> kerneis: already use it for "oasis setup"
<f[x]> ok, it's cool
<gildor> kerneis: I will add "oasis setup && chmod +x configure"
<gildor> f[x]: this way I can compile the executable 'oasis' but I cannot install the library
<kerneis> another option would be "oasis setup && autoreconf"
<gildor> f[x]: but I think the library is not as interesting as the executable
<kerneis> (or sth like that)
<kerneis> it would make sure configure is up to date
<gildor> autoreconf -> I don't use autotools in fact
<kerneis> ok, you write your own configure
<kerneis> I see
<f[x]> gildor, it covers many usecases and this approach can be used in other projects
<f[x]> when one needs to bundle libraries
<gildor> f[x]: this approache will be used to create a "bundle" subcommand that will be able to do exactly the same thing for any oasis enabled projects
* gildor create an account on github
* f[x] looks forward for using it in mldonkey, current situation with bundled libs is just awful
<gildor> f[x]: basically it will something that look like what mldonkey does
<gildor> but in an automatic way
<f[x]> and one will be able to use system libraries instead of bundled ones easily
<f[x]> yes?
<gildor> if it matches the constraint, yes
* f[x] unhates gildor a little bit
<gildor> e.g. if mldonkey lablgtk2 (>= 2.12.0) and that we provide 2.12 in the bundle but 2.14 is installed
<gildor> we should use 2.14 from the system
init1 has joined #ocaml
<f[x]> lablgtk is actually not bundled, but may be downloaded and built locally if needed
<gildor> lablgtk is probably not a very good example, because it is quite hard to bundle
<f[x]> this is quite good as it is, but it is hard/boresome to setup for all used dependencies, so all the other libs are simply stored inside source tree
_andre has joined #ocaml
<kerneis> gildor: i fixed the darcs bug, will send it upstream this afternoon
<gildor> kerneis: thank you very much
<kaustuv> OASIS 0.2 released! And the command is in lowercase! Oh frabjous joy!
<kaustuv> (I guess I am late to the party)
ikaros has quit [Remote host closed the connection]
<thomasga> but the keywords in the configuration files still contain some capital letter :-)
<thomasga> letter(s)
<kaustuv> gildor: some minor comments -- it would be useful if the INSTALL.txt file had links to the nonstandard ocaml packages. Also, the configure script doesn't have the executable bit set.
<gildor> thomasga: keywords in the _oasis -> you can use lowercase letter, it is caseless (cabal inheritance)
<gildor> kaustuv: INSTALL.txt with links, good idea, but it will need OASIS-DB to lookup this kind of information
<gildor> (e.g. we can put real name of the package and not findlib name, and we can use homepage/download links)
<flux> maybe it's time to look what useful things haskell people have come up with gadt :)
<kerneis> no more obj.magic in ocsigen, maybe
<flux> there's obj.magic in ocsigen? :-o
<asmanur> :D
<asmanur> flux: there's handmade gadts iirc
<kerneis> it's in eliom, not ocsigen actually
<kerneis> you need it to handle form parameters
<kaustuv> I wonder which of {OCaml, Haskell, Scala} has the most complex type system
kelaouchi has joined #ocaml
<thomasga> gildor: so BuildTools = buildtools = build-tools = build_tools ?
kaustuv has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
<kerneis> gildor: http://bugs.darcs.net/patch439 (it might take a while to reach a stable release, though)
<gildor> thomasga: BuildTools = buildtools
<gildor> for now, there is no build-tools = build_tools
<gildor> though, if you find let say 3 other people that backup this proposal, I will implement it
<gildor> (and if you think it is really important, of course)
<adrien> I prefer not too much deviation, one problem is that people would look up something, get the string in one format, see another mentionned, and another one again ... it's not very friendly for new users actually
<gildor> adrien: I agree but if it is really something that deters people from using OASIS, I am willing to change it
<thomasga> well, it's just that the naming convention is not really ocaml-friendly, but that's not very important :-)
<adrien> of course, I'm only mentionning what I think most people think, but I've never been very good at making such guesses ;-)
kelaouchi has quit [Remote host closed the connection]
<gildor> thomasga: the parsing is done using genlex and genlex consider BuildTools, buildtools and build_tools as an Ident
<gildor> thomasga: but build-tools is not an ident
kelaouchi has joined #ocaml
kelaouchi has quit [Read error: Connection reset by peer]
kelaouchi has joined #ocaml
ikaros has joined #ocaml
Amorphous has quit [Read error: Connection reset by peer]
Gooffy has joined #ocaml
kelaouchi has quit [Read error: Connection reset by peer]
Amorphous has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
wuj has joined #ocaml
bzzbzz_ has quit [Quit: leaving]
init1 has quit [Quit: Lost terminal]
init1 has joined #ocaml
boscop has quit [Ping timeout: 240 seconds]
boscop_ has joined #ocaml
_andre has quit [Ping timeout: 252 seconds]
init1 has quit [Quit: Lost terminal]
init1 has joined #ocaml
<hcarty> adrien: Saffire is the OCaml-C interface checker
<hcarty> adrien: http://www.cs.umd.edu/~furr/saffire/ - but it appears old and potentially unmaintained.
<gildor> hcarty: but full of promises
<gildor> too bad the devel stopped
<hcarty> gildor: Indeed
<hcarty> I tried it shortly after learning OCaml but I didn't have any luck getting it to work
<hcarty> A similar tool mixed with something like Ciml (and/or OCaml cowboy?) may help provide safer bindings.
romanoffi has quit [Quit: Leaving.]
<rwmjones> blimey, I just modded jdh30 up
nimred has quit [Quit: leaving]
joewilliams_away is now known as joewilliams
stdDoubt has joined #ocaml
<stdDoubt> is there any good ordinary differential equation solver for ocam - for stiff problems?
_andre has joined #ocaml
<maskd> stdDoubt: there are bindings to the open dynamics engine, but i don't know if they're any good
<hcarty> stdDoubt: Does GSL provide what you want?
<hcarty> stdDoubt: The GSL bindings for OCaml are pretty well done
<hcarty> stdDoubt: The latest version of the GSL bindings are here - http://code.google.com/p/ocamlgsl/
<hcarty> latest revisions that is
Yoric has quit [Quit: Yoric]
<stdDoubt> the problem with gsl is that the user needs to pass as an argument the jacobian of a system
ccasin has joined #ocaml
Yoric has joined #ocaml
roconnor has joined #ocaml
<roconnor> is there a concatMap in List?
<kerneis> roconnor: not in standard List module at least
despa_ has quit [Ping timeout: 255 seconds]
bzzbzz has joined #ocaml
<kerneis> let concatMap f = List.fold_left [] (fun acc x -> acc @ f x)
<kerneis> (not tested)
<kerneis> or, more efficient: let concatMap f l = List.flatten(List.map f l)
ftrvxmtrx has quit [Remote host closed the connection]
<kerneis> and not that List.flatten is an alias for List.concat :-)
Gooffy has quit [Quit: Leaving.]
ftrvxmtrx has joined #ocaml
_andre has quit [Ping timeout: 276 seconds]
infoe has quit [Quit: WeeChat 0.3.2]
infoe has joined #ocaml
stdDoubt has quit [Quit: Leaving]
_andre has joined #ocaml
yezariaely has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
ftrvxmtrx has joined #ocaml
yezariaely has left #ocaml []
joewilliams is now known as joewilliams_away
drunK has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
joewilliams_away is now known as joewilliams
ztfw has joined #ocaml
ttamttam has quit [Remote host closed the connection]
<adrien> hcarty: great, thanks a lot, even if saffire is old and unmaintained it's good to know it
<adrien> I should really try it
wuj has quit [Ping timeout: 265 seconds]
ygrek has joined #ocaml
Yoric has quit [Read error: Connection reset by peer]
Yoric has joined #ocaml
drunK has quit [Remote host closed the connection]
nimred has joined #ocaml
despa has joined #ocaml
_andre has quit [Ping timeout: 240 seconds]
_andre has joined #ocaml
agolsme has joined #ocaml
wuj has joined #ocaml
ulfdoz has joined #ocaml
ftrvxmtrx has joined #ocaml
rwmjones is now known as rwmjones_afk
init1 has quit [Quit: Quitte]
init1 has joined #ocaml
lamawithonel_ has quit [Remote host closed the connection]
agolsme has quit [Ping timeout: 276 seconds]
Yoric has quit [Quit: Yoric]
wuj has quit [Ping timeout: 265 seconds]
lamawithonel has joined #ocaml
Nahra has joined #ocaml
init1 has quit [Quit: Quitte]
init1 has joined #ocaml
roconnor has quit [Remote host closed the connection]
init1 has quit [Quit: Quitte]
init1 has joined #ocaml
fraggle_ has quit [Ping timeout: 276 seconds]
rwmjones_afk is now known as rwmjones
fraggle_ has joined #ocaml
ulfdoz_ has joined #ocaml
drunK has joined #ocaml
ulfdoz has quit [Ping timeout: 240 seconds]
ulfdoz_ is now known as ulfdoz
fraggle_ has quit [Ping timeout: 272 seconds]
fraggle_ has joined #ocaml
iago has joined #ocaml
strlen has quit [Ping timeout: 250 seconds]
strlen has joined #ocaml
fraggle_ has quit [Quit: -ENOBRAIN]
lpereira has joined #ocaml
Nahra has quit [Remote host closed the connection]
Nahra has joined #ocaml
Nahra has quit [Remote host closed the connection]
sepp2k has joined #ocaml
_andre has quit [Quit: leaving]
fraggle_ has joined #ocaml
lpereira has quit [Quit: Leaving.]
ygrek has quit [Ping timeout: 245 seconds]
ikaros has quit [Quit: Leave the magic to Houdini]
xl0 has joined #ocaml
nimred has quit [Changing host]
nimred has joined #ocaml
ulfdoz has quit [Ping timeout: 252 seconds]
sepp2k has quit [Quit: sepp2k]
Nahra has joined #ocaml
Nahra has quit [Changing host]
Nahra has joined #ocaml
bzzbzz_ has joined #ocaml
patronus has quit [Ping timeout: 250 seconds]
patronus has joined #ocaml
bzzbzz has quit [Ping timeout: 250 seconds]
Nahra has quit [Remote host closed the connection]
Nahra has joined #ocaml
init1 has quit [Quit: Quitte]
Nahra has quit [Remote host closed the connection]
ztfw has quit [Remote host closed the connection]
Nahra has joined #ocaml
jonafan_ has joined #ocaml
jonafan has quit [Ping timeout: 265 seconds]
jonafan_ is now known as jonafan
nimred has quit [Quit: leaving]
eb4890 has joined #ocaml
boscop_ is now known as boscop
joewilliams is now known as joewilliams_away
joewilliams_away is now known as joewilliams
ftrvxmtrx has quit [Quit: Leaving]
agolsme has joined #ocaml
eb4890 has quit [Quit: Leaving]