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