adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.00.1 http://bit.ly/UHeZyT | http://www.ocaml-lang.org | Public logs at http://tunes.org/~nef/logs/ocaml/
mathieui has quit [Ping timeout: 245 seconds]
eikke has quit [Ping timeout: 260 seconds]
chambart has quit [Ping timeout: 246 seconds]
BiDOrD_ has quit [Read error: Operation timed out]
mathieui has joined #ocaml
mattrepl has quit [Quit: mattrepl]
BiDOrD has joined #ocaml
sepp2k1 has quit [Remote host closed the connection]
Xizor has quit []
tac has joined #ocaml
Yoric has quit [Ping timeout: 246 seconds]
tani has quit [Quit: Verlassend]
ikaros has quit [Quit: Ex-Chat]
ulfdoz_ has joined #ocaml
ulfdoz has quit [Ping timeout: 264 seconds]
ulfdoz_ is now known as ulfdoz
destrius has joined #ocaml
mathieui has quit [Ping timeout: 260 seconds]
madroach has quit [Ping timeout: 244 seconds]
madroach has joined #ocaml
imalsogreg has joined #ocaml
mathieui has joined #ocaml
mye has joined #ocaml
travisbrady has joined #ocaml
travisbrady has quit [Quit: travisbrady]
myx has quit [Read error: Operation timed out]
imalsogreg has quit [Remote host closed the connection]
weie_ has joined #ocaml
weie has quit [Ping timeout: 252 seconds]
Yoric has joined #ocaml
ankit9 has joined #ocaml
tac has quit [Quit: Page closed]
Yoric has quit [Ping timeout: 246 seconds]
BigJ has joined #ocaml
ankit9 has quit [Ping timeout: 256 seconds]
mye has quit [Quit: mye]
answer_42 has joined #ocaml
Snark has joined #ocaml
weie_ has quit [Read error: Connection reset by peer]
weie has joined #ocaml
Cyanure has joined #ocaml
pango is now known as pangoafk
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
answer_42 has quit [Ping timeout: 265 seconds]
Tobu has quit [Ping timeout: 260 seconds]
Tobu has joined #ocaml
ankit9 has joined #ocaml
chambart has joined #ocaml
tane has joined #ocaml
cago has joined #ocaml
Kakadu has joined #ocaml
djcoin has joined #ocaml
Yoric has joined #ocaml
ankit9 has quit [Quit: Leaving]
ftrvxmtrx has quit [Ping timeout: 260 seconds]
ankit9 has joined #ocaml
<f[x]> more precisely, gc can move values pointed by roots
<f[x]> Qrntz, probably you could use bigarray instead of string
weie has quit [Quit: Leaving...]
ankit9 has quit [Ping timeout: 246 seconds]
<Kakadu> flux: Martin have managed to build my QML thing. And you?
thomasga has joined #ocaml
ankit9 has joined #ocaml
everyonemines has joined #ocaml
flx_ has joined #ocaml
everyonemines has quit [Client Quit]
flux has quit [Remote host closed the connection]
flx_ is now known as flux
answer_42 has joined #ocaml
beckerb has joined #ocaml
Yoric has quit [Remote host closed the connection]
Yoric has joined #ocaml
ontologiae has joined #ocaml
Yoric has quit [Quit: Instantbird 1.4a1pre -- http://www.instantbird.com]
Yoric has joined #ocaml
fusillia has joined #ocaml
ftrvxmtrx has joined #ocaml
Yoric has quit [Quit: Instantbird 1.4a1pre -- http://www.instantbird.com]
Yoric has joined #ocaml
Neros has joined #ocaml
tane has quit [Quit: Verlassend]
Neros has quit [Remote host closed the connection]
Neros has joined #ocaml
Trixboxer has joined #ocaml
<Trixboxer> Hi, Im compile ocaml from source on my centos machine, may I know how to make a rpm package from source ? - thanks
destrius has quit [Quit: Leaving.]
mrpantoufle has joined #ocaml
<Kakadu> Trixboxer: maybe it's better to ask CentOS users? I hope CentOS has some tools dimiliar to debuild
_andre has joined #ocaml
mrpantoufle is now known as Pantoufle
eikke has joined #ocaml
mye has joined #ocaml
mye has quit [Client Quit]
Neros has quit [Ping timeout: 248 seconds]
Xizor has joined #ocaml
<Trixboxer> Kakadu: Im surprised that there is no binary distribution for centos :(
<Kakadu> Trixboxer: me too.
<Trixboxer> Kakadu: Im trying to build xen-api but the wiki doc is very old
<Kakadu> on CentOS?
<Trixboxer> and with recent email from James on the list, it requires newer versions. Yes Centos
<Kakadu> Trixboxer: what exactly message?
<Trixboxer> error: Failed build dependencies:
<Trixboxer> ocaml is needed by xapi-libs-0.1-859.i386
<Trixboxer> this is if I compile and install ocaml3.12.1 manually
<Trixboxer> if i install from default xcp repo which is 3.12.0 then the compiler throws various errors related to ocaml idl
ikaros has joined #ocaml
Neros has joined #ocaml
Neros has quit [Client Quit]
Neros has joined #ocaml
weie has joined #ocaml
Neros has quit [Ping timeout: 245 seconds]
<Kakadu> Trixboxer: sorry, no idea what happening
xavierm02 has joined #ocaml
hkBst has quit [Ping timeout: 246 seconds]
hkBst_ has joined #ocaml
ftrvxmtrx has quit [Read error: Connection reset by peer]
ftrvxmtrx has joined #ocaml
hkBst_ has quit [Remote host closed the connection]
hkBst_ has joined #ocaml
hkBst_ has quit [Changing host]
hkBst_ has joined #ocaml
myx has joined #ocaml
larhat has quit [Quit: Leaving.]
chambart has quit [Ping timeout: 246 seconds]
hkBst_ has quit [Remote host closed the connection]
hkBst_ has joined #ocaml
myx has quit [Quit: ушёл]
myx has joined #ocaml
hkBst__ has joined #ocaml
hkBst_ has quit [Read error: Connection reset by peer]
ohama has quit [Ping timeout: 260 seconds]
cdidd has quit [Read error: Operation timed out]
ohama has joined #ocaml
larhat has joined #ocaml
maufred_ has quit [Ping timeout: 246 seconds]
Cyanure has quit [Remote host closed the connection]
sepp2k has joined #ocaml
maufred has joined #ocaml
maufred_ has joined #ocaml
maufred has quit [Ping timeout: 255 seconds]
Qrntz_ has joined #ocaml
Qrntz_ has quit [Client Quit]
ankit9 has quit [Quit: Leaving]
<Qrntz> f[x], thanks, I ended up just keeping const char * and copying it into a string when requested (don't think performance will suffer noticeably with the current call graph)
hkBst__ has quit [Remote host closed the connection]
hkBst__ has joined #ocaml
chambart has joined #ocaml
milosn has quit [Ping timeout: 260 seconds]
avsm has joined #ocaml
jbrown__ has quit [Read error: Operation timed out]
jbrown__ has joined #ocaml
ocp has joined #ocaml
chambart has quit [Ping timeout: 260 seconds]
chambart has joined #ocaml
Xizor has quit [Remote host closed the connection]
gnuvince_ has joined #ocaml
gustav__ has quit [Remote host closed the connection]
gnuvince has quit [Ping timeout: 255 seconds]
smondet has joined #ocaml
travisbrady has joined #ocaml
gustav__ has joined #ocaml
hkBst__ has quit [Ping timeout: 260 seconds]
dwmw2_gone has quit [Ping timeout: 260 seconds]
hkBst__ has joined #ocaml
dwmw2_gone has joined #ocaml
hkBst__ has quit [Remote host closed the connection]
hkBst__ has joined #ocaml
dwmw2_gone has quit [Excess Flood]
hkBst__ has quit [Ping timeout: 246 seconds]
dwmw2_gone has joined #ocaml
hkBst__ has joined #ocaml
fusillia has quit [Remote host closed the connection]
hkBst__ has quit [Excess Flood]
dwmw2_gone has quit [Excess Flood]
dwmw2_gone has joined #ocaml
hkBst__ has joined #ocaml
Kakadu has quit []
hkBst__ has quit [Ping timeout: 265 seconds]
dwmw2_gone has quit [Excess Flood]
dwmw2_gone has joined #ocaml
travisbrady has quit [Quit: travisbrady]
hkBst has joined #ocaml
travisbrady has joined #ocaml
dwmw2_gone has quit [Excess Flood]
dwmw2_gone has joined #ocaml
mye has joined #ocaml
dwmw2_gone has quit [Excess Flood]
dwmw2_gone has joined #ocaml
<Qrntz> is functional variable argument folding à la SML (http://mlton.org/Fold) used in any real OCaml projects?
hkBst has quit [Ping timeout: 244 seconds]
<companion_cube> like List.fold_left ?
<Qrntz> no. see link
hkBst has joined #ocaml
<Qrntz> well, it certainly resembles a list fold
dwmw2_gone has quit [Excess Flood]
<companion_cube> I've never seen anything like this :/
dwmw2_gone has joined #ocaml
<Qrntz> me too, that's why I'm asking :-p
<Qrntz> I suppose it's a degree of type magic deemed too esoteric for real libraries
Cyanure has joined #ocaml
hkBst has quit [Remote host closed the connection]
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
dwmw2_gone has quit [Ping timeout: 245 seconds]
dwmw2_gone has joined #ocaml
dwmw2_gone has quit [Excess Flood]
dwmw2_gone has joined #ocaml
dwmw2_gone has quit [Excess Flood]
dwmw2_gone has joined #ocaml
hkBst has quit [Ping timeout: 255 seconds]
wieczyk_ has quit [Read error: Connection reset by peer]
cdidd has joined #ocaml
pangoafk is now known as pango
dwmw2_gone has quit [Excess Flood]
dwmw2_gone has joined #ocaml
dwmw2_gone has quit [Excess Flood]
dwmw2_gone has joined #ocaml
Kakadu has joined #ocaml
dwmw2_gone has quit [Excess Flood]
dwmw2_gone has joined #ocaml
dwmw2_gone has quit [Excess Flood]
dwmw2_gone has joined #ocaml
Trixboxer has quit [Quit: "Achievement is not the end, its the beginning of new journey !!!"]
mye has quit [Quit: mye]
tac has joined #ocaml
dwmw2_gone has quit [Excess Flood]
dwmw2_gone has joined #ocaml
Xizor has joined #ocaml
cago has left #ocaml []
ocp has quit [Quit: Leaving.]
dwmw2_gone has quit [Excess Flood]
dwmw2_gone has joined #ocaml
mye has joined #ocaml
dwmw2_gone has quit [Excess Flood]
dwmw2_gone has joined #ocaml
dwmw2_gone has quit [Excess Flood]
dwmw2_gone has joined #ocaml
dwmw2_gone has quit [Client Quit]
dwmw2_gone has joined #ocaml
mattrepl has joined #ocaml
eikke has quit [Ping timeout: 250 seconds]
Neros has joined #ocaml
eikke has joined #ocaml
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
djcoin has quit [Quit: WeeChat 0.3.9.1]
lolcathost has joined #ocaml
answer_42 has quit [Ping timeout: 246 seconds]
answer_42 has joined #ocaml
larhat has quit [Quit: Leaving.]
tane has joined #ocaml
jamii has joined #ocaml
milosn has joined #ocaml
jamii has quit [Ping timeout: 246 seconds]
weie has quit [Quit: Leaving...]
thomasga has quit [Quit: Leaving.]
eni has joined #ocaml
Tobu has quit []
Tobu has joined #ocaml
<Submarine> hi there
<thelema> hi
<Submarine> I have a question related to the Hindley-Milner typing rules.
<Submarine> Normally, one only generalizes type variables on the left hand side of a let binding.
<Submarine> thus let f x = x in f 1; f "a";; is ok because fun x -> x on the left hand side of the 'let' binding is generalized to have type forall 'a 'a -> 'a
<Submarine> now
<Submarine> at the toplevel, if one types fun x -> x one gets forall 'a a -> 'a type
<Submarine> I wonder what extra rules are used for toplevel interaction
ontologiae has quit [Ping timeout: 252 seconds]
<thelema> all (syntactic) functions have generalization applied to them.
<thelema> ocaml starts with all types having distinct weak-polymorphic types
<thelema> then the type checker unifies these types, forcing many of them to identify with each other or with concrete types
<Submarine> indeed
<thelema> after it's done unifying types, syntactic functions are generalized.
<Submarine> but at that point you only have (existential) type variables
travisbrady has quit [Quit: travisbrady]
<Submarine> I think that indeed that's equivalent to what I described except that in my case I'd have to generalize syntactic functions at the toplevel.
Yoric1 has joined #ocaml
<thelema> FWIW, unless you bind a function at the top level, there's no point to its' generalization
<Submarine> except pretty-printing the types!
Yoric has quit [Ping timeout: 246 seconds]
<thelema> true
mattrepl has quit [Quit: mattrepl]
tane has quit [*.net *.split]
Submarine has quit [*.net *.split]
mye has quit [*.net *.split]
chambart has quit [*.net *.split]
sepp2k has quit [*.net *.split]
shajen has quit [*.net *.split]
The_third_man has quit [*.net *.split]
Anarchos has joined #ocaml
Anarchos has quit [Client Quit]
_andre_ has joined #ocaml
alxbl has joined #ocaml
travisbrady has joined #ocaml
tane has joined #ocaml
Submarine has joined #ocaml
mye has joined #ocaml
chambart has joined #ocaml
sepp2k has joined #ocaml
shajen has joined #ocaml
The_third_man has joined #ocaml
gustav__ has quit [Excess Flood]
alxbl has quit [Changing host]
alxbl has joined #ocaml
jamii has joined #ocaml
gustav__ has joined #ocaml
_andre has quit [Write error: Connection reset by peer]
Kakadu has quit [Ping timeout: 241 seconds]
travisbrady has quit [Quit: travisbrady]
kvsr has joined #ocaml
Kakadu has joined #ocaml
Cyanure has quit [Remote host closed the connection]
Oejet has joined #ocaml
Armael has joined #ocaml
mye has quit [Quit: mye]
diego_diego has joined #ocaml
<Armael> Hi
<Kakadu> hey!
<Armael> I have written some bindings for C function (nanosleep...)
<thelema> Armael: extUnix
<Armael> and i want to use them in a project which currently uses ocamlbuild
<Armael> oh ?
<Armael> what is extUnix ?
<Kakadu> Armael: it's a library
ontologiae has joined #ocaml
<Armael> oh thanks
<thelema> Armael: not quite your question - you want to know how to use ocamlbuild with C bindings, yes?
<Armael> yep
<Armael> yikes
<Armael> the building script is in ocaml ?
<thelema> yes, it's scary. the short version is that you have to write an ocamlbuild plugin to specify the compile flags.
<thelema> yes, ocamlbuild is extended using ocaml
<Kakadu> maybe if he will just add c source to _oasis file it will be simplier?
<Armael> hum, i can't use oasis in fact
<thelema> Armael: because you've tried, or because you just can't?
<thelema> *tried and failed
<Armael> in fact, i'm not allowed to :>
<thelema> ok then...
<Armael> school project…
<thelema> odd, but whatever.
diego_diego has quit [Quit: diego_diego]
<Armael> so okay, i'm going to look at making an ocamlbuild plugin
<Armael> it's just about saying it to link with the .o, right ?
<Qrntz> you have to compile the .c file properly first, but then yes
<Armael> yep
<thelema> yes, and the dependencies: dep ["compile"; "c"] headers;
<Armael> of course
<thelema> iirc, ocamlbuild can compile the .c
<Armael> okay
<thelema> the .clib says what to put in it.
<Armael> .clib ?
<orbitz> thelema: notsure if you saw my post on caml-list, but it's -custom that was killing me
travisbrady has joined #ocaml
<thelema> orbitz: I see.
<thelema> maybe this should go in the bug tracker somewhere.
<orbitz> apparently can be fixed by doing -no-curses in config, but not sure I want to depend on that
<thelema> not particularly high priority
<orbitz> in configure that is
chambart has quit [Ping timeout: 246 seconds]
<thelema> in theory, if you compile ocaml on the same computer that you're using ocaml, there will be no curses problem
<thelema> I'm guessing you're using a packaged ocaml?
<orbitz> According to caml-list, it has to do with top-level wanting ncurses for some termio stuff and that comes with -custom
<thelema> if there's no ncurses, ocaml shouldn't need -lncurses
<orbitz> Yes I am, but the paritcular OS I use puts libs in non normal places to ensure dependencies are explicit
<thelema> ah. I noticed your paths were... insane.
<orbitz> Yeah, i run NixOS
<kvsr> is there a better way to do something like this? http://pastebin.com/zCbALPmC
<thelema> let call_if f = function None -> () | Some b -> f b
<thelema> note that this reverses the order of arguments
<orbitz> In Core that's just ignore (Option.map ~f o)
<thelema> Batteries has Option.may to do this
<kvsr> hmmm i didnt know about ignore
<kvsr> because with your version thelema, then f must have type a -> unit right?
<orbitz> yes
<thelema> yes
<kvsr> so could i just change Some b -> ignore (f b) then?
<thelema> yes, if you want to allow 'a -> 'b
<orbitz> yes
<kvsr> cool
<thelema> that said, I would recommend against ignoring return values, as this can hide bugs easily
<orbitz> arguably if you are doing something purely for the side effect f should evaluate to unit
<orbitz> and then a person should do ignore . f if they know it isok
<thelema> agreed
_andre_ has quit [Quit: leaving]
<kvsr> yea that makes sense
<orbitz> designing API's where using it incorrectly is a compielr error is fun and challenging
<flux> orbitz, well, ocaml lacks linear types :(
<orbitz> It certainly makes expressing some things morechallenging
travisbrady has quit [Quit: travisbrady]
travisbrady has joined #ocaml
Neros has quit [Read error: Connection reset by peer]
xaimus has quit [Ping timeout: 252 seconds]
travisbrady has quit [Quit: travisbrady]
sivoais has quit [Remote host closed the connection]
sivoais has joined #ocaml
Neros_ has joined #ocaml
<Armael> wut
<Armael> ocamlbuild fails at compiling myocamlbuild.ml
<Armael> syntax error on 'dispatch'
<Armael> myocamlbuild.ml must be at the root of the project, where i call ocamlbuild, right ?
<thelema> yes
<Armael> huum
<thelema> make sure you have a ;; right before 'dispatch', otherwise you need "let _ = dispatch ..."
<Armael> oh, okay.
<thelema> there's some magic in how phrases are handled
<Armael> i see that :D
<Armael> the whole file is like magic for me, in fact.
sepp2k1 has joined #ocaml
sepp2k has quit [Ping timeout: 246 seconds]
Submarine has quit [Quit: Leaving]
travisbrady has joined #ocaml
weie has joined #ocaml
Neros_ has quit [Ping timeout: 246 seconds]
jbrown__ has quit [Ping timeout: 252 seconds]
lolcathost has quit [Ping timeout: 260 seconds]
jbrown__ has joined #ocaml
Kakadu has quit []
Oejet has left #ocaml []
jamii has quit [Ping timeout: 246 seconds]
xavierm02 has quit [Quit: Leaving]
Yoric1 has quit [Ping timeout: 246 seconds]
Yoric has joined #ocaml
tane has quit [Quit: Verlassend]
Snark has quit [Quit: Quitte]
answer_42 has quit [Ping timeout: 264 seconds]
Yoric has quit [Ping timeout: 246 seconds]
Neros_ has joined #ocaml
Neros_ has quit [Read error: Connection reset by peer]
Neros has joined #ocaml
Xizor has quit [Remote host closed the connection]
travisbrady has quit [Quit: travisbrady]
xaimus has joined #ocaml
tac has quit [Ping timeout: 245 seconds]
eni has quit [Ping timeout: 256 seconds]
gnuvince has joined #ocaml
ikaros has quit [Quit: Ex-Chat]
gnuvince_ has quit [Ping timeout: 256 seconds]
ikaros has joined #ocaml
gnuvince has quit [Ping timeout: 265 seconds]
BiDOrD_ has joined #ocaml
jamii has joined #ocaml
travisbrady has joined #ocaml
eikke has quit [Ping timeout: 248 seconds]
BiDOrD has quit [Ping timeout: 264 seconds]
eikke has joined #ocaml
Cyanure has joined #ocaml
smondet has quit [Ping timeout: 260 seconds]
gnuvince has joined #ocaml
Cyanure has quit [Remote host closed the connection]
travisbrady has quit [Quit: travisbrady]
Neros has quit [Remote host closed the connection]
jamii has quit [Read error: Connection reset by peer]
ftrvxmtrx has quit [Ping timeout: 255 seconds]
myx has quit [Read error: Operation timed out]
myx has joined #ocaml
myx has quit [Ping timeout: 260 seconds]