Alpounet changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | 3.11.1 out now! Get yours from http://caml.inria.fr/ocaml/release.html - Answer OCaml Meeting 2010 poll https://forge.ocamlcore.org/survey/survey.php?group_id=77&survey_id=1
diml has joined #ocaml
sramsay has quit ["Leaving"]
middayc_ has joined #ocaml
ikaros has quit ["Leave the magic to Houdini"]
munga_ has joined #ocaml
middayc has quit [Read error: 110 (Connection timed out)]
Tomsik_ has left #ocaml []
thrasibule has joined #ocaml
munga_ has quit [Read error: 113 (No route to host)]
Pimm has quit [Remote closed the connection]
ski_ has quit ["Lost terminal"]
<thelema> Yay, aaa-batteries docs online at http://thelema.github.com/AAA-batteries/hdoc/
<Alpounet> good thelema, excellent even :-)
<Alpounet> why some modules are Bat*, others not ?
<thelema> the bat* modules are extensions of stdlib - only the functions modified in aaa are documented
<Alpounet> ok
<Alpounet> thanks.
* thelema wants to release again tonight, let's see if I can get some other things done first. If someone is available to look at the toplevel or the native tests (bytecode works), please check out git source.
<middayc_> wow, awesome :)
tmaedaZ is now known as tmaeda
<thelema> not really - almost all the code comes from other people.
<thelema> But I hope this version is more extensible than batteries.
onigiri has quit []
valross has quit [Read error: 110 (Connection timed out)]
valross has joined #ocaml
Modius has quit [Read error: 110 (Connection timed out)]
middayc_ has quit ["ChatZilla 0.9.85 [Firefox 3.5.5/20091102152451]"]
<thelema> okay, tests working... now for the toplevel...
Mr_Awesome has quit [Remote closed the connection]
ua_ has joined #ocaml
ua has quit [Read error: 131 (Connection reset by peer)]
tmaeda is now known as tmaedaZ
ccasin has quit ["Leaving"]
caligula_ has joined #ocaml
caligula__ has quit [Read error: 145 (Connection timed out)]
<thelema> :( no toplevel, no release. at least I got omake test working.
Associat0r has quit []
<Alpounet> thelema, toplevel isn't working ?
<thelema> Alpounet: nope - first a problem finding Batteries_help.init, and now "no such package: aaa"
<thelema> I'll investigate further in the morning.
<Alpounet> ok
<Alpounet> "perl is a mineral deposit created by oysters who had sand in their pants." haha
thrasibule has quit [Read error: 110 (Connection timed out)]
ulfdoz has joined #ocaml
valross has quit [Read error: 110 (Connection timed out)]
ua_ has quit [Read error: 60 (Operation timed out)]
tmaedaZ is now known as tmaeda
Snark has joined #ocaml
ulfdoz has quit [Read error: 110 (Connection timed out)]
ttamttam has joined #ocaml
ttamttam has quit ["Leaving."]
ygrek has joined #ocaml
tmaeda is now known as tmaedaZ
mishok13 has joined #ocaml
Yoric[DT] has joined #ocaml
ttamttam has joined #ocaml
_zack has joined #ocaml
Yoric[DT] has quit ["Ex-Chat"]
ua has joined #ocaml
verte has joined #ocaml
ygrek has quit [Remote closed the connection]
ikaros has joined #ocaml
yakov has quit ["Leaving"]
_zack has quit ["Leaving."]
Yoric has joined #ocaml
th5 has joined #ocaml
ygrek has joined #ocaml
munga_ has joined #ocaml
_zack has joined #ocaml
ikaros has quit ["Leave the magic to Houdini"]
dmentre has joined #ocaml
clog_ has joined #ocaml
clog has quit [Read error: 110 (Connection timed out)]
clog_ is now known as clog
Yoric has quit []
thelema has quit [Read error: 104 (Connection reset by peer)]
thelema has joined #ocaml
thelema has quit [Remote closed the connection]
thelema has joined #ocaml
onigiri has joined #ocaml
middayc has joined #ocaml
th5 has quit []
middayc has quit ["ChatZilla 0.9.85 [Firefox 3.5.5/20091102152451]"]
_zack has quit ["Leaving."]
verte has quit ["~~~ Crash in JIT!"]
albacker has joined #ocaml
th5 has joined #ocaml
munga_ has quit [Read error: 113 (No route to host)]
onigiri has quit [Read error: 54 (Connection reset by peer)]
_zack has joined #ocaml
ttamttam has quit ["Leaving."]
Associat0r has joined #ocaml
Yoric has joined #ocaml
ttamttam has joined #ocaml
_zack1 has joined #ocaml
_zack has quit [Read error: 110 (Connection timed out)]
ttamttam has quit ["Leaving."]
jimmyb2187 has joined #ocaml
Modius has joined #ocaml
ttamttam has joined #ocaml
ttamttam has quit ["Leaving."]
Pimm has joined #ocaml
_unK has joined #ocaml
monestri has quit ["Leaving"]
<flux> is my caml-ml broken, no new messags since Wed, 18 Nov 2009 18:42:56 +0100?
<flux> or is it just silent :)
<olegfink> same here.
<Alpounet> looks silent
kaustuv has joined #ocaml
ikaros has joined #ocaml
<thelema> wow, I didn't realize how complex batteries' help system was...
<thelema> ok, how should I present the batteries-enabled toplevel?
<thelema> Do people like [ocamlfind batteries/ocaml]?
<thelema> I note that LWT has an enhanced toplevel... Would anyone be able to help me take some of their magic into aaa?
<thelema> maybe I should just provide some ocamlinit text for people...
<Alpounet> ocamlfind batteries/ocaml is fine
<Alpounet> but registering an alias would be excellent
<Alpounet> bocaml, or such a name.
<Alpounet> :p
<thelema> how about just providing a .ocamlinit?
<Alpounet> but it'd modify the default ocaml session
<Alpounet> right ?
ua has quit [Read error: 113 (No route to host)]
<thelema> yes
<thelema> It wouldn't be installed automatically
<Alpounet> this solution would be fine for me
<Alpounet> but it may not be for many ocaml users
<thelema> because?
<Alpounet> because maybe they would like Batteries to be just another library for them
<Alpounet> not something intrusive, somehow
<thelema> I'
<thelema> ll put a comment above the [open Batteries] line instructing that removing it will result in no intrusive changes
Pimm has quit [Read error: 110 (Connection timed out)]
<Alpounet> and maybe echo'ing something like : "Your ocaml toplevel loads and opens OCaml Batteries Included - AAA version by default. Check your ~/.ocamlinit if you don't want that behavior."
<thelema> "Processing ~/.ocamlinit... loading findlib ... loading batteries"?
slash_ has joined #ocaml
<Alpounet> Can be nice :-)
<thelema> the ocamlinit does have a smaller version of the batteries logo printed when it loads...
<flux> maybe you should provide something one can just "#use" from .ocamlinit, so that you can keep updating the script without again modifying .ocamlinit
<thelema> [| + | | AAA Batteries - |
<thelema> |_____|_|_________________|
<Alpounet> the important thing being they know that it comes from the ~/.ocamlinit file.
<Camarade_Tux> (needs one line of "_" at the top imho)
<thelema> Camarade_Tux: it has - I just didn't paste it.
<thelema> That's the whole graphic
<Camarade_Tux> ;-)
<Alpounet> haha
<Alpounet> nice
<thelema> flux: I like this idea, only where should this file go, and how do I tell the user to #use it with the path? At end of compile?
<flux> thelema, I don't know. the same place where the file in findlib with #use "topfind" goes I suppose?
<thelema> hmm, where is that...
<flux> /usr/lib/ocaml/3.10.2/topfind
<thelema> on my system, /usr/lib/ocaml
<thelema> but all I have to do is find this in installation
<flux> ocamlc -where I suppose
<thelema> yup.
<thelema> #use "aaa"?
<flux> sounds suitable
<flux> easy to write and remember too :)
<thelema> should people have both [use "findlib";; use "aaa";;], or should aaa automatically do findlib?
lutter has quit ["Leaving."]
<flux> good question. I suppose if it doesn't require findlib, it shouldn't include it.
<thelema> at the moment I'm using findlib to load aaa... but I guess it'd be possible to do without.
<thelema> except why duplicate findlib - I require it anyway.
<flux> it'd be nice if you could load it only if it's not loaded, because apparently #use "topfind";; always outputs the same messages
Nepomuk has joined #ocaml
<flux> same with aaa itself, I suppose
<thelema> ah, that's one thing that yoric did - he figured out how to hide findlib's messages.
<thelema> and I'm still using that code.
<thelema> basically it turns off interactive mode while it runs.
Pimm has joined #ocaml
<thelema> it's not quite as nice to do "#use aaa" - need to quiet some more messages.
<Yoric> It took some experimenting and some looking at topfind.
<Nepomuk> greetings friends, I have nooby qestuion about GODI installer breaking. Is this right place to talk?
<Yoric> You mean you want to break the installer? :)
<Yoric> (and yes, it's the right place).
<Nepomuk> ok thank you. I just d/l and install godi 3.11. Everything works ok, then in godi_console attempt to install ocsigen (I simply select ocsigen to build and hit 'start')
<Nepomuk> then, this big error (sorry for big copy and paste)
<Nepomuk> > ocamlfind ocamlc -thread -package lwt,netstring,camlzip -I ../baselib -I ../http -I ../xmlp4
<Nepomuk> -I ../server -I ../extensions -I ../eliom -c staticmod.ml
<Nepomuk> > File "staticmod.ml", line 191, characters 16-33:
<Nepomuk> > This pattern matches values of type Pcre.error
<Nepomuk> > but is here used to match values of type exn
<Nepomuk> > make[8]: *** [staticmod.cmo] Error 2
<Nepomuk> > make[8]: Leaving directory `/opt/godi/build/apps/apps-ocsigen/work/ocsigen-1.2.0/extensions'
<Nepomuk> > make[7]: *** [extensions.byte] Error 2
<Nepomuk> > make[7]: Leaving directory `/opt/godi/build/apps/apps-ocsigen/work/ocsigen-1.2.0'
<Nepomuk> > Error: Exec error: File /opt/godi/build/apps/apps-ocsigen/./../../mk/bsd.pkg.mk, line 1039: Com
<Nepomuk> mand returned with non-zero exit code
<Nepomuk> > Error: Exec error: File /opt/godi/build/apps/apps-ocsigen/./../../mk/bsd.pkg.mk, line 1378: Com
<Nepomuk> mand returned with non-zero exit code
<thelema> hmm, http://codepad.org/utdECJ1o <- too much interpreter responses
<thelema> Nepomuk: try codepad or something for large pastes
<Nepomuk> thx
tmaedaZ is now known as tmaeda
<thelema> Nepomuk: It looks like a library incompatibility - you've got the latest godi-pcre?
<Nepomuk> thanks, checking
Mr_Awesome has joined #ocaml
ezrakilty has joined #ocaml
albacker has quit ["Leaving"]
<Nepomuk> ok thelema, thank you for your help, I fix PATH error (dumb error for me), but same probelm. I do include highlighting of staticmod.ml here http://www.pastebin.org/55556
<Nepomuk> again thank you for help
tmaeda is now known as tmaedaZ
dmentre has quit ["Leaving."]
BigJ has quit [Remote closed the connection]
BigJ has joined #ocaml
ccasin has joined #ocaml
middayc_ has joined #ocaml
deavid has quit [Read error: 104 (Connection reset by peer)]
<mfp> Nepomuk: I can see this in ocsigen's history:
<mfp> Mon Aug 10 13:23:29 CEST 2009 balat at pps.jussieu.fr * Staticmod: update for pcre interface change
deavid has joined #ocaml
<mfp> Nepomuk: is your Ocsigen posterior to that change?
<mfp> Nepomuk: OK, I can see it isn't. You have to apply this patch: http://ocaml.pastebin.com/m1df042cf
<mfp> the pb is basically that the Ocsigen included in GODI (1.2.0) is too old. 1.2.1 includes the update to work with Pcre's new interface
<mfp> +needed
<Nepomuk> yes! mfp thank you :D
<middayc_> what exactly is hlvm .. is it's goal to get ocaml on llvm.. or to build a similar functional lang ontop of llvm .. or it's a VM with features on which one could create functional langs on ..?
smimou has joined #ocaml
<mfp> middayc_: de facto, an implementation of an OCaml-like language (the subset that Jon Harrop likes) on top of LLVM
<middayc_> JH somewhere says it's on a similar level of development as go (from google) .. does it mean it's a language that one can take and start to play with?
<mfp> middayc_: AFAIK it's got no frontend, so you have to code using constructors
<middayc_> mfp: aha .. does it by using LLVM solve some of ocaml's core problems like multicore or that has little to do with llvm itself?
<mfp> middayc_: multicore is more related to the runtime, and yes, that is one of HLVM's goals
<middayc_> I thought llvm VM:) is some sort of runtime .. like jit compliation / gc / ...
<middayc_> ok, thanks a lot... I was just curious about what's going on with this
<middayc_> and how it relates to ocaml
shiram has joined #ocaml
<middayc_> I would love a little freshened up ocaml variant, which doesn't run on .NET .. (to bad there isn't soemthing like that on jvm)
ttamttam has joined #ocaml
ikaros_ has joined #ocaml
<middayc_> but if I got the right impression llvm is only about compilation .. it's doesn't benefit you anything in terms of already prepared base libs shared from other llvm projects?
ikaros has quit [Read error: 60 (Operation timed out)]
ikaros_ is now known as ikaros
lutter has joined #ocaml
th5 has quit []
kaustuv has quit [Read error: 60 (Operation timed out)]
BigJ2 has joined #ocaml
albacker has joined #ocaml
<Nepomuk> mfp -- that patch worked. many thanks. I will try to notify GODI team
_unK has quit [Remote closed the connection]
Yoric has quit []
robocop has joined #ocaml
<robocop> hello
<robocop> do you know where I can found the ocaml's GODI 3.11.1 version ?
<Nepomuk> link is on side
<robocop> hum
<robocop> it is the last version ?
<robocop> 3.11.2 ?
<robocop> I'm going to test
_zack1 has quit ["Leaving."]
<Nepomuk> sorry, you want 3.11.1 specifically
<robocop> no, I juste want the last version :)
<robocop> *just
<Camarade_Tux> -section 3.11.1
<Camarade_Tux> I think
<Camarade_Tux> when configuring
<robocop> I believe it was 3.11.1
<Nepomuk> I think that link is 3.11.1
<robocop> but there is a 3.11.2
<Camarade_Tux> yeah, ./bootstrap --section 3.11
<Camarade_Tux> it should give 3.11.1
<Nepomuk> yes, good ^^ =)
<Nepomuk> bye friends
Nepomuk has quit ["Leaving"]
myki has joined #ocaml
<myki> Hello. Why, while let eq = (=) in eq == eq is obviously true, (=) == (=) is false?
clog has joined #ocaml
sysop_fb has joined #ocaml
mfk has joined #ocaml
betehess has joined #ocaml
lutter has joined #ocaml
ulfdoz has quit [Read error: 145 (Connection timed out)]
micrun has joined #ocaml
ikaros has joined #ocaml
Pimm has quit [Read error: 110 (Connection timed out)]
ua has joined #ocaml
robocop has quit ["Leaving."]
ttamttam has quit ["Leaving."]
ikaros has quit ["Leave the magic to Houdini"]
ygrek has quit [Remote closed the connection]
Mr_Awesome has quit [Remote closed the connection]
mfk has quit [Read error: 60 (Operation timed out)]
middayc has joined #ocaml
Yoric[DT] has quit ["Ex-Chat"]
middayc_ has quit [Read error: 110 (Connection timed out)]
<infoe> is this tail recursive: http://codepad.org/e0SMW5Po ?
ua_ has joined #ocaml
slash_ has quit [Client Quit]
<hcarty> infoe: I don't think so - IIRC the recursive call to aux would have to be on the left of the ::
<Alpounet> to be tail recursive
<hcarty> Alpounet: Indeed
<Alpounet> it'd need the aux call it does to itself to be last thing done in aux
<Alpounet> (just calculate a tail recursive call and a non-tail recursive call by hand for a few steps to figure out how these stuffs work)
<hcarty> As it is, every element needs to be computed before the list can be built.
Ched has joined #ocaml
ua has quit [Read error: 110 (Connection timed out)]
albacker has quit [Read error: 113 (No route to host)]