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
sdj has quit [Ping timeout: 276 seconds]
munga has joined #ocaml
sdj has joined #ocaml
sdj has quit [Ping timeout: 264 seconds]
strlen has quit [Ping timeout: 250 seconds]
strlen has joined #ocaml
olauzon has quit [Quit: olauzon]
Edward has quit []
munga has quit [Read error: Operation timed out]
mfp has quit [Ping timeout: 276 seconds]
avsm has quit [Ping timeout: 245 seconds]
avsm has joined #ocaml
Fullma has quit [Ping timeout: 245 seconds]
bzzbzz has quit [Read error: Connection reset by peer]
mfp has joined #ocaml
Fullma has joined #ocaml
Fullma has quit [Read error: Connection reset by peer]
emmanuelux has quit [Read error: Connection reset by peer]
Axsuul has joined #ocaml
<Axsuul> How would I define a type for a ('a * 'a) list
<Axsuul> nm
applicative has joined #ocaml
applicative has quit [Remote host closed the connection]
<Axioplase_> Axsuul: type 'a mylist = Nil | Cons of ('a * 'a)*'a mylist
<thelema> Axioplase_: or type 'a mylist = ('a * 'a) list
boscop has quit [Ping timeout: 245 seconds]
boscop has joined #ocaml
lamawithonel_ has quit [Ping timeout: 264 seconds]
lamawithonel_ has joined #ocaml
lamawithonel has joined #ocaml
lamawithonel_ has quit [Ping timeout: 255 seconds]
joewilliams is now known as joewilliams_away
ulfdoz has joined #ocaml
Yoric has joined #ocaml
rixed has joined #ocaml
rixed has quit [Read error: Operation timed out]
Axsuul has quit [Ping timeout: 250 seconds]
ulfdoz has quit [Ping timeout: 245 seconds]
Yoric has quit [Quit: Yoric]
Snark has joined #ocaml
ikaros has joined #ocaml
munga has joined #ocaml
<gildor> mfp: why did you set "Install: false" for "Document sqlexpr" in ocaml-sqlexpr?
<gildor> mfp: hi
ftrvxmtrx has quit [Quit: Leaving]
<gildor> mfp: packaging ocaml-sqlexpr for debian, with _oasis, 7 minutes (using a new tool called oasis2debian)
<adrien> nice =)
<gildor> adrien: 7 minutes because there are still some bugs (need to build it 3 times before lintian clean)
Tianon has quit [Ping timeout: 255 seconds]
Yoric has joined #ocaml
<adrien> hahaha :-)
* adrien goes back to cross-compiling glib
_andre has joined #ocaml
<adrien> closer to 7 days to get everything right (deps, correct prefix, correct scripts...)
<gildor> cross-compiling has always been a complex matter
<flux> does oasis have any support cross compiling, or is it an unrelated matter?
<gildor> flux: it is not explicit, but there are ways to do it
<gildor> flux: the tool is too young to do this
<gildor> flux: but one day, maybe
<f[x]> btw, gildor, I've seen you packaged deriving too, that's cool
<f[x]> looking at ITP you used code.google.com sources?
<gildor> (the main problem is with script that get compiled and used in the build process, but this is something oasis can detect and provide solution for)
<adrien> gildor: btw, are you (cross-)compiling C libraries for windows too or only taking care of ocaml libs?
<gildor> f[x]: we don't yet have 3.12 support in Debian, I will switch to jaked deriving ASA we have 3.12 in Debian
<gildor> adrien: you mean for ocaml-installer ?
* f[x] humbly points at repo.or.cz/w/deriving.git which contains some bugfixes and also supports ocamlbuild
<adrien> gildor: yeah, and for the msvc "part" as a whole
<f[x]> but no 3.12 support yet
<gildor> f[x]: great, I just thought deriving was missing META and pa_deriving, while packaging it
ManateeLazyCat has joined #ocaml
* ManateeLazyCat pasted "What's this mean in Ocaml?" at http://paste2.org/get/1130891
<ManateeLazyCat> Thanks
<gildor> f[x]: can you reach an agreement with jaked and Jeremy Yallop to have a single deriving distribution, with pa_syntax, ocamlbuild and 3.12 support ?
<f[x]> probably I should communicate to jaked and yallop and have everything merged together (on forge)
<gildor> f[x]: even on google code, if they prefer (but the forge is made a place of consensus)
<f[x]> ok, I'll try
<gildor> adrien: I was thinking to use http://sourceforge.net/projects/gnuwin32/
<gildor> the forge is made -> the forge is maybe
<adrien> gnuwin32 has a number of functions that behave like ocaml's Unix.fork on windows
<mfp> gildor: no particular reason I can remember. What is the installation path, /usr/local/share/doc/... ?
<adrien> actually, they don't even fail loudly, they fail silently, it has a number of shortcomings
munga has quit [Quit: Ex-Chat]
<mfp> neat @ oasis2debian
<adrien> ManateeLazyCat: "uniq" (as in "man uniq") afaict
<gildor> ManateeLazyCat: these are two functions that remove duplicates from list
<adrien> gildor: well, or yypkg's package, or opensuse's which currently has many packages of high quality
<gildor> bar keeps order while foo don't
<gildor> adrien: good to know
<gildor> I know the Yellow Yeti ;-)
<adrien> ;-)
<gildor> but ocaml-installer will focus on providing the bare minimum (ocaml + findlib + flexdll) for MSVC
<adrien> ok, currently I'm not making ocaml packages at all ;-)
<gildor> later, we will think of additional package and I will have a look on cooperation with yypkg, for example
<gildor> mfp: you can customize the install path, but I think this is the default one
<mfp> gildor: is it possible to build a syntax extension contained in a subpackage and use it before installing for the rest of the code? IIRC there was an example that did precisely that, but I'm having problems getting it to work.
<mfp> the _oasis is http://pastebin.com/rtJzEJhy against the code from https://github.com/mfp/ocamlmq
<gildor> mfp: this is planned for 0.3.0, for now it is a bit hackish
<mfp> OK, will wait then :)
<gildor> mfp: you have to use _build/src/pa_whatever.cmo directly + code deps by hand
<mfp> with myocamlbuild.ml and stuff? I'm always afraid to touch it :)
<gildor> mfp: in 0.3.0, you'll be able to use Module: Foo (syntax: otherlib.syntax)
<gildor> mfp: indeed, right now, you have to patch myocamlbuild.ml
<gildor> (for 0.3.0 with otherlib.syntax defined in a Library "pa_whatever" ... FindlibName: otherlib.syntax ...)
<gildor> mfp: BTW, I just finish the package ocaml-sqlexpr for Debian
<mfp> :-)
<gildor> mfp: I use this kind of syntax extension in ocaml-data-notation, but through a script
<mfp> I'm not in a hurry to push ocamlmq's _oasis since I'm shipping with a semi-auto-generated build.sh for those who lack omake
<gildor> mfp: no pb,
<gildor> mfp: but why do you want to prevent omake build dependencies ?
<gildor> mfp: I mean, achieving 0 build dependencies is quite hard, and omake is quite available
<mfp> oh, I myself don't have anything against omake, in fact I intend to keep it because it makes it very easy to integrate (sub)projects
<mfp> but oasis would give me the install + "0"-dep build nearly for free
<gildor> maybe, trying to build this build.sh is maybe too much work...
<gildor> mfp: indeed ;-), this is made for
<gildor> mfp: (and the oasis bundle subcommand will even help you to embed external dependencies)
<mfp> I create build.sh just by filtering omake's output & retaining the commands it executes
<flux> :)
ManateeLazyCat has left #ocaml []
<mfp> gildor: which ocaml-sqlexpr version did you package? Do you need me to tag the latest master?
<gildor> mfp: 2.3 from the forge
<mfp> give me a few minutes, I'll tag 0.3.0 & release it
<gildor> mfp: no need, right now
<gildor> mfp: it will take weeks before sqlexpr hit Debian unstable
<mfp> ok, will do throughout the day then
<gildor> mfp: having a first package is a way to go throught the NEW queue (i.e. the queue were new Debian packages are waiting)
<gildor> mfp: ^^^
<mfp> I see... you've packaged a lot of stuff over the last few weeks(!)
<thomasga> gildor: is it possible to use oasis with a custom myocamlbuild.ml ?
<gildor> thomasga: yes
<gildor> thomasga: either keep the generated stuff between (* OASIS_START/STOP *) or just don't have OASIS_START/STOP section
<gildor> mfp: Debian was too much behind GODI in term of packages ;-)
<gildor> thomasga: target will however remains the same, e.g. setup.ml will still run "ocamlbuild toto.cma toto.cmxa"
<thomasga> cool
<thomasga> so need to look at oasis this week then :-)
<gildor> thomasga: don't hesitate to ask for help
<gildor> thomasga: the tool is far from perfect, but all suggestions to improve it are very welcome
<thomasga> thks, I will let you know if I have some problems
Tianon has joined #ocaml
Tianon has quit [Changing host]
Tianon has joined #ocaml
seafood has joined #ocaml
ftrvxmtrx has joined #ocaml
gnuvince_ has joined #ocaml
sdj has joined #ocaml
bobzhangatthu has joined #ocaml
init1 has joined #ocaml
rixed_ has quit [Ping timeout: 265 seconds]
rixed has joined #ocaml
bobzhangatthu has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
rixed has quit [Ping timeout: 260 seconds]
init1 has quit [Read error: Connection reset by peer]
init1 has joined #ocaml
rixed has joined #ocaml
init1 has quit [Quit: Quitte]
seafood has quit [Ping timeout: 255 seconds]
Amorphous has quit [Ping timeout: 272 seconds]
Amorphous has joined #ocaml
mehdid_ is now known as mehdid
bzzbzz has joined #ocaml
<ski> flux,hcarty,(palomer) : the corresponding Haskell of let apply (f : 'a. 'a -> unit) x = ..x.. works (with extensions, in e.g. GHC and Hugs)
<ski> (so i'd be surprised if it couldn't be made to work in OCaml, as well)
fraggle_ has quit [Ping timeout: 272 seconds]
fraggle_ has joined #ocaml
sdj has quit [Ping timeout: 240 seconds]
sdj has joined #ocaml
th5 has joined #ocaml
sdj has quit [Read error: Connection reset by peer]
sdj has joined #ocaml
sdj has quit [Ping timeout: 260 seconds]
sdj has joined #ocaml
sdj has quit [Ping timeout: 272 seconds]
ski has quit [Read error: Connection reset by peer]
ski has joined #ocaml
Yoric has quit [Read error: Connection reset by peer]
Yoric has joined #ocaml
joewilliams_away is now known as joewilliams
th5 has quit [Ping timeout: 272 seconds]
init1 has joined #ocaml
mcclurmc has quit [Quit: Leaving]
mikemc has quit [Remote host closed the connection]
mikemc has joined #ocaml
Anarchos has joined #ocaml
Yoric has quit [Quit: Yoric]
rixed_ has joined #ocaml
Modius_ has joined #ocaml
Modius has quit [Ping timeout: 264 seconds]
Snark has quit [Quit: Ex-Chat]
Anarchos has quit [Ping timeout: 240 seconds]
ulfdoz has joined #ocaml
Modius_ has quit [Quit: "Object-oriented design" is an oxymoron]
ulfdoz_ has joined #ocaml
ulfdoz has quit [Ping timeout: 265 seconds]
ulfdoz_ is now known as ulfdoz
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
dug__ has quit [Quit: Lost terminal]
_andre has quit [Quit: *puff*]
ftrvxmtrx has quit [Quit: Leaving]
bzzbzz has quit [Quit: leaving]
drunK has joined #ocaml
ftrvxmtrx has joined #ocaml
Edward has joined #ocaml
rixed_ has quit [Ping timeout: 260 seconds]
ski has quit [Ping timeout: 240 seconds]
boscop has quit [Read error: Connection reset by peer]
boscop has joined #ocaml
boscop has quit [Read error: Connection reset by peer]
boscop has joined #ocaml
bzzbzz has joined #ocaml
init1 has quit [Quit: Quitte]
Modius has joined #ocaml
Modius_ has joined #ocaml
seafood has joined #ocaml
seafood has quit [Quit: seafood]
Fullma has joined #ocaml
ulfdoz has quit [Ping timeout: 265 seconds]
rn114_ has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]
Yoric has joined #ocaml
boscop has quit [Read error: Connection reset by peer]
boscop has joined #ocaml
ftrvxmtrx has quit [Ping timeout: 276 seconds]
Yoric has quit [Ping timeout: 272 seconds]
Yoric has joined #ocaml