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
Associat0r has quit [Quit: Associat0r]
boscop has quit [Ping timeout: 252 seconds]
Associat0r has joined #ocaml
EM03 has joined #ocaml
dnolen has joined #ocaml
Cyanure has quit [Remote host closed the connection]
joewilliams is now known as joewilliams_away
Julien_t has quit [Ping timeout: 255 seconds]
Julien_Tz has joined #ocaml
Julien_Tz is now known as Julien_T
Julien_T has quit [Ping timeout: 250 seconds]
ski has quit [Ping timeout: 246 seconds]
ski has joined #ocaml
Julien_Tz has joined #ocaml
Julien_Tz is now known as Julien_T
munga has quit [Ping timeout: 250 seconds]
enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]
tauntaun has quit [Quit: Ex-Chat]
tauntaun has joined #ocaml
rwmjones has quit [Read error: Operation timed out]
rwmjones has joined #ocaml
enthymeme has joined #ocaml
sepp2k has quit [Quit: Leaving.]
BiDOrD_ has joined #ocaml
BiDOrD has quit [Ping timeout: 246 seconds]
BiDOrD has joined #ocaml
BiDOrD_ has quit [Ping timeout: 255 seconds]
lopex has quit []
Associat0r has quit [Quit: Associat0r]
schmrkc has quit [Read error: Operation timed out]
schmrkc has joined #ocaml
schmrkc has quit [Changing host]
schmrkc has joined #ocaml
Associat0r has joined #ocaml
schmrkc has quit [Ping timeout: 260 seconds]
schmrkc has joined #ocaml
schmrkc has quit [Changing host]
schmrkc has joined #ocaml
tauntaun has quit [Quit: Ex-Chat]
enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]
bzzbzz has quit [Quit: leaving]
myu2 has joined #ocaml
myu2 has quit [Client Quit]
myu2 has joined #ocaml
myu2 has quit [Client Quit]
ulfdoz has joined #ocaml
dnolen has quit [Quit: dnolen]
vivanov has quit [Ping timeout: 250 seconds]
vivanov has joined #ocaml
ulfdoz has quit [Read error: Operation timed out]
vivanov has quit [Ping timeout: 250 seconds]
myu2 has joined #ocaml
vivanov has joined #ocaml
ygrek has joined #ocaml
philtor has quit [Ping timeout: 255 seconds]
Yoric has joined #ocaml
edwin has joined #ocaml
vivanov has quit [Quit: Lost terminal]
Yoric has quit [Quit: Yoric]
vivanov has joined #ocaml
mcclurmc_ has joined #ocaml
Kakadu has joined #ocaml
Cyanure has joined #ocaml
solidsnake275 has joined #ocaml
solidsnake275 has left #ocaml []
boscop has joined #ocaml
vivanov has quit [Quit: Lost terminal]
myu2 has quit [Remote host closed the connection]
myu2 has joined #ocaml
sm has joined #ocaml
sm is now known as Guest83513
Guest83513 has left #ocaml []
Yoric has joined #ocaml
myu2 has quit [Remote host closed the connection]
<flux> hmm, I think batIMap has a bug. its let rec add -function takes 'eq' as an optional comparison parameter, but then it doesn't pass that to 'make', which has a similar optional comparison paramaeter.
<flux> functorized version would not have had this issue ;)
avsm has joined #ocaml
<flux> btw, wouldn't it be a good idea to integrate whatever debianizations/ubuntizations into the master branch of batteries?
<flux> this way people would be able to more easily install master batteries properly into their systems
<flux> of course, it's not much of an issue yet when there are no dependencies on batteries
myu2 has joined #ocaml
mcclurmc_ has quit [Quit: Leaving.]
wchicken has joined #ocaml
<wchicken> hey -- any tutorials on how to use batteries' option parser?
<wchicken> looks like google code search came to the rescue :)
eye-scuzzy has quit [Ping timeout: 260 seconds]
* Yoric should read that tutorial, some day :)
Oejet has joined #ocaml
ttamttam has joined #ocaml
ttamttam has left #ocaml []
<thomasga> I like ocamlopt error messages : Error: Files ../stdlib/stdlib.p.cmxa and ../stdlib/stdlib.p.cmxa
<thomasga> both define a module named Pervasives ...
<thomasga> very useful to me :-)
mcclurmc1 has joined #ocaml
mcclurmc1 has quit [Client Quit]
mcclurmc_ has joined #ocaml
mcclurmc_ has quit [Ping timeout: 255 seconds]
* rwmjones booked eurostar ticket
<rwmjones> (to paris)
<wchicken> rwmjones: I was in paris for 2 days on vacation
<wchicken> rwmjones: and at a party I ran into a student who was an ocaml developer
Oejet has quit [Ping timeout: 276 seconds]
ikaros has joined #ocaml
vivanov has joined #ocaml
<gildor> flux: it is not recommended to include debian/ in upstream sources, for various reason
<flux> gildor, ok, I guess one reason would be that downstreams still want to have their customizations in debian. doesn't prevent one from providing _debian, though ;)
<gildor> flux: let say that if their is an official debian package, it is better to not have an unofficial one
<avsm> which hotel are people staying at for the user group meeting?
<gildor> flux: main reason is that they will generate very specific conflict and raise the number of cases an official debian package will have to deal with
<gildor> avsm: there is not official hostel, ask rwmjones who was there 3 years ago and have probably good advice on the matter
<gildor> flux: moreover installing a local batteries package (through the standard build system) is not a big deal and can be maintained in a user's home directory
<flux> gildor, well, the situation for me is that my ubuntu still likes to think that batteries should be built with omake
<flux> gildor, well, that is true, and that is what I've done on some systems
<flux> gildor, it works now as there are no packages that depend on batteries
<flux> but if there were, it would mean that to use such depending packages you would need to compile them as well
<gildor> flux: may I suggest that you can solve this issue by sthg different to include a debian/ into batteries ?
<gildor> flux: GODI is maybe an alternative in this case ?
<flux> I guess the easiest solution is to find the most recent debianization of batteries and hope that it is recent enough for git master. and if not, fix it. or just not use debianized batteries.
<flux> well, I tried godi for a while, but it is somewhat annoying to deal with when something doesn't work
<gildor> flux: if you really want to help, you just apply patches that debian send to batteries (if they are some) and maybe follow batteries Debian PTS
<gildor> flux: this will improve integration of Debian/Batteries and can help to simplify the upgrade
<gildor> flux: hence speedup migration of official batteries version to Debian
<gildor> flux: but I don't know how it will reach ubuntu
<flux> I hope they won't try to diverge too much from debian
<flux> I mean, what would be the point, other than adding more work..
<gildor> flux: another way to do this (warning ads following) is to use oasis and oasis2debian ;-)
<gildor> flux: changes between ubuntu and debian wrt to OCaml are almost 0
<gildor> flux: there is no active MOTU on OCaml (AFAIK)
<flux> gildor, MOTU?
<gildor> Master of the Universe
<gildor> (MOTU ~= Debian Developper for Ubuntu)
Ontologiae has joined #ocaml
<Ontologiae> hi everyone
<gildor> hi
<Ontologiae> I'm comming with a problem
<Ontologiae> I'm trying to define a class and a sum type which use each other
<Ontologiae> class maclasse = object(self) val mutable valeur = (None : truc option) method getValeur = valeur
<Ontologiae> end
<Ontologiae> nd
<Ontologiae> truc = Machin of (maclasse->int) | Recur of truc;;
<Ontologiae> nd -> and
<gildor> use a pastebin service
<Ontologiae> ok, excuse me :-)
<Ontologiae> it's better :)
<Ontologiae> SO the compiler say : Syntax error
eye-scuzzy has joined #ocaml
<gildor> Ontologiae: I think it is not possible
<Ontologiae> snif :'(
<Ontologiae> thx gildor
<gildor> type-definition and class-definition are two separate things (in term of OCaml grammar)
<gildor> you can have type ... and in the type-definition rule
<gildor> but it doesn't extend to beyond type (i.e. doesn't include class-definition)
vivanov has quit [Ping timeout: 264 seconds]
<Ontologiae> it's funny because my type definition begins with a sum type and continue with a class
<Ontologiae> just with and between each
<Ontologiae> but, if i try to begin by my sum type definition, the compiler says it doesn't know the class in the type
Pepe_ has quit [Ping timeout: 246 seconds]
alpounet has quit [Ping timeout: 255 seconds]
<gildor> flux: the oasis2debian solution can be quite nice in fact
<gildor> (because this is the tool I use to create package when upstream use _oasis)
<gildor> though it will still cause conflicts for debian packager
<gildor> but maybe in a more expected way...
vivanov has joined #ocaml
_andre has joined #ocaml
Pepe_ has joined #ocaml
ankit9_ has quit [Ping timeout: 250 seconds]
alpounet has joined #ocaml
munga has joined #ocaml
vivanov has quit [Ping timeout: 260 seconds]
Yoric has quit [Quit: Yoric]
<EM03> rwmjones: how does your mod_caml handle templates, I will take a look now for myself as well
Yoric has joined #ocaml
<wchicken> how do I retrieve a value from a 'Some' ?
vivanov has joined #ocaml
<wchicken> nevermind: pattern matching :)
munga has quit [Ping timeout: 248 seconds]
ankit9_ has joined #ocaml
Ontologiae has quit [Ping timeout: 260 seconds]
lopex has joined #ocaml
Oejet has joined #ocaml
ygrek has quit [Ping timeout: 246 seconds]
coucou747 has joined #ocaml
ygrek has joined #ocaml
myu2 has quit [Remote host closed the connection]
Ontologiae has joined #ocaml
HoraseLunums has joined #ocaml
<thelema> flux: or embedding the comparator in the datastructure itself. batimap's design is the worst of all possible worlds, giving the eq on every call
<flux> thelema, I guess it tries to leverage on the fact that it is just an avltree.. which might even make things worse, easier to break assumptions.
Cyanure has quit [Remote host closed the connection]
<thelema> yup.
ygrek has quit [Ping timeout: 246 seconds]
<thelema> well, worst case, we can document that this is dangerous and will result in fail if use improperly
<flux> well, batIMap is fully undocumented anyway, and it also missed a function I needed (find the previous binding not larger than n), so I guess it's not that complete
<thelema> I think that was the only place that eq wasn't being passed to make. That said, it was being called there, so maybe it was being handled
<thelema> yeah, I just borrowed it from camomile.
<flux> I have a simple test case that demonstrates the issue
<flux> (it fails to fold consecutive "foo"s, although I give it ~eq:( = )
<thelema> well, pastebin it and I'll add it to the testsuite
<thelema> I thought I had cleaned out all those bugs when I imported it. apparently not.
HoraseLunums has quit [Remote host closed the connection]
<flux> it's not a proper test suite, but demonstrates the issue
<flux> (but rather a toplevel-edit-copypaste)
<thelema> I'll fix it up.
<thelema> I wish the toplevel could use 'a printers and compose them like it does builtin printers
<thelema> yay, my patch fixes this
ankit9_ is now known as ankit9
dnolen has joined #ocaml
<thelema> fix pushed
<flux> great, thanks
<thelema> thank you for the testcase
<thelema> # (0--4);;
<thelema> - : int BatEnum.t = 0 1 2 3 4
<thelema> yay
Kakadu has left #ocaml []
ttamttam has joined #ocaml
ttamttam has left #ocaml []
Oejet has quit [Ping timeout: 276 seconds]
ttamttam has joined #ocaml
ttamttam has left #ocaml []
Associat0r has quit [Quit: Associat0r]
tauntaun has joined #ocaml
vivanov has quit [Ping timeout: 276 seconds]
vivanov has joined #ocaml
bzzbzz has joined #ocaml
munga has joined #ocaml
tauntaun has quit [Quit: Ex-Chat]
<flux> ooh
<flux> so it uses some tricks to not be destructive?
myu2 has joined #ocaml
<Yoric> nice
dnolen has quit [Quit: dnolen]
agarwal1975 has joined #ocaml
boscop has quit [Read error: Connection reset by peer]
boscop has joined #ocaml
vivanov has quit [Ping timeout: 252 seconds]
<thelema> flux: it just clones the enum and takes the first 20 elements
<thelema> that said, it does force that part of the enum, so laziness is destroyed
vivanov has joined #ocaml
vivanov has quit [Client Quit]
tauntaun has joined #ocaml
emmanuelux has joined #ocaml
emmanuel_ has joined #ocaml
emmanuel_ has quit [Read error: Connection reset by peer]
ymasory has joined #ocaml
Ontologiae has quit [Ping timeout: 250 seconds]
lopex has quit []
yezariaely has joined #ocaml
yezariaely has left #ocaml []
sepp2k has joined #ocaml
vouillon has quit [Read error: Operation timed out]
vouillon has joined #ocaml
lopex has joined #ocaml
yezariaely has joined #ocaml
joewilliams_away is now known as joewilliams
Cyanure has joined #ocaml
yezariaely has left #ocaml []
tauntaun has quit [Read error: Connection reset by peer]
tauntaun has joined #ocaml
Snark_ has joined #ocaml
Snark_ is now known as Snark
vouillon has quit [Remote host closed the connection]
Oejet has joined #ocaml
* Yoric is having fun designing a functional+concurrent UI toolkit.
* adrien is curious about it
<mrvn> me too
<adrien> based on what?
<adrien> and which principles?
<adrien> I actually hope you're not going to make my work on lablgtk+react worthless :P
<mrvn> adrien: gtk has serious flaws
<adrien> mrvn: yeah, unfortunately, it's also one of the only toolkit that is actually usable
<adrien> I *REALLY* look forward to EFL (enlightenment)
<adrien> efl is much much smaller, has a variety of backends, is portable, looks good and hmmmm, "something"
<adrien> enlightenment as in E17, the desktop environment (yeah, the almost-vaporware :-) )
<mrvn> I want a UI that has a proper modell/view seperation
<hcarty> adrien: I was looking through the EFL 1.0 docs. It looks nice and worth binding.
<adrien> mrvn: I think I'm getting that with lablgtk+react, but it has a cost (which is also something you want): to be really useful, it maintains its own ocaml data structure
<adrien> have to keep it in sync with the gtk/glib one
<adrien> hcarty: yeah, definitely, you feel like checking the guts to see how it manages memory? :P
<mrvn> adrien: Can you make it stop messing with the focus and stop flickering when updating widgets, esspecially list views?
Yoric has quit [Quit: Yoric]
<mrvn> Also how do you make it concurrent?
<adrien> mrvn: update in batch? (detach, update, reattach)
<mrvn> adrien: that flickers
<hcarty> adrien: I wish I had time to do so :-)
<adrien> listviews/treeviews are actually the next thing I want to work on for lablgtk-react
<mrvn> It clears the widgets and redraws it from scratch
<adrien> (lablgtk2-react is a very short layer but for it to be useful, it has to wrap various lablgtk elements: currently it has tabs)
<adrien> mrvn: that sounds weird, tried with another application? also, might be graphic drivers
<adrien> hcarty: ;-)
<mrvn> adrien: its a gtk thing.
<adrien> hcarty: I need to take some time to remember the EFL guys to have a nice machine-parseable interface (for bindings generation)
<adrien> mrvn: after how many elements?
<mrvn> adrien: 1
<mrvn> it just is quicker drawing with less
<adrien> iirc you can avoid this with custom renderer, but it's been a long time and I'll have to check
orbitz has quit [Ping timeout: 260 seconds]
orbitz has joined #ocaml
edwin has quit [Remote host closed the connection]
munga has quit [Ping timeout: 276 seconds]
ygrek has joined #ocaml
tauntaun has quit [Quit: Ex-Chat]
ftrvxmtrx has quit [Quit: Leaving]
tauntaun has joined #ocaml
ftrvxmtrx has joined #ocaml
Yoric has joined #ocaml
BiDOrD has quit [Quit: No Ping reply in 180 seconds.]
BiDOrD has joined #ocaml
_andre has quit [Quit: leaving]
Snark has quit [Quit: Ex-Chat]
edwin has joined #ocaml
ulfdoz has joined #ocaml
Associat0r has joined #ocaml
ygrek has quit [Remote host closed the connection]
mcclurmc_ has joined #ocaml
drunK has joined #ocaml
HoraseLunums has joined #ocaml
HoraseLunums has quit [Remote host closed the connection]
ulfdoz has quit [Ping timeout: 250 seconds]
enthymeme has joined #ocaml
EM03 has quit [Ping timeout: 252 seconds]
edwin has quit [Remote host closed the connection]
ymasory has quit [Remote host closed the connection]
EM03 has joined #ocaml
EM03 has quit [Changing host]
EM03 has joined #ocaml
EM03 has quit [Quit: EM03]
tauntaun has quit [Quit: Ex-Chat]
mcclurmc_ has quit [Ping timeout: 255 seconds]
tauntaun has joined #ocaml
avsm has quit [Ping timeout: 240 seconds]
boscop has quit [Ping timeout: 260 seconds]
Yoric has quit [Quit: Yoric]
Amorphous has quit [Ping timeout: 250 seconds]
munga has joined #ocaml
agarwal1975 has quit [Quit: agarwal1975]
avsm has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]
Amorphous has joined #ocaml
munga has quit [Read error: Operation timed out]