gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml Meeting 2011 http://bit.ly/eaZi1C | OCaml 3.12.0 http://bit.ly/aNZBUp
ulfdoz has quit [Ping timeout: 276 seconds]
drunK has joined #ocaml
boscop has quit [Ping timeout: 240 seconds]
andreas has joined #ocaml
andreas1 has quit [Ping timeout: 246 seconds]
rien has quit [Ping timeout: 240 seconds]
rien has joined #ocaml
drunK has quit [Remote host closed the connection]
joewilliams_away is now known as joewilliams
ymasory has quit [Quit: Leaving]
qmrw has joined #ocaml
ymasory has joined #ocaml
tautologico has joined #ocaml
boscop has joined #ocaml
Modius has quit [Ping timeout: 276 seconds]
Modius has joined #ocaml
joewilliams is now known as joewilliams_away
hcarty has quit [Remote host closed the connection]
tautologico has quit [Quit: tautologico]
dnolen has joined #ocaml
ymasory has quit [Quit: Leaving]
vivanov has quit [Read error: Connection reset by peer]
wagle has quit [Remote host closed the connection]
ulfdoz has joined #ocaml
wagle has joined #ocaml
arubin has quit [Quit: arubin]
larhat has joined #ocaml
bobzhangatthu has joined #ocaml
ygrek has joined #ocaml
ulfdoz has quit [Read error: Operation timed out]
dnolen has quit [Quit: dnolen]
caligula has quit [Ping timeout: 276 seconds]
caligula has joined #ocaml
bobzhangatthu has quit [Quit: bobzhangatthu]
Yoric has joined #ocaml
qmrw has quit [Quit: Page closed]
ftrvxmtrx has quit [Quit: Leaving]
Tianon has quit [Ping timeout: 248 seconds]
Tianon has joined #ocaml
Tianon has quit [Changing host]
Tianon has joined #ocaml
joelr has joined #ocaml
Yoric has quit [Quit: Yoric]
eikke has joined #ocaml
philtor has quit [Ping timeout: 276 seconds]
vivanov has joined #ocaml
ikaros has joined #ocaml
Yoric has joined #ocaml
wagle has quit [Ping timeout: 252 seconds]
ftrvxmtrx has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]
larhat has quit [Read error: Connection reset by peer]
larhat has joined #ocaml
wagle has joined #ocaml
wagle has quit [Ping timeout: 260 seconds]
wagle has joined #ocaml
Oejet has quit [Quit: Leaving.]
joelr has quit [Quit: joelr]
philed has joined #ocaml
sepp2k has joined #ocaml
kaustuv has quit [Remote host closed the connection]
vivanov has quit [Ping timeout: 276 seconds]
lopex has joined #ocaml
ygrek has quit [Ping timeout: 246 seconds]
vivanov has joined #ocaml
avsm has joined #ocaml
jamii has joined #ocaml
joelr has joined #ocaml
Associat0r has joined #ocaml
Associat0r has quit [Quit: Associat0r]
boscop has quit [Ping timeout: 246 seconds]
boscop has joined #ocaml
mehdid_ is now known as mehdid
boscop has quit [Ping timeout: 246 seconds]
Associat0r has joined #ocaml
myzt has joined #ocaml
myzt has quit [Client Quit]
<rproust> thelema_: BatMap has a modify_def function, are there any chance adding a modify_remove : key -> ('a -> 'a option) -> 'a t -> 'a t would result in the patch being pulled?
<rproust> I can do it soon and create a pull request on github if there's a chance of actual pulling
jderque has joined #ocaml
dnolen has joined #ocaml
<thelema_> rproust: sure, I'll pull if you implement
<f[x]> thelema_, ping
<thelema_> f[x]: pong
<f[x]> what about those failing windows tests?
<f[x]> batteries' that is
<rproust> thelema_: will do
<thelema_> that's a good question, I don't have a good way to diagnose what's going on.
<f[x]> so it is an unknown problem, I see :)
<thelema_> I guess I need to setup ocaml in a windows VM or something
<f[x]> I will have a look then
<thelema_> one of the tests is an overly zealous test
rien has quit [Ping timeout: 276 seconds]
<thelema_> but I'm not sure about the other.
<thelema_> (sorry, was thinking about a different (sometimes) windows problem
rien has joined #ocaml
<thelema_> I think we can tweak the tests. But I have slight evidence that there is something wrong with the new map implementation
<f[x]> very strange that it is windows-only
<thelema_> some map.union failures are now appearing on my linux box too. I dunno why not on yours
<thelema_> and I dunno why not the first time I ran the tests for the new map implementation on my box
lopex has quit [Ping timeout: 252 seconds]
<f[x]> Random ftw?
ymasory has joined #ocaml
jamii has quit [Ping timeout: 240 seconds]
<f[x]> ha, it fails on all machines but goes undetected!
<f[x]> after failed tests : echo $? -> 0
* f[x] blaims shell scripting in test target
boscop has joined #ocaml
<thelema_> oops. Maybe need && instead of ;
NetWanderer has joined #ocaml
<thelema_> If batteries is compiled with debugging symbols, does that slow down users of batteries with debugging off?
<f[x]> no
<thelema_> then debugging now goes on.
* thelema_ wonders why any library would ever be compiled w/o debug
* f[x] too
<adrien> size usually
<adrien> but once compressed, the difference is almost null
<flux> it would be nice if the debug information could be separated
<thelema_> distribution size? bah.
<adrien> compressed with xz that is
<flux> debian etc has separate -dbg packages
<flux> and gdb finds them directly
<adrien> flux: well, for ELF, it can be ;)
<thelema_> flux: I was thinking the same thing just this week
<flux> adrien, last time I checked .cmx:s aren't ELF :)
<flux> (actually I haven't checked it, so logically that statement may be interpreted as being true ;))
<adrien> yeah ;)
<thelema_> probably a lot of engineering for not a lot of benefit
<adrien> but I think this isn't something very easy to support so I won't blame anyone for not supporting it
* f[x] thinks debug info is in .a counterpart of cmxa
rien has quit [Ping timeout: 240 seconds]
rien has joined #ocaml
<NetWanderer> exit
NetWanderer has quit [Quit: leaving]
ymasory has quit [Ping timeout: 246 seconds]
ygrek has joined #ocaml
dnolen has quit [Quit: dnolen]
impy has quit [Quit: impy]
impy has joined #ocaml
joewilliams_away is now known as joewilliams
ymasory has joined #ocaml
jderque has left #ocaml []
ulfdoz has joined #ocaml
ulfdoz has quit [Ping timeout: 240 seconds]
thelema_ has quit [Remote host closed the connection]
robin has joined #ocaml
robinn has joined #ocaml
robin has quit [Remote host closed the connection]
NaCl has joined #ocaml
<NaCl> adrien forced me to join
<NaCl> the jerk
<adrien> :o
<adrien> ah, gildor isn't currently here, you'll have to wait a bit ;-)
* NaCl waits for his ocaml package to rebuild (again)
<adrien> at least it's not C++, it builds quite quickly (ok, the compiler takes time)
<NaCl> it's running in the openSUSE build service
<NaCl> all VMs. :P
larhat has quit [Quit: Leaving.]
larhat has joined #ocaml
<NaCl> all six of them
* adrien pats his quad-core :p
thelema has joined #ocaml
<NaCl> adrien: my quad core can do it pretty fast too
<NaCl> and the build is non-parallel
<adrien> takes me 5 minutes to build I think, and -jX is definitely a bad idea for ocaml so you're right not to use it
<NaCl> it's done building, it's processing the package and finding deps
rien has quit [Ping timeout: 260 seconds]
<NaCl> adrien: the obs is pretty neat.
rien has joined #ocaml
<NaCl> finished
* NaCl waits for the packages to be published
<NaCl> huh.
<NaCl> looks like I missed some optimization flags
<adrien> optimization flags?
<NaCl> adrien: gcc flags
<adrien> like what?
<NaCl> -O2 -g -m64 -fmessage-length=0 -D_FORTIFY_SOURCE=2 -fstack-protector -funwind-tables -fasynchronous-unwind-tables
ygrek has quit [Ping timeout: 246 seconds]
<NaCl> one of those is removed
<NaCl> I think
<NaCl> and adds -O0
<adrien> it doesn't matter much for ocaml
<NaCl> should I just use -O2 instead?
<NaCl> I think I based this spec on the suse one, actually. my bad
ftrvxmtrx has quit [Quit: Leaving]
<NaCl> maybe
* NaCl is too lazy to check atm
<NaCl> I: Program is likely to break with new gcc. Try -fno-strict-aliasing.
<NaCl> W: ocaml strict-aliasing-punning freelist.c:364
Kakadu has joined #ocaml
Snark has joined #ocaml
eikke has quit [Read error: Operation timed out]
hcarty has joined #ocaml
smerz has joined #ocaml
edwin has joined #ocaml
ulfdoz has joined #ocaml
rien has quit [Ping timeout: 260 seconds]
rien has joined #ocaml
jderque has joined #ocaml
avsm has quit [Quit: Leaving.]
robinn has quit [Remote host closed the connection]
Yoric has quit [Quit: Yoric]
larhat has quit [Quit: Leaving.]
jamii has joined #ocaml
philtor has joined #ocaml
impy has quit [Quit: impy]
philtor has quit [Ping timeout: 276 seconds]
romanoffi has joined #ocaml
myst has joined #ocaml
impy has joined #ocaml
ftrvxmtrx has joined #ocaml
Yoric has joined #ocaml
joelr has quit [Quit: joelr]
Snark has quit [Quit: Ex-Chat]
vivanov has quit [Ping timeout: 252 seconds]
jamii has quit [Ping timeout: 258 seconds]
avsm has joined #ocaml
myst has quit [Ping timeout: 264 seconds]
joshwa has joined #ocaml
<joshwa> helo, i found about ocaml today, what applications is ocaml used usually in?
<hcarty> joshwa: It's used as a general programming language - everything from compiler writing to web applications to math + science research projects
<hcarty> joshwa: Along with many other applications
<joshwa> looks interesting :) is there a standard book you recommend to read on it?
<hcarty> joshwa: The official manual's first chapter provides a nice introduction. Jason Hickey also wrote a nice book which is available in PDF form : www.cs.caltech.edu/courses/cs134/cs134b/book.pdf
<joshwa> i just checked on amazon too but did not find any recent books on the language..
<hcarty> I don't think that there are any good English language books on OCaml
<hcarty> books in print that is
<joshwa> i am russian are there in russian?
<thelema> mostly in french.
<joshwa> thelema: the manual seems good enough :) is it available in pdf form?
<thelema> the link is at the top of the page
<joshwa> thelema: ah sorry did not notice..
<thelema> n/p
<joshwa> are there any active open source projects using OCaml? i would love to take a look :)
<thelema> lots - anything in particular you're interested in?
joewilliams is now known as joewilliams_away
<hcarty> joshwa: http://forge.ocamlcore.org/ -- here as well
<joshwa> thelema: anything related to cloud computed and cloud platforms..
<sheets1> mirage?
joewilliams_away is now known as joewilliams
<joshwa> what mirage?
<hcarty> One of the coolest projects I've seen in a long time :-)
<joshwa> hcarty: wow! i was thinking of doing somehting like that with erlang, but OCaml seems cool :)
joshwa has quit [Quit: Page closed]
rien has quit [Ping timeout: 276 seconds]
rien has joined #ocaml
josh_back has joined #ocaml
<josh_back> what ide do you recommend for ocaml? i like my vim but will not mind a nice ide :)
<NaCl> (emacs)
* NaCl hides
<thelema> josh_back: I use emacs
* NaCl uses emacs with vim mode
* NaCl muahahahaha's
<hcarty> josh_back: vim here
<josh_back> mmm.. so it is vim afterall :)
<josh_back> ok well since the pros use vim for ocaml i will do the same :) time to read some manuals.. :D
<NaCl> YMMV
<josh_back> YMMV?
Kakadu has quit [Quit: KVIrc 4.1.1 Equilibrium http://www.kvirc.net/]
<NaCl> your mileage may vary
<josh_back> NaCl: sorry my english is not so good, you mean vim maybe not enough?
<josh_back> NaCl: i know emacs is good but i am not good with emacs :(
<NaCl> your results may vary
<NaCl> what works for others may not work for you
<josh_back> NaCl: ah.. ok :) I agree :)
<josh_back> i just found this on google too, named Cameleon2 :) http://home.gna.org/cameleon/
<thelema> cameleon may be good for beginners, but I don't know any "pros" that use it.
<josh_back> * ok back to vim :$
<sheets1> i like emacs+tuareg+dtypes support. I assume there is some equivalent for vim?
<hcarty> thelema: I don't know of many people using it, but cameleon seems like more than a beginner's tool
<hcarty> sheets1: I believe so
<thelema> sheets1: by dtypes, you mean the C-c C-t?
<sheets1> yes
<sheets1> erm i guess it's called annot now
<josh_back> sheets1: there is vim plugin on my installation for it (with syntax color ,etc..) but i was thinking that there is ide like netbeans.. ** i love netbeans ^_^
<thelema> hcarty: regarding your issue #94 in batteries (https://github.com/ocaml-batteries-team/batteries-included/issues/94), would adding that code to batstring (+ the signature in .mli) satisfy your request?
<hcarty> thelema: Yes, I believe so
josh_back has quit [Quit: Page closed]
<thelema> why didn't we just patch it that way back in november? blah.
jderque has quit [Quit: leaving]
<hcarty> thelema: I really wish that I had more time to spend on Batteries, beyond the occasional bug report
<thelema> me too. both of us.
<thelema> okay, string has a t_printer that prints an escaped string
<thelema> If I give your function a different name, will that work? (I wish I knew more the transformation done by estring's p"")
<hcarty> thelema: p"%{String.t}" calls String.t_printer -- p"%{foo}" calls foo_printer
<hcarty> A different name, as long as it ends in _printer, will work correctly
<thelema> so it just puts "_printer" after what's given?
<hcarty> Yes
<hcarty> In the long %{...} form
<thelema> ok, %{String.unescaped}
<hcarty> It's too bad that the existing String.t_printer gives a quoted string, as it's a mismatch with String.print and String.print_quoted
<hcarty> thelema: Looks good to me
<hcarty> Or unquoted
<hcarty> To match String.print_quoted naming
<thelema> ok, pushed to github
<hcarty> thelema: Thank you!
<thelema> grr, one day I'll remember that I can close the issue by referencing its number in the git commit...
* thelema is happy to close bugs
* thelema is also happy to see this: https://github.com/OCamlPro/OCamlPro-OCaml-Branch
joewilliams is now known as joewilliams_away
joewilliams_away is now known as joewilliams
edwin has quit [Remote host closed the connection]
bohanlon has joined #ocaml
lopex has joined #ocaml
philtor has joined #ocaml
ymasory has quit [Quit: Leaving]
ymasory has joined #ocaml
philtor has quit [Ping timeout: 260 seconds]
happy4crazy has joined #ocaml
Amorphous has quit [Ping timeout: 240 seconds]
dnolen has joined #ocaml
Yoric has quit [Quit: Yoric]
Amorphous has joined #ocaml
ymasory has quit [Quit: Leaving]
happy4crazy has left #ocaml []
eikke has joined #ocaml
avsm has quit [Quit: Leaving.]
eikke has quit [Ping timeout: 258 seconds]
fraggle_ has quit [Quit: -ENOBRAIN]
impy has quit [Quit: impy]
fraggle_ has joined #ocaml
lopex has quit []
smerz has quit [Quit: Ex-Chat]