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
iago has quit [Quit: Leaving]
joewilliams is now known as joewilliams_away
joewilliams_away is now known as joewilliams
kaustuv_ has joined #ocaml
caligula_ has joined #ocaml
wuj has quit [Excess Flood]
caligula has quit [Write error: Broken pipe]
wuj has joined #ocaml
kaustuv has quit [Ping timeout: 265 seconds]
jakedouglas has quit [Quit: Leaving.]
jonafan_ has joined #ocaml
jonafan has quit [Ping timeout: 276 seconds]
mjonsson has joined #ocaml
clog has joined #ocaml
wuj has quit [Remote host closed the connection]
easy4 has joined #ocaml
julm_ is now known as julm
jakedouglas has joined #ocaml
ulfdoz has joined #ocaml
joewilliams is now known as joewilliams_away
easy4 has quit [Ping timeout: 252 seconds]
ygrek has joined #ocaml
gnuvince has quit [Ping timeout: 240 seconds]
ttamttam has joined #ocaml
ulfdoz has quit [Ping timeout: 250 seconds]
ygrek has quit [Remote host closed the connection]
gnuvince has joined #ocaml
ygrek has joined #ocaml
jakedouglas has quit [Quit: Leaving.]
ikaros has joined #ocaml
adrien_ is now known as adrien
junis has quit [Read error: No route to host]
ftrvxmtrx has quit [Quit: Leaving]
Yoric has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
ttamttam has quit [Remote host closed the connection]
Asmadeus has quit [Ping timeout: 265 seconds]
Asmadeus has joined #ocaml
sslice has joined #ocaml
ygrek has joined #ocaml
ftrvxmtrx has joined #ocaml
fraggle_ has quit [Quit: -ENOBRAIN]
<f[x]> kaustuv_, about signlafd and extunix, I think sigprocmask shouldn't be called by signalfd, for it to qualify as a thin wrapper
<f[x]> I will add a comment to remind about it
munga has joined #ocaml
sslice has quit [Ping timeout: 240 seconds]
jhw has joined #ocaml
junis has joined #ocaml
verte has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]
verte has left #ocaml []
munga has quit [Ping timeout: 252 seconds]
npouilla1d has quit [Quit: leaving]
pozic has joined #ocaml
<pozic> This channel is quite quiet compared to #haskell. Is that because everything is straight-forward in OCaml, or because it has no (new) users? In a perfect development environment, there wouldn't be the need to ask any question, so it's not necessarily a bad thing.
npouillard has joined #ocaml
<gildor> pozic: interesting troll ;-)
<gildor> pozic: there are more users of Haskell and they are probably more vocals than OCaml user
<junis> pozic: je crois que ça provient du niveau général de métrise de la programation des utilisateurs d'ocaml...
avsm has joined #ocaml
<junis> woops
* adrien saw several new users very recently
<gildor> pozic: french people are usually not very vocal
<junis> gildor: are you sure
* junis laughs
<gildor> pozic: at least in CS
<gildor> junis: yes I am, french are quite proud and don't want to look dumb, so they take care of what they said, to be sure that it is not silly
<adrien> but imho it's because there are many french people, and as everyone knows, we spend our days cooking which leaves little time for chatting =)
* junis laughs
<junis> maybe you're right
<gildor> RSN, we spend our day on strike, or on using public transportation during strikes
<adrien> hahaha, that too ;-)
<gildor> or trying to release OASIS v0.2 ;-)
<junis> et puis il y a aussi l'echangisme ... ce qui est une activité bien plus interessante que de passer ses jour sur irc
<gildor> (once I will be able to compile pcre on windows, I can test OASIS on Win)
<gildor> junis: do you know what "echangisme" means and do you think it is on topic here ?
<junis> i do actually ... i've been told that french people like it better than cinema
<adrien> gildor: pcre? what's the issue?
<gildor> pcre -> don't know yet, but I have trouble compiling bytecode app
* gildor time for lunch
<adrien> just had lunch and leaving now :-)
<adrien> ok, thought it was with building pcre and not apps using pcre
<adrien> guten appetit :-)
* junis lights a fmoke
th5 has joined #ocaml
<junis> j'aimerais bien entendre comment est le mot OCaml prononcé en français... j'arrive pas a deduire une prononciation satisfaisante à partir de l'orthograph...
<adrien> "o-camel"
<adrien> also, #ocaml-fr
<adrien> or "eau camel"
<junis> oh... thank you adrien ... i like it
npouillard has quit [Quit: Lost terminal]
<adrien> gotta go =)
<f[x]> hm, pcre should be straightforward, it even has bat file iirc, I wish ocamlfind was as easy on win as pcre :)
<f[x]> gildor, btw what's with the quoting bug #774? it was closed without any comments..
init1 has joined #ocaml
ikaros has joined #ocaml
ttamttam has joined #ocaml
ssice has joined #ocaml
ssice has left #ocaml []
<gildor> f[x]: #774 was closed because I fix it
<gildor> there was a missing Filename.quote in BaseExec
<gildor> (take more time to write a test for it than to fix it BTW)
munga has joined #ocaml
<f[x]> hm, I didn't see it in commits, ok
npouillard has joined #ocaml
Yoric has quit [Quit: Yoric]
Yoric has joined #ocaml
<gildor> f[x]: no yet pushed
<gildor> f[x]: will do it today
<gildor> f[x]: pushed
<f[x]> ok, thanks
Amorphous has quit [Ping timeout: 252 seconds]
hto has quit [Quit: Lost terminal]
Amorphous has joined #ocaml
emias has quit [Quit: s/emias/jhw/]
yezariaely has joined #ocaml
<yezariaely> anyone has a real project using a menhir grammar?
<yezariaely> (which I could have a look at?)
<gildor> yezariaely: I think cocinelle, dose2 or pkglab
<gildor> http://git.debian.org/?p=pkg-ocaml-maint/packages/coccinelle.git;a=tree
Oddmonger has joined #ocaml
<Oddmonger> hello
<Oddmonger> i don't know anything about Ocaml, but i'm trying to compile "Unison" for a Linux platform (Arch)
<yezariaely> gildor: thank you!
<Oddmonger> i installed all dependancies, but i always get the same error (i tried with compiling sources directly, and with ABS package generator : same issue)
<gildor> Oddmonger: it seems packaged for Arch linux
<Oddmonger> yes , but the gtk2 version doesn't work
<Oddmonger> it waits forever on a poll (seen with "strace")
<Oddmonger> gtk and text versions are okay
<gildor> and what it is polling ?
<Oddmonger> poll([{fd=3, events=POLLIN|POLLOUT}], 1, -1) = 1 ([{fd=3, revents=POLLOUT}])
<Oddmonger> don't know what is it.. tty?
<gildor> what is fd=3 ? (looks for a matchin open
<gildor> )
<gildor> maybe it is waiting on a dead X input
<Oddmonger> i thought about encoding problem, but LANG=C unison .. doesn't change anything
<gildor> no i18n in unison
<Oddmonger> est-ce un channel spécifique anglais ? J'ai dû mal avec l'anglais
<gildor> and I doubt there is any kind of polling for i18n
<gildor> it should be english
<Oddmonger> ok
<gildor> there is also #ocaml-fr
<Oddmonger> ok
<Oddmonger> So an error like this has nothing to do with OCaml ? Error: The implementation /home/odd/abs/unison/src/unison-2.32.52/update.ml does not match the interface update.cmi
<gildor> you should do a a make clean in this case
<gildor> are you using svn snapshot ?
<gildor> of unison
<Oddmonger> no i'm using version 2.32.52
<Oddmonger> getted with wget on unison website
<gildor> ok, basically you need to run "make clean" and restart the build
<Oddmonger> done, but same error
<Oddmonger> i try with a more recent version, just to see
<gildor> make clean
<gildor> make UISTYLE=gtk2 NATIVE=true CFLAGS=
<gildor> it should work
<Oddmonger> well.. no, sorry
<gildor> make clean and check that update.cmi is gone
<Oddmonger> yes, only survivors are update.ml and update.mli
<gildor> give me the md5sums of update.mli
<gildor> ah ok got it
<Oddmonger> i put complet log error here:
<gildor> don't paste, there is no need
<Oddmonger> it seems to miss functions
<Oddmonger> ok
<gildor> download and apply this patch
<gildor> http://git.debian.org/?p=pkg-ocaml-maint/packages/unison.git;a=blob;f=debian/patches/debbug585453_mymap.dpatch;h=ccc6ba7fa6528252f49d57af419b9fa3a54f8451;hb=HEAD
<gildor> there was a change in OCaml that change the sig
<Oddmonger> thank you for looking
<Oddmonger> it compiles, but i get the same issue than beforce :/
<Oddmonger> thank anyway for your help
<gildor> off course, the error is elsewhere
<gildor> check you DISPLAY env variable
<gildor> and try to run another gtk app from the same terminal
<Oddmonger> i thought about a binding problem with an outdated library, in bin package of Arch
<gildor> maybe the lablgtk binding
<Oddmonger> yes, but i installed last version from Arch
<gildor> did you perform running a GTK app from the terminal ?
<Oddmonger> and it should work with flag "contactquietly"
<Oddmonger> yes, gvim, openoffice, gkrellm... are working fine
<gildor> don't know
<Oddmonger> me too :)
<Oddmonger> again, thank for searching with me
<gildor> try to download the .deb package from debian and extrat the unison binary from there
<Oddmonger> i'll stick with gtk1 version which work fine, and do the same thing
boscop_ has joined #ocaml
boscop has quit [Ping timeout: 240 seconds]
<Oddmonger> deb package works, but i got same problem.. that's odd.
<gildor> Oddmonger: yep, seems pretty odd
<gildor> try to look find in the strace where is the poll blocked
<gildor> (you should find an open with a name, matching the fd= parameter of the poll)
mjonsson has quit [Remote host closed the connection]
<pozic> There should be a law against people publishing crap.
<f[x]> simpler -> lsof -bnP -p PID and look for fd 3
munga has quit [Quit: Ex-Chat]
sdtDoubt has joined #ocaml
<sdtDoubt> how to define a null object?
<gildor> stdDoubt what is a null object ?
<f[x]> what is null object?
<f[x]> hm :)
* gildor typing faster than f[x] ;-)
samoht_ has joined #ocaml
<samoht_> hey
<sdtDoubt> for instance suppose you want to create
<gildor> hi thomas
<sdtDoubt> class ['a] environment =
<sdtDoubt> object (self)
<sdtDoubt> val mutable currentLevel: (id:string,a') list = []
<sdtDoubt> val parent =
<sdtDoubt> where the parent has no value assigned in the beginning
<sdtDoubt> how do you accomplish that? creating a type?
<gildor> stdDoubt ocaml don't allow that
<samoht_> I have a question about licensing : I would like to distribute my sources in order than anybody can do whatever he wants with it, but continue to cite my name in the copyright, what should I use ?
<gildor> you must assign something to parent
yezariaely has quit [Quit: Leaving.]
<gildor> samoht_: LGPL isn't ok for that ?
<gildor> (and if it is just the name, I think the copyright remains)
<samoht_> I dont know, I am really confused about licences :)
<f[x]> copyright is independent of licensing iirc
<gildor> f[x]: I know and I think you cannot remove a (C=
<gildor> (C)
<gildor> or you remove the whole file
<samoht_> ok, so if I just put a header with my copyright without any LICENSE file, that should be OK ?
<f[x]> gildor, yes
<gildor> it is better to have a license, whatever it is
<gildor> (just use LGPL 2.1 with OCaml linking exception)
<kaustuv_> Don't use anything with G in its name if you want your code to be usable by companies like Microsoft
<gildor> kaustuv_: really ?
<gildor> why?
* f[x] reaches for popcorn
<kaustuv_> Don't ask me. That's what the MS lawyers say.
<samoht_> gildor: do you have a link to a proper LICENSE file ?
<kaustuv_> samoht_: You seem to want either a simplified BSD license or the MIT license
<samoht_> kaustuv_: cool, thx, will have a look at them
<gildor> (this is a copy of OCaml License)
kaustuv_ is now known as kaustuv
<gildor> kaustuv: LOL
<samoht_> haha, my plan was not to read ALL the license files :-)
<gildor> Lawyer Oriented Licensing
<gildor> samoht_: just pick one there is a template in it
<kaustuv> FWIW, I think Microsoft and their lawyers can go to hell. Unfortunately, at one point in my career I was being paid to write code for MS and I was told, bluntly, that I would have to rewrite everything that wasn't under the umbrella of the OCaml Consortium, even if it used LGPL+LE.
<gildor> kaustuv: we all need to make arrangement with this kind of thing
<kaustuv> It was an interesting dilemma because my code only ran under Cygwin in Windows, and Cygwin is GPL!
<gildor> kaustuv: you cann SFU
<gildor> you can use SFU?
avsm has quit [Quit: Leaving.]
<kaustuv> Well, the thing I was building depended on some Cygwin-specific software, such as the PolyML interpreter (for Isabelle). Apparently these days it is possible to run PolyML under MinGW, but that's someone else's headache now.
boscop_ is now known as boscop
joewilliams_away is now known as joewilliams
<Oddmonger> good bye, i return to the beach (or to the C at least)
<Oddmonger> thank for the help
Oddmonger has left #ocaml []
junis has quit [Remote host closed the connection]
<samoht_> for those who are interested : http://github.com/samoht/ocaml-url (will do some proper announcement to the mailing list later)
yezariaely has joined #ocaml
ccasin has joined #ocaml
yezariaely has left #ocaml []
joewilliams is now known as joewilliams_away
<f[x]> kaustuv, http://git.ocamlcore.org/cgi-bin/gitweb.cgi?p=extunix/extunix.git;a=commitdiff;h=15f253780d339138c7f198ebc953b64278c05bbb
kennyp has joined #ocaml
jakedouglas has joined #ocaml
ygrek has quit [Remote host closed the connection]
boscop has quit [Ping timeout: 245 seconds]
samoht_ has left #ocaml []
joewilliams_away is now known as joewilliams
<sdtDoubt> what does it mean Self type cannot escape its class and how to overcome it?
<sdtDoubt> I have class ['a] environment parent:environment =
<sdtDoubt> and I am trying to do method beginScope = new environment self
* gildor 2 hours fighting with pcre/pcre-ocaml
<kaustuv> f[x]: glad to see that you found it useful!
th5 has quit [Quit: th5]
jonafan_ is now known as jonafan
sdtDoubt has quit [Remote host closed the connection]
ikaros has quit [Quit: Leave the magic to Houdini]
ikaros has joined #ocaml
<hcarty> adrien: I added a note to the report stating that it appears to be missing for (at least) linking and inferring a module's interface
pozic has quit [Quit: leaving]
hto has joined #ocaml
srcerer has quit [Quit: ChatZilla 0.9.86 [Firefox 3.6.10/20100914125854]]
srcerer has joined #ocaml
ygrek has joined #ocaml
ccasin has quit [Quit: Leaving]
<adrien> hcarty: ok :-)
<hcarty> adrien: Thanks again for the extra testing and feedback. With luck, fixes will make it in to 3.12.1 myocamlbuild.ml files will become needed a little less
<adrien> hcarty: no prob, didn't take me much time since I had already dug in ocamlbuild a bit :-)
ccasin has joined #ocaml
Yoric has quit [Quit: Yoric]
ttamttam has quit [Remote host closed the connection]
Edward has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
mjuad has joined #ocaml
Tianon has quit [Ping timeout: 276 seconds]
Edward has quit [Disconnected by services]
Edward__ has joined #ocaml
ftrvxmtrx has joined #ocaml
BiD0rD has quit [Remote host closed the connection]
Tianon has joined #ocaml
Tianon has quit [Changing host]
Tianon has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
ftrvxmtrx has joined #ocaml
agolsme has joined #ocaml
junis has joined #ocaml
<junis> greetings lovely people
ulfdoz has joined #ocaml
Yoric has joined #ocaml
iago has joined #ocaml
Edward__ has quit []
fraggle_ has joined #ocaml
ulfdoz_ has joined #ocaml
ulfdoz has quit [Ping timeout: 250 seconds]
ulfdoz_ is now known as ulfdoz
emias has joined #ocaml
ezyang has joined #ocaml
<ezyang> Hello all, I'm a fairly veteran Haskeller interested in learning OCaml. What are good resources for me?
<hcarty> ezyang: http://www.ocaml-tutorial.org/, the OCaml manual (particularly the intro chapter), Jason Hickey's book - http://www.cs.caltech.edu/courses/cs134/cs134b/book.pdf
<ezyang> Thanks!
<ezyang> I assume I can probably skim most of the introductory material?
<ezyang> Heh, the tutorial is OCaml for C programmers. Bit of a jump :^)
<adrien> you can start with the functional part in the tutorial :-)
ftrvxmtrx has quit [Quit: Leaving]
<hcarty> ezyang: Yes, the tutorial has a lot you won't need :-) But it has a lot of pointers to other material as well
<brendan> I think the book might be a bit better in this case, but there's more to skim :)
<ezyang> Ok.
albacker has joined #ocaml
albacker has quit [Changing host]
albacker has joined #ocaml
albacker has quit [Changing host]
albacker has joined #ocaml
<albacker> what's the easiest way to code GUI in ocaml? Any library? thanks.
<hcarty> albacker: lablgtk2 is probably your best bet. I started a Gtk-light library, but it's far from complete and I haven't had time to develop it further: http://0ok.org/cgit/cgit.cgi/gtk-light/
<albacker> thankyou hcarty
<adrien> yup, gtk
<maskd> what happened to qtcaml?
<adrien> almost ready
<adrien> but hasn't seen progress
<hcarty> adrien: My original intent with Gtk-light was to lift some of the ideas from the Jane St. FrpGui. I never got to the FRP portion, but I managed to steal some function names and a bit of the calling convention...
<adrien> I guess they're at the point where most of the code is working but they have to improve the distribution: test, bugfix, test on other platforms, make sure people understand how to build...
<hcarty> adrien: If it's useful for your FRP GUI code you're more than welcome to use it
<adrien> frpgui? I guess I didn't see that one
<hcarty> It was one of the 2007 projects IIRC
<adrien> oh, will have a look at it, thanks
<adrien> I've made functions to use react along lablgtk, they're very simple and work pretty well
<adrien> but (of course, there's a but)
<adrien> they only use the imperative interface, not the object one at all, meaning you have to know you want GtkEdit.Entry.P.text (instead of "entry#text" which is easier to remember)
<adrien> (and more friendly for new users I guess)
<adrien> and btw, I'm also trying to get a branch (or two) for lablgtk2, if I don't, I guess I'll have to maintain patches in parallel with lablgtk2
<hcarty> adrien: http://code.google.com/p/ocamlrt/ and svn://osprepo.janestcapital.com/osp/2007
<hcarty> I think the second one is more up to date
<hcarty> The internals get pretty hairy in places
<hcarty> But the idea is really cool
<adrien> nice, taking a look =)
<adrien> btw, what I did: http://vpaste.net/fbqDL?
<adrien> (yeah, pretty short ;-) )
<adrien> hcarty: something I'm missing in lablgtk2 is an easy way to create layouts, pretty much what you have line 16 on http://0ok.org/cgit/cgit.cgi/gtk-light/tree/basic_gui_test.ml
jhw has quit [Quit: s/jhw/emias/]
albacker has quit [Ping timeout: 265 seconds]
<hcarty> adrien: That hbox [ ... ] code is the main reason I started Gtk-light
<hcarty> ocamlrt has something similar, and I really wanted to be able to use that syntax :-)
Edward__ has joined #ocaml
junis has left #ocaml []
boscop has joined #ocaml
init1 has quit [Quit: Lost terminal]
julm has quit [Remote host closed the connection]
Yoric has quit [Quit: Yoric]
ulfdoz has quit [Ping timeout: 272 seconds]
Edward__ has quit []
julm has joined #ocaml
BiDOrD has joined #ocaml
ftrvxmtrx has joined #ocaml
jakedouglas has quit [Quit: Leaving.]
kennyp has quit [Quit: leaving]
ygrek has quit [Ping timeout: 245 seconds]
iago has quit [Quit: Leaving]
joewilliams is now known as joewilliams_away
joewilliams_away is now known as joewilliams
joewilliams is now known as joewilliams_away
joewilliams_away has quit [Excess Flood]
joewilliams has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]
_y_ has joined #ocaml
<_y_> hi folks; me again, with a similar problem ... I'm having a problem embedding an OCaml interpreter inside of a Windows GUI application (called IDA). I was able to build a top-level as a command-line program and interact with it, so I'm pretty confident that my build process for the interpreter is good
<_y_> here is the source code for ida_toploop.ml: http://ocaml.pastebin.com/qiTnPCZu
<_y_> I have the OCaml_WriteBuffer function simultaneously output to IDA's status bar as well as a file; the contents of the output file are here: http://txt.pastebin.com/stzsFLjY
<_y_> after printing the contents of the aforementioned file, I have discovered through debugging that the interpreter ends up calling exit(2), which kills the process rather ungracefully
<_y_> my question is: does anybody know what's going on here?
_andre has joined #ocaml
<_y_> or rather, it's quite obvious what's going on here: it throws Sys_error "Bad file descriptor" three times before killing the process; wouldn't surprise me if these things were stdin, stdout, and stderr
<_y_> but my real question is, what do I do about this