flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | 3.11.0 out now! Get yours from http://caml.inria.fr/ocaml/release.html
ulfdoz_ has quit [Read error: 60 (Operation timed out)]
monadic_kid has joined #ocaml
seafood_ has joined #ocaml
seafood has quit [Connection timed out]
jeddhaberstro has joined #ocaml
^authentic has joined #ocaml
authentic has quit [Read error: 110 (Connection timed out)]
^authentic is now known as authentic
Amorphous has quit [Read error: 110 (Connection timed out)]
Camarade_Tux has joined #ocaml
Amorphous has joined #ocaml
monadic_kid has quit ["Leaving"]
Associat0r has joined #ocaml
Camarade_Tux has quit ["Leaving"]
Ched has quit [Read error: 101 (Network is unreachable)]
Ched has joined #ocaml
Associat0r has quit []
Associat0r has joined #ocaml
rhar has quit [Read error: 110 (Connection timed out)]
jamii has joined #ocaml
jeddhaberstro has quit []
rhar has joined #ocaml
Associat0r has quit []
jzmer has joined #ocaml
<jzmer> anybody knows when cmake/scons/autotools will support ocaml so that we wont need a static makefile?
<m3ga> jzmer: see ocamlforge. there is someone there doing some ocaml autotools stuff
<jzmer> m3ga: thanks got some nice results
<m3ga> no prob
vithos has joined #ocaml
thelema has quit [Read error: 104 (Connection reset by peer)]
m3ga has quit ["disappearing into the sunset"]
sporkmonger has joined #ocaml
_zack has joined #ocaml
lutter has quit ["Leaving."]
dabd has quit [Read error: 113 (No route to host)]
komar_ has quit [Remote closed the connection]
komar_ has joined #ocaml
bindreturn has quit ["Leaving"]
rwmjones has joined #ocaml
thelema has joined #ocaml
Ched has quit [Remote closed the connection]
rhar has quit ["Leaving"]
s4tan has joined #ocaml
Yoric[DT] has joined #ocaml
<tsuyoshi> are there any good function composition libraries
Yoric[DT] has quit ["Ex-Chat"]
<tsuyoshi> hrm apparently not
<tsuyoshi> there is only prelude
<tsuyoshi> which seems to have a whole bunch of stuff I don't want
mishok13 has quit [Read error: 110 (Connection timed out)]
jzmer has quit ["Lost terminal"]
mishok13 has joined #ocaml
vithos has quit [Read error: 110 (Connection timed out)]
Alpounet has joined #ocaml
hkBst has joined #ocaml
<Alpounet> hi
<flux> ocamlspotter feels nice
<flux> how do I tell it to search from other directories too for the .spot files?
th5 has joined #ocaml
Camarade_Tux has joined #ocaml
thelema has quit [Read error: 110 (Connection timed out)]
seafood_ has quit []
ulfdoz has joined #ocaml
<flux> does a "developer snaphot" or a cvs/svn/darcs/git/hg-repository exist for it?
<Alpounet> Don't know :-"
<flux> it apparently has some magic to find the sources, but I don't know what..
<flux> it's not working for me :)
<flux> (I copied the spot/spit-files of a module I use to the same place its cmi/cma-files are, the ocamlfind install target)
Camarade_Tux has quit ["Leaving"]
Camarade_Tux has joined #ocaml
<flux> well, even as it is, I expect it to be god-sent for browsing the sources
<flux> now if not all the functions I called weren't defined in another directory..
<flux> apparently no one else has the same problem, as "Error spot file not found" is not found from google :)
<Alpounet> well
<Alpounet> you're exceptional
<Alpounet> :-)
<Alpounet> maybe you'd like to email the author of ocamlspotter
<Alpounet> or isn't there an ML ?
<Alpounet> a ML*
seafood has joined #ocaml
<mihamina> Ocaml is a ML
* mihamina is kidding
ulfdoz_ has joined #ocaml
angerman has joined #ocaml
<Alpounet> mihamina, nice.
ulfdoz has quit [Read error: 145 (Connection timed out)]
<Alpounet> hmm
gildor has quit [wolfe.freenode.net irc.freenode.net]
sbok has quit [wolfe.freenode.net irc.freenode.net]
rumbleca has quit [wolfe.freenode.net irc.freenode.net]
munga has quit [wolfe.freenode.net irc.freenode.net]
mfp has quit [wolfe.freenode.net irc.freenode.net]
prigaux has quit [wolfe.freenode.net irc.freenode.net]
rumbleca has joined #ocaml
mfp has joined #ocaml
munga has joined #ocaml
gildor has joined #ocaml
sbok has joined #ocaml
prigaux has joined #ocaml
sporkmonger has quit []
petchema_ has quit [Connection timed out]
thelema has joined #ocaml
petchema_ has joined #ocaml
munga_ has quit [Remote closed the connection]
_zack has quit ["Leaving."]
<Alpounet> hcarty, palomer, kaustuv, gildor ?
<gildor> Alpounet: scp faq.html forge.ocamlcore.org:/home/groups/newhope/htdocs/
<gildor> ?
<Alpounet> hmm
<gildor> you can even put it into git doc/
<gildor> or website/
<Alpounet> I'll do it a bit later
<Alpounet> thanks :)
<Alpounet> (I haven't the same key under this system and my Debian one...)
<gildor> which mail to send upstream ?
<Alpounet> (and of course my ocamlcore forge key is Debian's)
<Alpounet> hmm ?
<gildor> we can at least define a template for presenting new hope project
<gildor> and give some pointers to more doc (like faq.html)
<Alpounet> yeah, it's a draft, it needs improvements
<gildor> Alpounet: you can have multiple key into your gforge account
<Alpounet> oh fine.
<Alpounet> gildor, updated (at mestan.fr, still) with a minimal introduction to the project.
<th5> flux: were you trying out ocamlspotter this morning? i logged on right when you were talking about spit/spot files...
<flux> th5, yes
<th5> what were you having problems with?
<flux> it doesn't appear to find my sources from other directories
<th5> sources you compiled with it?
<flux> well, the ones that seemed relevant to me
<flux> also just now I noticed it doesn't appear to find a reference to a module that only has an .ml-file, no .mli
<flux> agh, I actually might know why that doesn't work
<th5> well i know that i recompiled coq with it - a lot of files in there only have .ml definitions
<flux> hm, no that wasn't it - I compile on a remote host and have the trees visible via nfs
<flux> but it could be it is still confused
<th5> ah
<th5> i hate when the magic stops working
<flux> indeed, mounting the nfs tree to the same location helped
<flux> great :)
<th5> thats awesome you started using it - no one i know has touched it - i can't really live without it
<th5> plus it works in a lot of files where the regular annotations get confused
<Alpounet> where is <$> defined ?
<Alpounet> which module ?
<Alpounet> err
<Alpounet> wrong channel
ulfdoz has joined #ocaml
ulfdoz_ has quit [Read error: 60 (Operation timed out)]
jonafan_ has joined #ocaml
ulfdoz_ has joined #ocaml
jonafan has quit [Read error: 110 (Connection timed out)]
jonafan has joined #ocaml
ulfdoz has quit [Read error: 110 (Connection timed out)]
det- has quit [Read error: 104 (Connection reset by peer)]
det has joined #ocaml
jonafan_ has quit [Read error: 110 (Connection timed out)]
LeCamarade has joined #ocaml
jonafan_ has joined #ocaml
jonafan has quit [Read error: 145 (Connection timed out)]
komar_ has quit [Remote closed the connection]
komar_ has joined #ocaml
Smerdyakov has joined #ocaml
Smerdyakov has quit ["Leaving"]
itewsh has joined #ocaml
ulfdoz_ has quit [wolfe.freenode.net irc.freenode.net]
rwmjones has quit [wolfe.freenode.net irc.freenode.net]
mattam has quit [wolfe.freenode.net irc.freenode.net]
haelix_ has quit [wolfe.freenode.net irc.freenode.net]
ulfdoz_ has joined #ocaml
rwmjones has joined #ocaml
haelix_ has joined #ocaml
mattam has joined #ocaml
komar_ has quit [Remote closed the connection]
komar_ has joined #ocaml
seafood has quit []
Camarade_Tux has quit ["Leaving"]
Alpounet has quit [Remote closed the connection]
Camarade_Tux has joined #ocaml
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
itewsh has quit [Read error: 60 (Operation timed out)]
itewsh has joined #ocaml
_zack has joined #ocaml
th5 has quit []
itewsh has quit [Connection timed out]
itewsh has joined #ocaml
_zack has quit [Remote closed the connection]
_zack has joined #ocaml
itewsh has quit [Read error: 60 (Operation timed out)]
itewsh has joined #ocaml
LeCamarade has quit ["Gone."]
kaustuv_ has joined #ocaml
_zack has quit [Read error: 110 (Connection timed out)]
_zack has joined #ocaml
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
willb has joined #ocaml
willb1 has joined #ocaml
s4tan has quit []
Elrood has joined #ocaml
robocop has joined #ocaml
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
willb has quit [Remote closed the connection]
Alpounet has joined #ocaml
itewsh has quit [Read error: 60 (Operation timed out)]
itewsh has joined #ocaml
Ched has joined #ocaml
<flux> alpounet, btw, how do you think the version numbering with the nh-adopted version would go? would the name or version of the package (ie: ocaml-foobar-nh-1.0 or ocaml-foobar-1.0nh) be used to indicate something?
<flux> of course, if the author has been contacted succesfully , there should be no problem continuing the same version numbering scheme..
willb has joined #ocaml
vithos has joined #ocaml
sporkmonger has joined #ocaml
jeanbon has joined #ocaml
willb has quit [Read error: 113 (No route to host)]
<gildor> Alpounet: great, thanks
Associat0r has joined #ocaml
jonafan_ is now known as jonafan
<Alpounet> flux, I think we should keep the version numbering scheme.
<Alpounet> gildor, thank you :-)
itewsh has quit [Connection timed out]
itewsh has joined #ocaml
rjack has joined #ocaml
_zack has quit ["Leaving."]
monadic_kid has joined #ocaml
bombshelter13_ has joined #ocaml
<hcarty> Alpounet: Thank you for putting the FAQ up
<hcarty> Alpounet: And I agree that maintaining the original version scheme is best, unless there is some specific reason to do otherwise
<hcarty> kaustuv: One of the Cairo folks migrated the Cairo-OCaml CVS repository to git - http://cgit.freedesktop.org/~joonas/cairo-ocaml
<hcarty> kaustuv: I am still waiting for an account to be created for something other than read-only access, and hopefully a stand-alone project for the OCaml bindings.
<hcarty> kaustuv: git://anongit.freedesktop.org/~joonas/cairo-ocaml
<hcarty> kaustuv: If you want to clone it
itewsh has quit [Read error: 60 (Operation timed out)]
itewsh has joined #ocaml
ulfdoz_ is now known as ulfdoz
ozzloy has quit [Read error: 60 (Operation timed out)]
<Alpounet> fine hcarty, a good contact with their devteam is a good thing.
<Alpounet> hcarty, no problem for the FAQ. Any comment welcome :)
sOpen has quit [Read error: 110 (Connection timed out)]
ozzloy has joined #ocaml
itewsh has quit [Connection timed out]
itewsh has joined #ocaml
sOpen has joined #ocaml
itewsh has quit [Connection timed out]
itewsh has joined #ocaml
<robocop> hello
<robocop> I've got a little question : if've got a type like this : type t = int*int
<monadic_kid> ok
<robocop> How I can create a variable with type t ?
<monadic_kid> let x = (1,2)
<monadic_kid> or
<monadic_kid> let (x, y) = some_tuple
<robocop> (1,2) is typed as int*int
<robocop> not as t
<monadic_kid> type t = int * int is just a a type alias
<robocop> It will never be a problem ?
<monadic_kid> depends on what you're trying to achieve
<robocop> exemple :
<robocop> type test = int * int;;
<robocop> type ok = OK | PASOK;;
<robocop> type e = ok * test;;
<robocop> let t = (OK, (2,4));;
<robocop> is not typing as e
<robocop> but if you say that it's not a problem.
<robocop> perhaps you right.
<monadic_kid> except for the type ok all the other types are synonyms
<robocop> and what it's the soty that type a = 'a * int * int is more spead than type a = 'a * (int * int) ?
<robocop> *speed
<robocop> (or the contrary)
<monadic_kid> soty?
<robocop> *story
ulfdoz_ has joined #ocaml
robocop has left #ocaml []
<Camarade_Tux> with 'a*(int*int), you allocate one additional tuple
<monadic_kid> he/she is gone
<Camarade_Tux> oh right ><
<Camarade_Tux> I think my brain is seriously underclocked today
<mrvn> On the other hand if you have many 'a that share a (int*int) then that can save ram.
ulfdoz has quit [Connection timed out]
sOpen has quit [Read error: 110 (Connection timed out)]
sOpen has joined #ocaml
ulfdoz_ is now known as ulfdoz
komar_ has quit [Read error: 54 (Connection reset by peer)]
Ariens_Hyperion has joined #ocaml
monadic_kid is now known as applicative_kid
angerman has quit []
jamii has quit [Read error: 110 (Connection timed out)]
sOpen has quit [Read error: 110 (Connection timed out)]
jeanbon has quit [Read error: 110 (Connection timed out)]
xerxes_ has joined #ocaml
hkBst has quit [Read error: 104 (Connection reset by peer)]
seafood has joined #ocaml
itewsh has quit [Connection timed out]
itewsh has joined #ocaml
bombshelter13_ has quit []
bombshelter13_ has joined #ocaml
sOpen has joined #ocaml
<kaustuv_> hcarty: thanks
itewsh has quit [Connection timed out]
rjack has quit ["leaving"]
itewsh has joined #ocaml
Elrood has quit ["When two people dream the same dream, it ceases to be an illusion. KVIrc 3.4.2 Shiny http://www.kvirc.net"]
bombshelter13_ has quit []
itewsh has quit [Remote closed the connection]
seafood_ has joined #ocaml
willb1 has quit [Read error: 110 (Connection timed out)]
seafood__ has joined #ocaml
seafood has quit [Read error: 104 (Connection reset by peer)]
ulfdoz has quit [Connection timed out]
seafood_ has quit [Read error: 145 (Connection timed out)]
Camarade_Tux has quit [Read error: 60 (Operation timed out)]
Ariens_Hyperion has quit []
vithos has quit [Read error: 110 (Connection timed out)]
applicative_kid has quit ["Leaving"]
vithos has joined #ocaml