gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.1 http://bit.ly/nNVIVH
arubin has joined #ocaml
sebz has joined #ocaml
joewilliams is now known as joewilliams_away
surikator has quit [Quit: Scientific discovery is just maximal compression of strings. Nothing more, nothing less.]
ulfdoz has quit [*.net *.split]
chambart has quit [*.net *.split]
hto_ has quit [*.net *.split]
adrien has quit [*.net *.split]
schme has quit [*.net *.split]
nimred has quit [*.net *.split]
hcarty has quit [*.net *.split]
NaCl has quit [*.net *.split]
TaXules has quit [*.net *.split]
bacam has quit [*.net *.split]
joewilliams_away has quit [*.net *.split]
deavid has quit [*.net *.split]
deavid has joined #ocaml
NaCl has joined #ocaml
NaCl has quit [Changing host]
NaCl has joined #ocaml
joewilliams_away has joined #ocaml
TaXules has joined #ocaml
hcarty has joined #ocaml
nimred has joined #ocaml
schme has joined #ocaml
adrien has joined #ocaml
hto has joined #ocaml
ulfdoz has joined #ocaml
bacam has joined #ocaml
chambart has joined #ocaml
Modius has joined #ocaml
emmanuelux has joined #ocaml
joewilliams_away is now known as joewilliams
drhodes has quit [Ping timeout: 260 seconds]
Modius has quit [Quit: "Object-oriented design" is an oxymoron]
seafood has joined #ocaml
joewilliams is now known as joewilliams_away
arubin has quit [Quit: arubin]
Kakadu has joined #ocaml
ttamttam has joined #ocaml
seafood has quit [Read error: Connection reset by peer]
seafood has joined #ocaml
ttamttam has quit [Remote host closed the connection]
ttamttam has joined #ocaml
ttamttam has quit [Remote host closed the connection]
edwin has joined #ocaml
emmanuelux has quit [Ping timeout: 244 seconds]
ztfw has joined #ocaml
sebz has quit [Quit: Computer has gone to sleep.]
everyonemines has joined #ocaml
Cyanure has joined #ocaml
sebz has joined #ocaml
emmanuelux has joined #ocaml
ikaros has joined #ocaml
bitbckt has quit [Quit: out]
<adrien> gildor: is there a way to rename a project on the forge or does it involve creating a new one with the new name, importing everything (I only have git stuff currently anyway) and removing/hiding/whatever the old one?
<adrien> I'm not 100% sure I'll change the name of lablgtk-react but it's a possibility
bitbckt has joined #ocaml
everyonemines has quit [Read error: Connection reset by peer]
ikaros has quit [Quit: Ex-Chat]
ikaros has joined #ocaml
ikaros has quit [Quit: Ex-Chat]
<sgnb> does anyone here has an ocaml-data-notation working with type-conve 3.0.4 ?
ttamttam has joined #ocaml
<adrien> edwin: I think I'm good with lablgtk-react now; I need to polish some small things and write some doc but I think everything that I needed/wanted is there now
yezariaely has joined #ocaml
sebz has quit []
<gildor> adrien: you can change the "long name" of your project, but not the UNIX name -- just as with any user/group on unix
<gildor> adrien: so renaming involves create a new one + mv/chown
<adrien> gildor: ok, thanks; I'll see what I want to do in the next few days
<adrien> lablgtk-react is down to two calls to react: create and fold and I'll probably remove/abstract that
<edwin> adrien: thanks, will check it out later today
<adrien> hah, hold on a bit still, it's still missing documentation/explanation ;-)
<edwin> Error: Files listview/listview.cmx and /usr/local/lib/ocaml/3.12.0/lablgtk2/lablgtk.cmxa make inconsistent assumptions over interface Gobject
<edwin> I must be doing something stupid
<edwin> tried make clean
<adrien> right, clean should help for that
<edwin> it didn't :(
<adrien> have you been using a branch of lablgtk or not?
<edwin> yeah, maybe I have a mix
<adrien> do you still have the _build folder?
<edwin> and its picking up part from /usr/local and part from /usr
<edwin> I tried removing it, but didn't help
<edwin> have to go and have lunch now, will try to figure whats wrong when I'm back
<adrien> ah, explains the issue
<adrien> sure
<adrien> I'll also merge some bits to lablgtk's master branch
<adrien> and I need to add some new API next to #connect (because when a property is changed, a "notify::$propertyname" signal is emitted and currenetly it's not usable from lablgtk)
<adrien> (I haven't written all the code for that yet: it's currently possible to connect to these signals but the API is a bit heavy; what's needed too is a #notify method which would be used like progress_bar#notify#progress when the progress property changes)
<adrien> afk
ttamttam has quit [Quit: ttamttam]
ttamttam has joined #ocaml
ttamttam has quit [Remote host closed the connection]
lopex has joined #ocaml
ikaros has joined #ocaml
ftrvxmtrx has joined #ocaml
Arsenik has joined #ocaml
<adrien> edwin: actually you will be annoyed by the dependency of one example on lablwebkit which is not perfectly packaged (to be fixed soon) and you won't be able to compile it (I'll port it to something else); and you don't need a branch of lablgtk I think, not adrien/react at least (I dropped that a few days ago)
Snark has joined #ocaml
ttamttam has joined #ocaml
seafood has quit [Ping timeout: 245 seconds]
<edwin> adrien: so can I use it with lablgtk master?
ikaros has quit [Quit: Ex-Chat]
<adrien> edwin: should be possible yes
<adrien> the main issue for you is that the tests/browser_test.ml example uses lablwebkit, meaning it will require some changes anyway
<edwin> Error: This expression has type GPack.notebook
<edwin> It has no method set_tab_reorderable
<adrien> basically, you have to implement a module of type LablgtkReact.M (it's better to do this in lablgtk-react's source tree, in tests/ for now)
<adrien> you can remove the corresponding line
<adrien> it makes it possible to move a tab from one place to another
<edwin> all good now with lablgtk master
<adrien> I really need to merge adrien/api-additions back to master; it has some actually useful stuff =)
<edwin> ocamlfind: Package `lablgtk2.init' not found
<edwin> tests missing something though
<edwin> ah, lablgtk's make install doesn't install META?
<adrien> that's from adrien/META, which is merged in master now but not in any released tarball
<adrien> lablgtk's make install... hmmm, it does not use ocamlfind but it provides a Makefile which used to be anorexic
<edwin> ok, can you fix make install though to install it?
<adrien> anemic*
<edwin> anyway, copied manually now
<adrien> I tried to do something in the makefile and I failed
<adrien> idea is to move it to oasis
<adrien> as for LablgtkReact.M, you have a data structure (possibly in a container) and fold over "actions"
<adrien> the actions have IDs associated with them but they're currently a bit broken (and you don't have to care about them=
<adrien> )
<edwin> Error: Unbound value GtkSignal.signal_new
<edwin> that on a branch?
<adrien> arf
<adrien> when do you get that one?
<edwin> make browser_test
<adrien> oh, keyboard shortcuts
<edwin> listview_test worked
<adrien> yes, a branch
<adrien> I split some functions in GtkSignal: I needed to expose some things
<adrien> actually, no, that one is a new function
<adrien> but you can get the same effect with a button in the UI
<adrien> which is actually probably better
<edwin> hmm now something wrong with gdk
<edwin> Error: The files /usr/local/lib/ocaml/3.12.0/lablgtk2/gPack.cmi and /usr/local/lib/ocaml/3.12.0/lablwebkit/gWebkit.cmi make inconsistent assumptions over interface GdkEvent
<edwin> ah
<edwin> need to recompile webkit
<adrien> you have lablwebkit? :o
<edwin> I downloaded it
<adrien> maybe the packaging wasn't _that_ bad then :P
<adrien> about signal_new: I have a special ~/.gtkrc-2.0 which includes: bind "<Control>T" { "create-new-page" () }
<edwin> make install is problematic, have to remove old version manually each time
<adrien> then, when I Ctrl+t, a "create-new-page" is emitted
<adrien> signal*
<edwin> Error: Unbound value GtkSignal.connect_property
<edwin> assume thats a new method too?
<adrien> yes, it's a new method and here it is used to set the title in the tab label but you can remove the line, it's not particularly interesting
<adrien> (plus it's not working, I have no idea why)
<edwin> hmm No implementations provided for the following modules: GtkThread referenced from tests/browser_test.cm
<edwin> /usr/local/lib/ocaml/3.12.0/lablgtk2/gtkThread.cmx
<edwin> but its there
etosch has joined #ocaml
<adrien> it has to be explicit
<adrien> but the _tags file mention it
<adrien> s
<edwin> you mean META?
<adrien> the _tags file has to mention "thread" and the META has to have something like archive(native,mt) += "gtkThread.cmx"
<edwin> _tags doesn't have thread
<adrien> tests/_tags?
<adrien> it should have <browser_test*>: package(lablwebkit, react), thread
<edwin> that one does
<edwin> but its not showing up on ocamlfind line
<edwin> + /usr/bin/ocamlfind ocamlopt -linkpkg -package 'lablgtk2, lablgtk2.init' -package 'lablwebkit, react' label/label.cmx lablgtkReact.cmx tabs/tabs.cmx zipper/zipper.cmx tests/browser_test.cmx -o tests/browser_test.native
<adrien> which version of ocaml are you using?
<edwin> 3.12.0
<adrien> arf
<adrien> there's a bug with -thread in _tags and ocamlbuild
<adrien> exactly what you noticed: it doesn't get propagated
<edwin> is it fixed in 3.12.1?
<adrien> yes
<adrien> you can also replace GtkThread.main () with GMain.main () in the sourcecode
<adrien> it's not required anymore (although it might become used again)à
<adrien> (that's also probably the easiest way by far)
<edwin> ok it built, but I'm a bit lost on what its supposed to do
<edwin> I don't see the history
<adrien> history of what exactly?
<edwin> " Example: a zipper for history in a web browser"
<edwin> isn't that what browser_test implements?
<adrien> ah, I had forgotten I had written that there; give me one minute
<adrien> edwin: if you pull the new code, you can see a basic history is available; it's quite basic but you can notice the updates are functional
<adrien> it only reacts to entries in the address bar though (which you have to prefix with http:// manually currently)
<edwin> ah ok, see it now
<edwin> thanks, will play with this tomorrow, and see if I can write some useful app with it
<adrien> oh :-)
<adrien> s/oh//
<adrien> but don't hurry too much, there are still things that can be improved quite a lot
<edwin> yeah like docs ;)
* adrien looks around
<edwin> btw no .mli file needed?
<adrien> I actually started something for docs but haven't commited them yet
<adrien> as for .mli files, getting some of them right got on my nerves earlier today
<adrien> mostly because when you create a functor, you can't reference a type that is definedinside the functor
<adrien> have to go now; I'll be away a bit but with some kind of internet access (conference wifi /o\ )
<edwin> ok
<adrien> and thanks for testing and bearing with me so far :-)
<edwin> yw, I like trying new stuff
<adrien> my todo is pretty much: fix some relatively simple stuff, maybe expand the example a bit to provide an history in the GUI, merge my branches to lablgtk master, and then write doc
<edwin> if I write some useful Gtk app with it can you add it to tests?
<adrien> sure
<adrien> really have to go now if I don't want to be late; I'll be back in a few minutes
* adrien loves public transports in paris
<edwin> bye
<Kakadu> adrien: Do you have today enough power to compile core and lablqt?
yezariaely has left #ocaml []
<adrien> Kakadu: core really scares me
<adrien> I don't think I would be physically able today anyway
<adrien> tomorrow is much more likely
<Kakadu> adrien: OK
<adrien> don't forget to ask me about it on tomorrow; the earlier the better ;-)
smerz has joined #ocaml
milosn_ has joined #ocaml
etosch has quit [Quit: This computer has gone to sleep]
milosn has quit [Ping timeout: 256 seconds]
ankit9 has quit [Quit: Leaving]
struktured has joined #ocaml
dcolish has joined #ocaml
dnolen has joined #ocaml
bobry has quit [Ping timeout: 240 seconds]
junsuijin has joined #ocaml
larhat has quit [Quit: Leaving.]
bobry has joined #ocaml
Associat0r has joined #ocaml
Associat0r has quit [Changing host]
Associat0r has joined #ocaml
arubin has joined #ocaml
seafood has joined #ocaml
seafood has quit [Read error: Connection reset by peer]
seafood has joined #ocaml
ttamttam has quit [Remote host closed the connection]
seafood has quit [Quit: seafood]
ttamttam has joined #ocaml
ttamttam has quit [Client Quit]
<adrien> are there cases where cmigrep will not output anything?
<adrien> I'm using -a '.*' and that works for some modules but not all
<adrien> actually that works for all but one which is of course, the one I'm interested in
struktured has quit [Ping timeout: 276 seconds]
<adrien> hmpf
<adrien> I really don't understand the typing error that ocaml is throwing at me
joewilliams_away is now known as joewilliams
junsuijin has quit [Read error: Connection reset by peer]
<adrien> edwin: I think I'll end up having to write .mli files right now :P
<adrien> (afk)
The_third_man has quit [Ping timeout: 258 seconds]
penryu is now known as penbot
penbot is now known as penryu
struktured has joined #ocaml
dnolen has quit [Quit: dnolen]
cgroza has joined #ocaml
<cgroza> is there a .. equivalent in ocaml?
<Qrntzz> the range operator? no, not in standardlib but writing your own is trivial
<cgroza> like in Haskell?
<cgroza> Qrntzz: ok, thanks.
<Qrntzz> no problem
wtetzner has quit [Read error: Connection reset by peer]
ftrvxmtrx has quit [Quit: Leaving]
junsuijin has joined #ocaml
Snark has quit [Quit: Quitte]
ikaros has joined #ocaml
junsuijin has quit [Read error: Connection reset by peer]
junsuijin has joined #ocaml
<cgroza> does Ocaml have a function composition operator like in Haskell?
<zorun> mmh, I think there is one in Batteries
<zorun> but again, you can write one yourself :)
<cgroza> zorun: sure, but I hate to write common functions in every program of mine.
<cgroza> stdin;;
<Qrntzz> many people think the stdlib needs an overhaul to include more useful functions
<zorun> yeah...
<zorun> actually, it leads to multiple attempts at providing a decent stdlib, which isn't very good
<zorun> see the Lisp history :)
<zorun> in OCaml's case, Batteries is quite good but heavyweight
<zorun> and Jane's Street has its own stdlib
Boscop has joined #ocaml
<Kakadu> cgroza: JaneStreet's lib is cool
<NaCl> Core
Anarchos has joined #ocaml
<Qrntzz> batteries is a total overkill imo
oriba has joined #ocaml
<Anarchos> My proof verifier is working :)
<Anarchos> It is written in pure ocaml, and verifies proof for first order theories :)
<zorun> first order logic, you mean?
<Anarchos> zorun no because each theory depends on its signature, but it is the same idea
joewilliams is now known as joewilliams_away
<cgroza> I get this error message: This expression has type string list -> string list
<cgroza> but an expression was expected of type 'a list
<cgroza> I don't understand why the types don't match.
<Anarchos> cgroza the first one is a function
<Anarchos> from string list to string list
milosn_ is now known as milosn
edwin has quit [Remote host closed the connection]
<cgroza> Anarchos: well, I do : let lines = read_lines. and then I pass the lines where I need them, and it spits that...
<cgroza> pastebin : http://pastebin.com/uhdmTuVr
<Anarchos> let me give it a look
<cgroza> Pastebin is above.
Boscop_ has joined #ocaml
Boscop has quit [Disconnected by services]
Boscop_ is now known as Boscop
Boscop has quit [Changing host]
Boscop has joined #ocaml
etosch has joined #ocaml
<cgroza> fixed it
<cgroza> i was returning a half applied function from read_lines...
<Anarchos> cgroza nice !
ttamttam has joined #ocaml
<cgroza> :D
<cgroza> Is there a $ operator like in haskell?
ttamttam has left #ocaml []
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
<thelema> cgroza: let (|-) g f = fun x -> f (g x)
<thelema> but more used is: let (|>) x f = f x
<thelema> because of eager evaluation, left to right pipelines of data work nicely
<thelema> also because (|-) doesn't have the correct associativity
<thelema> zorun: any comments on what should be removed from batteries?
<cgroza> thelema: I already defined a ($) operator.
Kakadu has quit [Quit: Konversation terminated!]
<thelema> cgroza: it won't have the right associativity either
scottmcl66 has joined #ocaml
<scottmcl66> #/join haskell
wtetzner has joined #ocaml
etosch has quit [Quit: Leaving]
cgroza has quit [Remote host closed the connection]
ztfw has quit [Remote host closed the connection]
ikaros has quit [Quit: Ex-Chat]
scottmcl66 has quit [Quit: ChatZilla 0.9.87 [Firefox 6.0.2/20110902133214]]
Amorphous has quit [Ping timeout: 260 seconds]
lopex has quit [Ping timeout: 276 seconds]
lopex has joined #ocaml
Arsenik has quit [Quit: Quitte]
Amorphous has joined #ocaml
seafood has joined #ocaml
sebz has joined #ocaml
emmanuelux has quit [Quit: Ex-Chat]
emmanuelux has joined #ocaml
sebz has quit [Quit: Computer has gone to sleep.]
Boscop has quit [Ping timeout: 260 seconds]
hcarty__ has joined #ocaml
Associat0r has quit [Quit: Associat0r]
<hcarty__> thelema: I'm not sure I understand the heavyweight argument against Batteries, particularly since each piece can be picked individually. There are of course some dependencies between modules.
<hcarty__> The external dependencies are pretty limited, more so with 2.0 and the elimination of Camomile requirement
surikator has joined #ocaml
seafood has quit [Ping timeout: 255 seconds]
<thelema> hcarty__: yes, this is what I'd like to understand better. Maybe it's a misunderstanding based on older batteries
<thelema> or just based on us paying attention to executable size
<thelema> The inter-module deps might be worked out better - currently batPervasives brings in a *lot* of other modules
ulfdoz_ has joined #ocaml
sebz has joined #ocaml
ulfdoz has quit [Ping timeout: 256 seconds]
ulfdoz_ is now known as ulfdoz