flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | Grab OCaml 3.10.2 from http://caml.inria.fr/ocaml/release.html (featuring new camlp4 and more!)
Demitar has joined #ocaml
sporkmonger has joined #ocaml
threeve has quit []
mattam has quit [Remote closed the connection]
longh has joined #ocaml
longh has quit [Client Quit]
Mr_Awesome has quit [Read error: 104 (Connection reset by peer)]
jeddhaberstro has quit []
mishok13 has quit [Connection timed out]
<flux> hmh, aren't Ref-module's pre/post-terms swapped from how they are understood in C++?
<flux> (also, type 'a t = 'a Languages.Printf.ref looks weird in the documentation)
<flux> instead of referring to the time the operation is performed, they refer to the time when the value is captured?
mishok13 has joined #ocaml
seafood has quit []
Mr_Awesome has joined #ocaml
middayc has quit []
Palace_Chan has quit ["Palace goes to sleep"]
pango has quit [Remote closed the connection]
olgen has joined #ocaml
filp has joined #ocaml
_zack has joined #ocaml
Yoric[DT] has joined #ocaml
Snark has joined #ocaml
vbmithr has joined #ocaml
Submarine has joined #ocaml
<Yoric[DT]> hi
<flux> yoric[dt], I guess you didn't see this: are Ref-module's pre/post-terms intentionally used in an opposite fashion to those in C?
<flux> also, good morning :)
<Yoric[DT]> Good morning.
<Yoric[DT]> Gasp, did I confuse notations?
<Yoric[DT]> I did.
<Yoric[DT]> (confuse them, that is)
rwmjones_ has joined #ocaml
Snark has quit ["Ex-Chat"]
BubbaT has joined #ocaml
<BubbaT> Does anyone know where I can download F# from?
<flux> no, but if I would need to, I would use google to find it from some microsoft site ;)
<BubbaT> Problem is that MS is not very Firefox freindly.
<flux> hmm.. my firefox did just fine after googling for "f# download"
<flux> (ff3)
<flux> I don't know if those are actually sufficient for using f#
<flux> but looks like it
pierre- has joined #ocaml
mattam has joined #ocaml
<Yoric[DT]> mmmhhh....
<Yoric[DT]> This expression has type unit Extlib.InnerIO.output
<Yoric[DT]> but is here used with type 'a Extlib.IO.output
<Yoric[DT]> which is weird as I have defined [type 'a output = 'a InnerIO.output]
<Yoric[DT]> (in [IO])
Submarine has quit ["Leaving"]
jlouis has joined #ocaml
seafood has joined #ocaml
rmns has joined #ocaml
middayc has joined #ocaml
seafood has quit [Read error: 104 (Connection reset by peer)]
seafood has joined #ocaml
middayc has left #ocaml []
root_ has joined #ocaml
root_ is now known as Camarade_Tux
seafood_ has joined #ocaml
seafood has quit [Read error: 110 (Connection timed out)]
filp has quit ["Bye"]
longh has joined #ocaml
Camarade_Tux has quit ["Leaving"]
rwmjones_ has quit [Read error: 104 (Connection reset by peer)]
sporkmonger has quit []
<ertai> hcarty: ping
GustNG has joined #ocaml
<_zack> Yoric[DT]: the LICENSE file of batteries has a typo, it mention LGPL 2, while the actual license used (AFAICT) is LGPL 2.1
<_zack> can you fix it on the fly?
<_zack> Yoric[DT]: I would also add right away "or above", which seems to be the case everywhere
<Yoric[DT]> _zack: I can try and fix that on the fly.
<_zack> Yoric[DT]: tnx
<Yoric[DT]> I'm still investigating the Ref problem.
<Yoric[DT]> And I'm not making much progress, unfortunately.
<_zack> sigh, unfortunately I've been swamped by other work duties :/
<_zack> and I also need to write the copyright file for the package, which is quite hard to do, as you have *a lot* of different copyright owners ...
seafood_ has quit [Read error: 104 (Connection reset by peer)]
seafood has joined #ocaml
<Yoric[DT]> _zack: I'll return later
_andre has joined #ocaml
<_zack> Yoric[DT]: also, the copyright is yours personally, or shared by you and the Universite d'Orleans ?
<_zack> it does make a difference ...
<Yoric[DT]> That's a good question.
<Yoric[DT]> Probably mine personally.
<_zack> Yoric[DT]: then you should remove the "LIFO, Universite ..." part from the Copyright lines ...
sporkmonger has joined #ocaml
seafood has quit []
pierre- has quit [Read error: 110 (Connection timed out)]
GustNG1 has joined #ocaml
GustNG2 has joined #ocaml
GustNG has quit [Read error: 110 (Connection timed out)]
GustNG1 has quit [Read error: 110 (Connection timed out)]
_zack has quit ["Leaving."]
_zack has joined #ocaml
<hcarty> ertai: pong
munga has quit ["Leaving"]
<ertai> hcarty: I would like you to test the camlp4 toplevel a little bit
<ertai> I have a patch that fixes both #4495 and #4593 at once
<ertai> I'm about to commit it to the CVS HEAD and release311 branches
<hcarty> ertai: Wonderful! It will likely take me a few hours as I am meeting with a prospective student soon, but I will happily do the testing
<hcarty> ertai: Thank you for your time and effort on this
* Yoric[DT] is back.
<Yoric[DT]> _zack: I've given it some thought. It's probably easier if the copyright is shared by Université d'Orléans.
<_zack> Yoric[DT]: OK, I'll keep the current form as the "normative" one then, thanks for checking
<Yoric[DT]> Thank you.
<_zack> Yoric[DT]: still, the 2.1 vs 2 bug stands
<Yoric[DT]> I've fixed that.
<_zack> did you fix that already?
<Yoric[DT]> Not committed yet, though.
<_zack> Yoric[DT]: cool, thank *you* then ;)
<Yoric[DT]> :)
<Yoric[DT]> (I'm attempting to fix the Ref bug at the moment, along with a new bug I've introduced while attempting to fix the first one)
<_zack> :), I'm still swamped with the copyright thingy, but first I need to finish preparing lectures ...
<Yoric[DT]> What're you teaching?
GustNG2 is now known as GustNG
<hcarty> ertai: I'm off for a bit, but please leave a note when the code is ready to test and I will do so
<ertai> hcarty: It might take a while to propagate to the public annon CVS but it's commited
<Yoric[DT]> Grmph.
<Yoric[DT]> I still have a problem with [this expression has type Foo.t = Sna.t but is used here with type Bar.t], while my definition of [Bar.t] states [type t = Sna.t].
<Yoric[DT]> Ahah, I think I've solved the Ref problem.
<Yoric[DT]> Some modules seem to have been linked twice.
<Yoric[DT]> Now, back to fixing that other bug :)
<Yoric[DT]> And other bug, fixed: it was a missing .cmi.
olgen has quit []
pierre- has joined #ocaml
lde has quit [Remote closed the connection]
root_ has joined #ocaml
root_ is now known as Camarade_Tux
snhmib_ has joined #ocaml
jeddhaberstro has joined #ocaml
rmns has left #ocaml []
<Yoric[DT]> ertai: I have [yet another] ocamlbuild-related question.
<Yoric[DT]> (speaking of which I should update the ocamlbuild wiki, one of these days(
<Yoric[DT]> (speaking of which I should update the ocamlbuild wiki, one of these days)
<ertai> Yoric[DT]: OK
<ertai> hum I have a mail of you about that...
<Yoric[DT]> I'm still fighting for peaceful coexistence between ocamldoc and mlpack.
<Yoric[DT]> It's a different question :)
<ertai> yes that's a shame on ocamldoc...
<Yoric[DT]> Right now, I take a .mlpack and produce a .ml.pack with same semantics (from the pov of documentation).
<Yoric[DT]> Let me restart with added notations.
<Yoric[DT]> Let's assume that I want to generate foo.odoc from foo.mlpack .
<Yoric[DT]> At the moment, I have a rule which generates from [foo.mlpack] a [foo.ml.pack] with the same modules in the same order.
<Yoric[DT]> I have another rule which states that I can generate [foo.odoc] from [foo.ml.pack].
<Yoric[DT]> In that rule, for each module [Bar] named in [foo.mlpack], I generate [bar.odoc].
<Yoric[DT]> I then call [Ocaml_tools.document_ocaml_implem "foo.ml.pack" "foo.odoc" env build].
<Yoric[DT]> The build process runs.
<Yoric[DT]> My problem is that my [bar.odoc] files don't seem to be taken into account when generating the final documentation.
<Yoric[DT]> What's the best way of doing that?
<Yoric[DT]> (I guess I could copy-paste the contents of [document_ocaml_implem] and add manually a "-load" followed by all the [foo.odoc] I've just generated but I assume there's a better way)
<Yoric[DT]> ertai: ?
* ertai is looking at the ocamlbuild sources
<Yoric[DT]> Shame on you, you should remember every single line of them by heart :)
LeCamarade has joined #ocaml
<ertai> Yoric[DT]: you've not written enough code then :)
<Yoric[DT]> :)
<ertai> in ocaml_tools.ml the document_ocaml_project function
unragr has joined #ocaml
<ertai> states that only modules in the root odoc files are took in account
<ertai> but my writing a similar function you could give it more deps
<Yoric[DT]> But if I invoke [document_ocaml_project], I'm going to generate .html directly, am I not?
mishok13 has quit [Read error: 60 (Operation timed out)]
unragr has left #ocaml []
<ertai> and ?
<ertai> Yoric[DT]: you don't want that?
<Yoric[DT]> I don't want it yet.
<Yoric[DT]> I want html generation to happen at the end, as usual.
<ertai> Yoric[DT]: don't you confuse .odoc and .odocl
<ertai> Yoric[DT]: or it's me maybe?
<Yoric[DT]> Well, what is [document_ocaml_project] supposed to do exactly?
LeCamarade has quit ["Leaving"]
Camarade_Tux has quit ["Leaving"]
<ertai> it takes an odocl (a text file with modules names inside) and produce a docdir (a directory with .html files for instance)
<ertai> the intermediate step is to compute a bunch of .odoc (kind of .cmo but for ocamldoc) and "link" them.
<Yoric[DT]> Yes, so that's not what I want at that step of the build process.
Associat0r has joined #ocaml
* Yoric[DT] has a prototype.
<Yoric[DT]> Build in progress, let's check if it does any good.
<ertai> one could continue on that point later I'll have to go soon
<Yoric[DT]> ok
<Yoric[DT]> Thanks for the help.
<ertai> Yoric[DT]: had you the same semantics for .odoc and .odocl in your explanation ?
<Yoric[DT]> Yes.
BubbaT has left #ocaml []
<Yoric[DT]> Prototype 2 launched.
* Yoric[DT] will take a long break.
<hcarty> ertai: If you are around - do you have an idea of approximately how long it will take for the camlp4 changes to propagate to the public anonymous CVS?
<hcarty> ertai: And, similarly, which files changed so I know what to watch for?
<ertai> a few hours
<ertai> hcarty: only camlp4/Camlp4Top/Top.ml
middayc has joined #ocaml
Mr_Awesome has quit [Read error: 110 (Connection timed out)]
munga has joined #ocaml
snhmib_ is now known as snhmib
mattam has quit [Remote closed the connection]
<hcarty> ertai: Thanks. Once I get the changes and test I will report back.
Linktim has joined #ocaml
<Yoric[DT]> Well, time for a few days rest (well, real work, but that's about the same).
<Yoric[DT]> Bye.
Yoric[DT] has quit ["Ex-Chat"]
mattam has joined #ocaml
root has joined #ocaml
root is now known as Camarade_Tux
Camarade_Tux has quit ["Leaving"]
snhmib has quit ["Good riddance!"]
snhmib has joined #ocaml
lde has joined #ocaml
root has joined #ocaml
<hcarty> Has anyone here built OCaml CVS (3.11) from godi?
root is now known as Guest7098
<hcarty> labltk isn't building for me, and I'm wondering if there is a simple way to fix it
Guest7098 is now known as Camarade_Tix
Camarade_Tix is now known as Camarade_Tux
Camarade_Tux has quit [Client Quit]
duncanm has joined #ocaml
<duncanm> any F# programmers here?
Jedai has quit [Read error: 110 (Connection timed out)]
duncanm has left #ocaml []
Camarade_Tux has joined #ocaml
mattam has quit [Remote closed the connection]
Jedai has joined #ocaml
Camarade_Tux has quit ["Leaving"]
_zack has quit ["Leaving."]
<hcarty> ertai: A simple test worked here, but several libraries I'm using apparently have trouble with CVS HEAD, or their godi versions do at least. I'm going to try the patch against 3.10.2 and see how that works out.
malc_ has joined #ocaml
GustNG1 has joined #ocaml
Mr_Awesome has joined #ocaml
Snark_ has joined #ocaml
lde has quit [Read error: 113 (No route to host)]
GustNG has quit [Read error: 110 (Connection timed out)]
Linktim_ has joined #ocaml
GustNG has joined #ocaml
Linktim has quit [Read error: 110 (Connection timed out)]
lde has joined #ocaml
lde has quit [Remote closed the connection]
GustNG1 has quit [Read error: 110 (Connection timed out)]
Raevel has joined #ocaml
sporkmonger has quit []
sporkmonger has joined #ocaml
<flux> I wonder what ever happened to ocaml+twt for the new camlp4
Linktim has joined #ocaml
<jonafan> i am intrigued by batteries included
pierre- has quit [Read error: 110 (Connection timed out)]
<flux> jonafan, what especially in it intriques?
seafood has joined #ocaml
<jonafan> unicode for one
<jonafan> you gotta have unicode
<flux> well, camomile existed before batteries..
<jonafan> yeah
<jonafan> but i like the idea of getting all this stuff together
<flux> that's definitely a plus
<flux> I wonder if there's going to be an application to point as the flagship product of batteries ;)
Submarine has joined #ocaml
seafood has quit []
<hcarty> Does anyone here know how to apply an outside patch to a godi package?
<hcarty> There was a mailing list post about this at some point, but I have been unable to find it
malc_ has left #ocaml []
rmns has joined #ocaml
Linktim_ has quit [Read error: 113 (No route to host)]
<hcarty> ertai: The fix for bug #4495 seems to work properly under CVS HEAD and 3.10.2 on my system
<hcarty> camlp4 seems to work well in the toplevel again!
<hcarty> let ertai = ertai + 1
_andre has quit ["catch you later"]
Amorphous has quit [Connection timed out]
hkBst has joined #ocaml
Amorphous has joined #ocaml
jeddhaberstro has quit []
Linktim has quit ["Quitte"]
Snark_ has quit ["Ex-Chat"]
Linktim has joined #ocaml
ofaurax has joined #ocaml
Palace_Chan has joined #ocaml
jlouis has quit ["Leaving"]
GustNG has quit ["Leaving."]
sporkmonger has quit []
seafood has joined #ocaml
rwmjones_ has joined #ocaml
Linktim has quit ["Quitte"]
seafood has quit []
Submarine has quit ["Leaving"]
hkBst has quit [Read error: 104 (Connection reset by peer)]
marmotine has joined #ocaml
seafood has joined #ocaml
seafood has quit [Client Quit]
seafood has joined #ocaml
seafood has quit [Client Quit]
middayc has left #ocaml []
marmotine has quit ["mv marmotine Laurie"]
ofaurax has quit ["Leaving"]
seafood has joined #ocaml
Camarade_Tux has joined #ocaml
seafood has quit []
seafood has joined #ocaml
Camarade_Tux has quit ["Leaving"]
Camarade_Tux has joined #ocaml
seafood has quit []
Camarade_Tux has quit ["Leaving"]
Associat0r has quit [Read error: 104 (Connection reset by peer)]
Associat0r has joined #ocaml
bohanlon` has joined #ocaml
bohanlon has quit [""poking at my machine""]
bohanlon` has quit [Client Quit]
pango has joined #ocaml
bohanlon has joined #ocaml
seafood has joined #ocaml
Associat0r has quit [Read error: 104 (Connection reset by peer)]
seafood has quit [Client Quit]
Associat0r has joined #ocaml
jeddhaberstro has joined #ocaml