Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
greg_dove has quit [Quit: ChatZilla 0.9.88.2 [Firefox 10.0.2/20120215223356]]
ankit9 has quit [Ping timeout: 244 seconds]
ankit9 has joined #ocaml
BiDOrD has joined #ocaml
BiDOrD_ has quit [Ping timeout: 244 seconds]
gnuvince_ has quit [Ping timeout: 244 seconds]
ankit9 has quit [Quit: Leaving]
gnuvince_ has joined #ocaml
Progster has quit [Ping timeout: 260 seconds]
Progster has joined #ocaml
Progster has quit [Excess Flood]
Progster has joined #ocaml
Progster has quit [Excess Flood]
Progster has joined #ocaml
Tobu has quit [Ping timeout: 260 seconds]
Tobu has joined #ocaml
Tobu has quit [Read error: Connection reset by peer]
Tobu has joined #ocaml
eni has joined #ocaml
eni has quit [Ping timeout: 272 seconds]
sepp2k has joined #ocaml
Progster has quit []
eni has joined #ocaml
eni has quit [Ping timeout: 246 seconds]
Yoric1 has joined #ocaml
Yoric1 has quit [Ping timeout: 244 seconds]
<adrien>
o/
eni has joined #ocaml
Yoric has joined #ocaml
eni has quit [Ping timeout: 256 seconds]
cdidd has joined #ocaml
Kakadu has joined #ocaml
Mnabil has joined #ocaml
tane has joined #ocaml
Kakadu has quit [Quit: Konversation terminated!]
Harzilein has joined #ocaml
<Harzilein>
hi
<Harzilein>
i'm new to ocaml and want to extend an existing lwp based program with a readline input: Lwt.join (listener :: (Timer.start netif))
<Harzilein>
can i write [mylistener; listener] :: (Timer.start netif) here?
pangoafk is now known as pango
munga has joined #ocaml
eni has joined #ocaml
ftrvxmtrx has quit [Ping timeout: 260 seconds]
ocp has joined #ocaml
eni has quit [Ping timeout: 240 seconds]
ftrvxmtrx has joined #ocaml
ocp has quit [Ping timeout: 244 seconds]
ocp has joined #ocaml
Kakadu has joined #ocaml
<wmeyer>
Harzilein: (::) is 'cons' operator, cons operator accepts an element and a list and prepends the element to a list. You can't append an element onto the end of the list, [mylistener; listener; Timer.start netif] would the right way.
<pippijn>
wmeyer: actually, that is not 100% accurate
<pippijn>
wmeyer: (::) returns a new list which has that element prepended; the old list is not modified
ocp has quit [Ping timeout: 245 seconds]
<wmeyer>
pippijn: oh yes :-)
<wmeyer>
pippijn: I'm on the immutable assumption all the time
<pippijn>
yes
<pippijn>
that's good :)
<wmeyer>
are you coming to OUD?
<pippijn>
I'm in shanghai now
<pippijn>
I don't know OUD
<Harzilein>
i did mylistener :: listener :: (Timer.start netif) in the end
<Harzilein>
the next problem i have with the existing code is that it uses an OCamlMakefile and i'd like to have multiple targets. is there something that translates simple OCamlMakefiles to OMakefiles?
<wmeyer>
pippijn: i was in shangai but only through the airport so that does not count. Very busy place.
<pippijn>
hehe
<pippijn>
I was in guangzhou in the same way
<wmeyer>
yes, i was in gauangzhou too (in the same way) :)
<wmeyer>
unfortunately it happened to me that i was dumped into the places where i didn't plan to be
<wmeyer>
was not the airlines fault in case of shanghai, perhaps bad weather
<pippijn>
hmm
<pippijn>
not so nice
<wmeyer>
and once the internal chinese airlines didn't even care that i am in beijing and i really want to get to Chengdu
<wmeyer>
but
<wmeyer>
(China Southern - which are great airlines if you don't connect outside china)
Snark has joined #ocaml
<pippijn>
right
<wmeyer>
Harzilein: not really, I think you'd need to do it by hand, but it should be relatively straightforward as GNU Makefile and OMake is not that different, syntacticaly.
<Harzilein>
wmeyer: yeah, the existing makefile uses ocamldep though, so it's not _that_ straightforward
<Harzilein>
(and it uses a c object)
<wmeyer>
Harzilein: but dependecy file generation should be clearly separated from the rest of the GNU makefile.
<wmeyer>
Harzilein: how big is your project?
<Harzilein>
it's not big
<Harzilein>
i try to extend this: github.com/avsm/ocaml-lwip
ontologiae has joined #ocaml
<wmeyer>
so the only relevant part is Makefile
<wmeyer>
the rest should be done by OMake itself, once you've done that
<Harzilein>
wmeyer: yeah, that was the "simple makefile" part i'm referring to, as i understand the OCamlMakefile part is mostly fixed
<Harzilein>
but i see no way to specify c objects for linking in OCamlProgram
sepp2k1 has joined #ocaml
sepp2k has quit [Ping timeout: 260 seconds]
ftrvxmtrx has quit [Ping timeout: 276 seconds]
eni has joined #ocaml
<wmeyer>
Harzilein: Not much experience with OMake, but I would try to build a static library, using `StaticCLibrary', then specify this library in `OCAML_LIBS'.
<Harzilein>
is it uncommon to use omake with lwt projects?
<Harzilein>
i guess the ocsigen people use oasis?
<wmeyer>
does not matter for you really, as you will just specify it in the ocamlfind libraries
<wmeyer>
yes, most of people try to use oasis as much as possible
<wmeyer>
or ocamlbuild
<wmeyer>
alone
<wmeyer>
but Omake is good, it's just something that also needs to be supported
<wmeyer>
Oasis is more declarative, and perhaps less general purpose tool
ftrvxmtrx has joined #ocaml
eni has quit [Ping timeout: 276 seconds]
<Harzilein>
heh, less general purpose sounds like i'd have an even bigger headache with it ;)
<Harzilein>
i'd like to avoid the StaticCLibrary target as all i want to link with is that lwip-stub.o, not a bunch of object files that form a library
bobzhang has joined #ocaml
ontologiae has quit [Ping timeout: 240 seconds]
osa1 has joined #ocaml
<osa1>
why we have different binding rules for let bindings and lambda bindings? why lambda bindings are not polymorphic? I'm implementing my own language, for now I have ML style let polymorphism in type checker, and I'm wondering what could go wrong if I do same stuff for lambda bindings too.
<osa1>
can anyone give me some pointers on this topic
<thelema>
osa1: bindings that aren't explicitly functions aren't made fully polymorphic because they may not actually be; just eta expand to get full polymorphism
<osa1>
thelema: eta?
<thelema>
instead of `let f = g x`, `let f y = g x y`
<osa1>
thelema: can you give me an example of a problem we could encounter if we can use polymorphic lambda bindings?
osa1 has quit [Quit: Konversation terminated!]
osa1 has joined #ocaml
<thelema>
let f = let r = ref [] in fun x -> r := x :: !r
<osa1>
thelema: sorry I was having a problem with my connection, have you written something for me?
<Harzilein>
<thelema> let f = let r = ref [] in fun x -> r := x :: !r
<thelema>
Harzilein: thanks
bobzhang has quit [Ping timeout: 244 seconds]
hongboz has quit [Ping timeout: 260 seconds]
Kakadu has quit [Quit: Konversation terminated!]
<adrien>
:q
<adrien>
bluh =)
<wmeyer>
adrien: s/bluh/blub/g. morning :)
<wmeyer>
Harzilein: I don't know if that how the OMake works, and it usually does not harm to put a collection of .o files into single .a. I agree, and not do it very often (or at all, when handcrafting Makefiles), but I suppose that's what also Oasis does internally
<wmeyer>
(with the newest trunk version you might have now Object section)
hongboz has joined #ocaml
emmanuelux has quit [Ping timeout: 268 seconds]
henux has quit [Ping timeout: 268 seconds]
osa1 has quit [Ping timeout: 276 seconds]
Yoric has quit [Ping timeout: 260 seconds]
<adrien>
morning wmeyer :P
henux has joined #ocaml
henux is now known as Guest87138
<wmeyer>
adrien: goin' to OUD, is there any registree information, to lookup whos up to
<wmeyer>
adrien: s/,/\?/g
Yoric has joined #ocaml
Yoric has quit [Ping timeout: 246 seconds]
Tobu has quit [Remote host closed the connection]
hongboz has quit [Remote host closed the connection]
Tobu has joined #ocaml
Yoric has joined #ocaml
Yoric has quit [Ping timeout: 246 seconds]
ontologiae has joined #ocaml
Mnabil has quit [Ping timeout: 260 seconds]
Guest87138 is now known as henux
henux has quit [Changing host]
henux has joined #ocaml
ontologiae has quit [Ping timeout: 245 seconds]
gnuvince_ has quit [Ping timeout: 276 seconds]
henux is now known as elcasey
elcasey is now known as henux
iago has joined #ocaml
ocp has joined #ocaml
psaxl has joined #ocaml
slorbast has joined #ocaml
ottbot has joined #ocaml
psaxl has quit [Client Quit]
sepp2k1 has quit [Read error: Connection reset by peer]
yezariaely has quit [Ping timeout: 246 seconds]
iago has quit [Quit: Leaving]
slorbast has quit [Ping timeout: 272 seconds]
eni has joined #ocaml
yezariaely has joined #ocaml
Progster has joined #ocaml
oriba has joined #ocaml
mattrepl has joined #ocaml
osa1 has joined #ocaml
mattrepl has quit [Quit: mattrepl]
beginner_ has joined #ocaml
<beginner_>
how can i get ocaml 4.0 on a ubuntu machine?
<wmeyer>
beginner_: it depens on your needs
ocp has quit [Ping timeout: 252 seconds]
<beginner_>
could you further explain?
ocp has joined #ocaml
osa1 has quit [Read error: Connection reset by peer]
<wmeyer>
beginner_: AFAIK there is no debian package for 4.0.0 yet.
<wmeyer>
beginner_: At any rate, I would go #1 myself.
<beginner_>
if i setup a server with mainly ocaml code running, what os would you recommend?
<beginner_>
wmeyer: sorry always forget to address the person i speak to in irc
<Qrntz>
I'd say from experience Gentoo's OCaml packages are superior — I've never needed to use a standalone package manager like GODI due the packages always being up-to-date
ocp has left #ocaml []
<Qrntz>
Gentoo as an OS is not for everybody, though
<wmeyer>
beginner_: OCaml runs on any Linux based distro fine, fedora and debian has some nice choice of packages. If you plan to just install something via odb (shipped with ocamlbrew) then any Linux will do. BSD will probably do too. Mac Os X will do with some minor problems (AFAIK). Windows has some fundamental flaws - but I think still would work OK with Cygwin, and with mingw we do have a great installer avaialable on the INRIA we
<wmeyer>
for Visual Studio build, I think you don't want to do this to yourself.
eikke has quit [Ping timeout: 252 seconds]
<wmeyer>
Qrntz: From what you are saying Gentoo and others it is a distro of my dreams. However currently I will not upgrade to it.
eikke has joined #ocaml
psaxl has joined #ocaml
psaxl has quit [Client Quit]
gnuvince_ has joined #ocaml
<beginner_>
wmeyer: on what os do you work with ocaml, and do you use the 4.0 version?
ottbot has quit [Ping timeout: 244 seconds]
<wmeyer>
beginner_: I'm ubuntu, with ocamlbrew, 4.0.0, yes
eni has quit [Ping timeout: 276 seconds]
<beginner_>
wmeyer: i will take a closer look at ocamlbrew
<Qrntz>
wmeyer, take your time :-)
eni has joined #ocaml
Yoric has joined #ocaml
<beginner_>
wmeyer: thanks for the help
beginner_ has quit [Quit: Page closed]
psaxl has joined #ocaml
tane has quit [Quit: Verlassend]
psaxl has quit [Quit: psaxl]
Yoric has quit [Ping timeout: 246 seconds]
TechCel has joined #ocaml
Progster has quit [Ping timeout: 245 seconds]
hongboz has joined #ocaml
<hongboz>
hi, did anyone know that is there any printer for ocaml's parsetree? I mean the output can be compiled again?
pango has quit [Ping timeout: 272 seconds]
pango has joined #ocaml
cdidd has quit [Read error: Connection reset by peer]
eni has quit [Ping timeout: 252 seconds]
<wmeyer>
hongboz: the question if there is a parser
<wmeyer>
hongboz: you meant in the syntax of OCaml
Snark has quit [Quit: Quitte]
ontologiae has joined #ocaml
osa1 has quit [Quit: Konversation terminated!]
Mnabil has joined #ocaml
munga has quit [Quit: Ex-Chat]
Mnabil has quit [Ping timeout: 245 seconds]
TechCel has quit []
emmanuelux has joined #ocaml
hongboz has quit [Read error: Connection reset by peer]