gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.1 http://bit.ly/nNVIVH
Associat0r has quit [Quit: Associat0r]
lopex has quit []
hcarty__ has quit [Read error: Connection reset by peer]
hcarty__ has joined #ocaml
avsm has joined #ocaml
dnolen has joined #ocaml
george_z0rwell has joined #ocaml
flux has quit [Read error: Connection reset by peer]
flx_ has joined #ocaml
flx_ is now known as flux
fabjan has quit [Ping timeout: 260 seconds]
fabjan has joined #ocaml
olasd has quit [Ping timeout: 260 seconds]
lamawithonel has joined #ocaml
Reaganomicon has quit [Ping timeout: 260 seconds]
lamawithonel__ has quit [Ping timeout: 260 seconds]
olasd has joined #ocaml
hcarty__ has quit [Quit: Bye]
avsm has quit [Read error: Connection reset by peer]
avsm has joined #ocaml
wtetzner has joined #ocaml
thomasga has joined #ocaml
dnolen has quit [Quit: dnolen]
everyonemines has quit [Read error: Connection reset by peer]
joewilliams is now known as joewilliams_away
avsm has quit [Quit: Leaving.]
thomasga has quit [Quit: Leaving.]
dnolen has joined #ocaml
emmanuelux has quit [Ping timeout: 260 seconds]
dnolen_ has joined #ocaml
Tianon has quit [*.net *.split]
_habnabit has quit [*.net *.split]
bitbckt has quit [*.net *.split]
fabjan has quit [*.net *.split]
sgnb` has quit [*.net *.split]
Tobu has quit [*.net *.split]
jlouis has quit [*.net *.split]
rossberg has quit [*.net *.split]
raphael-1 has quit [*.net *.split]
jonathandav has quit [*.net *.split]
Asmadeus has quit [*.net *.split]
dcolish has quit [*.net *.split]
mcclurmc has quit [*.net *.split]
milosn has quit [*.net *.split]
fraggle_ has quit [*.net *.split]
brendan has quit [*.net *.split]
Pepe_ has quit [*.net *.split]
bobry has quit [*.net *.split]
malouin has quit [*.net *.split]
rby has quit [*.net *.split]
chambart has quit [*.net *.split]
haelix has quit [*.net *.split]
dnolen has quit [*.net *.split]
diml has quit [*.net *.split]
zmoazeni_ has quit [*.net *.split]
Dodek has quit [*.net *.split]
ttblrs has quit [*.net *.split]
svenl has quit [*.net *.split]
rwmjones has quit [*.net *.split]
mbac has quit [*.net *.split]
f[x] has quit [*.net *.split]
hto_ has quit [*.net *.split]
adrien_ has quit [*.net *.split]
schme has quit [*.net *.split]
nimred has quit [*.net *.split]
zorun has quit [*.net *.split]
thelema has quit [*.net *.split]
hcarty has quit [*.net *.split]
NaCl has quit [*.net *.split]
TaXules has quit [*.net *.split]
bacam has quit [*.net *.split]
joewilliams_away has quit [*.net *.split]
deavid has quit [*.net *.split]
flux has quit [*.net *.split]
arubin has quit [*.net *.split]
alpounet has quit [*.net *.split]
asmanur has quit [*.net *.split]
yroeht has quit [*.net *.split]
foocraft has quit [*.net *.split]
explodus has quit [*.net *.split]
patronus_ has quit [*.net *.split]
hnrgrgr has quit [*.net *.split]
zzz_ has quit [*.net *.split]
vram0 has quit [*.net *.split]
mejalx has quit [*.net *.split]
wishi has quit [*.net *.split]
emias has quit [*.net *.split]
wtetzner has quit [*.net *.split]
olasd has quit [*.net *.split]
Amorphous has quit [*.net *.split]
noj has quit [*.net *.split]
junsuijin has quit [*.net *.split]
ankit9 has quit [*.net *.split]
caligula has quit [*.net *.split]
mfp has quit [*.net *.split]
snarkyboojum has quit [*.net *.split]
mehdid has quit [*.net *.split]
drhodes has quit [*.net *.split]
gildor has quit [*.net *.split]
dnolen_ is now known as dnolen
dnolen has quit [Quit: dnolen]
quackv2 has left #ocaml []
ulfdoz has joined #ocaml
ski has quit [Ping timeout: 260 seconds]
ski has joined #ocaml
struktured has quit [Ping timeout: 258 seconds]
ulfdoz has quit [Ping timeout: 260 seconds]
struktured has joined #ocaml
DimitryKakadu has joined #ocaml
<DimitryKakadu> Hallo! I have a project that which generates many C++ and ocaml source files. Second phase of compilation is to compile generrated source files.
<DimitryKakadu> Is it a good choice to use oasis as a build-system?
flux has joined #ocaml
alpounet has joined #ocaml
asmanur has joined #ocaml
yroeht has joined #ocaml
foocraft has joined #ocaml
explodus has joined #ocaml
patronus_ has joined #ocaml
hnrgrgr has joined #ocaml
zzz_ has joined #ocaml
vram0 has joined #ocaml
mejalx has joined #ocaml
wishi has joined #ocaml
emias has joined #ocaml
avsm has joined #ocaml
wtetzner has joined #ocaml
olasd has joined #ocaml
Amorphous has joined #ocaml
noj has joined #ocaml
ankit9 has joined #ocaml
caligula has joined #ocaml
drhodes has joined #ocaml
mfp has joined #ocaml
snarkyboojum has joined #ocaml
mehdid has joined #ocaml
gildor has joined #ocaml
thomasga has joined #ocaml
ttamttam has joined #ocaml
Dodek has joined #ocaml
diml has joined #ocaml
zmoazeni_ has joined #ocaml
ttblrs has joined #ocaml
svenl has joined #ocaml
rwmjones has joined #ocaml
mbac has joined #ocaml
f[x] has joined #ocaml
fabjan has joined #ocaml
sgnb has joined #ocaml
Tobu has joined #ocaml
jlouis has joined #ocaml
rossberg has joined #ocaml
hto_ has joined #ocaml
adrien_ has joined #ocaml
schme has joined #ocaml
nimred has joined #ocaml
hcarty has joined #ocaml
NaCl has joined #ocaml
TaXules has joined #ocaml
bacam has joined #ocaml
joewilliams_away has joined #ocaml
deavid has joined #ocaml
Tianon has joined #ocaml
_habnabit has joined #ocaml
bitbckt has joined #ocaml
rixed has joined #ocaml
thelema has joined #ocaml
raphael-1 has joined #ocaml
jonathandav has joined #ocaml
Asmadeus has joined #ocaml
dcolish has joined #ocaml
mcclurmc has joined #ocaml
milosn has joined #ocaml
fraggle_ has joined #ocaml
brendan has joined #ocaml
Pepe_ has joined #ocaml
bobry has joined #ocaml
malouin has joined #ocaml
rby has joined #ocaml
chambart has joined #ocaml
haelix has joined #ocaml
<DimitryKakadu> Hallo! I have a project that which generates many C++ and ocaml source files. Second phase of compilation is to compile generrated source files. Is it a good choice to use oasis as a build-system?
<f[x]> no, compiling generated code is not supported oasis/ocamlbuild and so it iwll be painful anyway - with custom rules or scripts
ikaros has joined #ocaml
<DimitryKakadu> So, is better to created hand-made script in bash or ocaml?
<DimitryKakadu> f[x]: ?
<raphael-1> if you know ocamlbuild, you can do a myocamlbuild.ml, but if you don't you'll probably get things working sooner with a Makefile
<f[x]> I usually put code generation step in makefile and the use ocamlbuild for the second stage
raphael-1 is now known as raphael-p
<DimitryKakadu> ok
<f[x]> one particular thing that I find missing for convenient two-stage building is http://caml.inria.fr/mantis/view.php?id=5285
larhat has joined #ocaml
<adrien_> I generate bindings code and compile it with ocamlbuild actually but it's really in two different steps
adrien_ is now known as adrien
DimitryKakadu has quit [Remote host closed the connection]
DimitryKakadu has joined #ocaml
Snark_ has joined #ocaml
Snark_ is now known as Snark
everyonemines has joined #ocaml
thomasga has quit [Quit: Leaving.]
lopex has joined #ocaml
ikaros has quit [Quit: Ex-Chat]
ttamttam has quit [Read error: Operation timed out]
_andre has joined #ocaml
everyonemines has quit [Quit: Leaving.]
thomasga has joined #ocaml
qrntz has joined #ocaml
qrntz is now known as Qrntzz
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
ttamttam has joined #ocaml
metasyntax|work has quit [Quit: WeeChat [quit]]
ikaros has joined #ocaml
zorun has joined #ocaml
Associat0r has joined #ocaml
Associat0r has quit [Changing host]
Associat0r has joined #ocaml
metasyntax|work has joined #ocaml
<DimitryKakadu> Man, what is the simpliest way to create a file in filesystem?
<thelema> DimitryKakadu: touch?
<DimitryKakadu> thelema: from OCaml, not from bash
<thelema> close_out (open_out "file")
<DimitryKakadu> ok, thanks
<metasyntax|work> If there's a compile problem with Subversion in /version/3.12 is that worthy of a bug report? The error is "Unbound module Camlp4_import." I didn't know if it was kosher to pester them about it.
<thelema> metasyntax|work: probably, use mantis.
<metasyntax|work> thelema: Will do, thanks.
eb4890 has joined #ocaml
<adrien> I wish gcaml was merged ='(
<adrien> hmmm
<adrien> right, gcaml is from Jun Furuse
<flux> thelema, it's nice in that it doesn't add any new type annotations
<thelema> gcaml... maybe not so much. I'm not sure that the new patch can handle recursive overloading, which would be important to me.
lopex has quit []
<flux> but I feel in practice the lack of the second part it mentions might be a big lacking feature
<adrien> thelema: well, it would require some work but gcaml has been available for several years now
<thelema> flux: which second part?
<flux> thelema, the one overloading 'one'
jamii has joined #ocaml
<thelema> flux: ok, yes. it might be a big lack. But it might be worth adding later if the limited extent is found useful.
<thelema> adrien: I wonder how much resolution of overloading is done at runtime in gcaml
<thelema> I imagine using this kind of overloading would result in printing a list of pairs in batteries to look like: print print print stdout [1,2]
<thelema> although maybe this overloading isn't able to match polymorphic functions to a specific value
<adrien> I really have no idea but we should definitely ask Jun
<adrien> why did he make that patch instead of having gcaml merged?
<thelema> I guess that inria (xavier?) decided against merging gcaml - I imagine that it would make it harder to modify ocaml, having reified types.
<adrien> yes, something along these lines is likely but I'd like to have a definitive answer
<thelema> although there's evidence from the community that gcaml isn't compelling - we don't use it.
<thelema> ah, also gcaml doesn't support class, object, polymorphic variants.
<thelema> so it can't be merged.
ttamttam has quit [Quit: ttamttam]
<adrien> well, we don't use any patch to the inria-distributed ocaml actually
<thelema> yes, hardly anyone does.
<adrien> does anyone know the new address of Richard Jones' blog?
<adrien> actuall, no new address
<adrien> I wonder why I thought there was one
lopex has joined #ocaml
ulfdoz has joined #ocaml
oriba has joined #ocaml
joewilliams_away is now known as joewilliams
<metasyntax|work> Nice, Subversion 3.12 build error already fixed. :-)
<thelema> looks like an easy fix.
Cyanure has joined #ocaml
ttamttam has joined #ocaml
Cyanure has quit [Remote host closed the connection]
Cyanure has joined #ocaml
larhat has quit [Quit: Leaving.]
ulfdoz_ has joined #ocaml
ulfdoz has quit [Ping timeout: 276 seconds]
ulfdoz_ is now known as ulfdoz
ttamttam has quit [Remote host closed the connection]
ygrek has joined #ocaml
taupin has joined #ocaml
ttamttam has joined #ocaml
chambart has quit [Ping timeout: 240 seconds]
Snark has quit [Quit: Quitte]
<thelema> anyone have code for solving the maximum independent set problem in ocaml?
emmanuelux has joined #ocaml
Associat0r has quit [Quit: Associat0r]
ygrek has quit [Quit: Leaving]
sebz_ has joined #ocaml
sebz_ has quit [Client Quit]
lpereira has joined #ocaml
ttamttam has quit [Remote host closed the connection]
thomasga has quit [Quit: Leaving.]
Associat0r has joined #ocaml
Associat0r has quit [Changing host]
Associat0r has joined #ocaml
thomasga has joined #ocaml
Cyanure has quit [Quit: Quitte]
thomasga has quit [Client Quit]
thomasga has joined #ocaml
thomasga has quit [Client Quit]
thomasga has joined #ocaml
thomasga has quit [Client Quit]
agarwal1975 has joined #ocaml
dcolish has quit [Ping timeout: 240 seconds]
<Qrntzz> hrm, so is there any way or workaround to store instances of different objects in one data structure?
<Qrntzz> seems I don't get the extent of ocaml's static typing.
ikaros has quit [Quit: Ex-Chat]
emmanuelux has quit [*.net *.split]
Tianon has quit [*.net *.split]
_habnabit has quit [*.net *.split]
bitbckt has quit [*.net *.split]
<thelema> Qrntzz: you have to tag the different possibilities yourself: Variant types
<DimitryKakadu> Qrntzz: are u talking about http://ocaml.janestreet.com/?q=node/95 ?
<thelema> i.e. type int_or_float = Int of int | Float of float
Anarchos has joined #ocaml
<Qrntzz> thelema: I tried using variant types as in (type Button of Widget.button | Field of Widget.field (* writing a simpleton GUI *)) but I end up with an interface mismatch
<Qrntzz> there is the possibility of a bug in some preceding place though, my code is a bowl of spaghetti at the moment
<thelema> Qrntzz: you can put buttons and fields into an array together by tagging them Button and Field (using a type such as you defined)
<thelema> when you get them out of the array, you should use pattern matching to identify which type you got out and do the right thing based on which
<Qrntzz> DimitryKakadu: yes, I've seen that, but a bit overkill for me, I want to keep it simple
<Qrntzz> thelema: arrays are fixed-length so I tend to use hash tables at the moment, but I get the idea
<Qrntzz> thanks.
<thelema> n/p
_andre has quit [Quit: leaving]
oriba has quit [Read error: Connection reset by peer]
oriba has joined #ocaml
emmanuelux has joined #ocaml
Tianon has joined #ocaml
_habnabit has joined #ocaml
bitbckt has joined #ocaml
ulfdoz has quit [Ping timeout: 258 seconds]
lpereira has quit [Quit: Leaving.]
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
dcolish has joined #ocaml
chambart has joined #ocaml
DimitryKakadu has quit [Remote host closed the connection]
eb4890 has quit [Quit: Leaving]
emmanuelux has quit [*.net *.split]
Tianon has quit [*.net *.split]
_habnabit has quit [*.net *.split]
bitbckt has quit [*.net *.split]
emmanuelux has joined #ocaml
Tianon has joined #ocaml
_habnabit has joined #ocaml
bitbckt has joined #ocaml
fraggle_ has quit [Quit: -ENOBRAIN]
fraggle_ has joined #ocaml
agarwal1975 has quit [Quit: agarwal1975]
<_habnabit> ocaml doesn't have a moving GC, does it?
<thelema> yes it does
<thelema> Thus Gc.compact
<bitbckt> it's moving in both generations: stop/copy in the newgen and mark/sweep/compact in the oldgen.
Amorphous has quit [Ping timeout: 260 seconds]
<thelema> bitbckt: yup, generational GCs have to move.
<bitbckt> thelema: I know. I implement them. :)
<thelema> :)
Amorphous has joined #ocaml
<_habnabit> ah, neat.
<_habnabit> that would explain why it's able to sbrk() smaller.
<thelema> yup.
avsm has quit [Quit: Leaving.]
Associat0r has quit [Quit: Associat0r]
seafood has joined #ocaml
seafood has quit [Quit: seafood]
<_habnabit> can you define a recursive module type?
avsm has joined #ocaml
<_habnabit> hmm. trying to think of how the signature might look.
avsm has quit [Read error: Connection reset by peer]
avsm1 has joined #ocaml
<_habnabit> e.g. module type Set: sig type t type elt module SetSet: Set = struct type elt = Set.t type t end end
<_habnabit> something like that.
<thelema> _habnabit: I think you'll have to have a base value for the recursion, which means a variant type, usually
<_habnabit> ah.
arubin has joined #ocaml
<_habnabit> there's not a combinatorics module in batteries, is there? looking for powerset and/or combinations.
<_habnabit> preferably something that returns a lazy enum.
avsm1 has quit [Ping timeout: 244 seconds]
<thelema> _habnabit: not yet- the closest is List.cartesian_product
avsm has joined #ocaml
joewilliams is now known as joewilliams_away
<_habnabit> okay.
avsm has quit [Read error: Connection reset by peer]