ChanServ changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | http://www.ocaml.org | OCaml 4.01.0 announce at http://bit.ly/1851A3R | Logs at http://irclog.whitequark.org/ocaml
jave_ has quit [Quit: ZNC - http://znc.in]
jave has joined #ocaml
philtor_ has joined #ocaml
q66_ has joined #ocaml
rand000 has quit [Quit: leaving]
q66 has quit [Disconnected by services]
q66_ is now known as q66
Aym_C has joined #ocaml
BitPuffin has joined #ocaml
Aym_C has quit [Ping timeout: 256 seconds]
claudiuc_ has joined #ocaml
claudiuc has quit [Ping timeout: 240 seconds]
rgrinberg has joined #ocaml
johnnydiabetic has joined #ocaml
<rgrinberg> how do I create a module alias in a signature?
<Drup> module X : module type of Y ?
<rgrinberg> Drup: <3
<Drup> (note that it doesn't actually say it's an alias, it could be a completly different module :p)
WraithM has quit [Ping timeout: 240 seconds]
<rgrinberg> w/e, it compiles
<Drup> sure, it's *less* restrictive
<rgrinberg> you know what, screw the aliases..
<rgrinberg> they'll just confuse ctags
<hnrgrgr> rgrinberg: too late, but it is the same syntax for struct and sig.
<hnrgrgr> module M : sig module S = String end = struct module S = String end;;
jwatzman|work has quit [Quit: jwatzman|work]
<rgrinberg> hnrgrgr: thanks
<rgrinberg> when's 4.02 coming out?
<rgrinberg> I went on vacation and it's still not out :(
<hnrgrgr> rgrinberg: I have no idea. But there is a caml-dev meeting Thursday.
alexst has joined #ocaml
<rgrinberg> i hope the devs aren't saving it for xmas
racycle has quit [Quit: ZZZzzz…]
alexst has quit [Ping timeout: 264 seconds]
nrlucaroni has joined #ocaml
<nrlucaroni> My /home/nrlucaroni/.opam/config is messed up. anyway to reset it? looking through opam-config now.
sheijk has quit [Ping timeout: 240 seconds]
sheijk has joined #ocaml
sheijk has quit [Client Quit]
johnnydiabetic has quit [Ping timeout: 256 seconds]
shinnya has quit [Ping timeout: 260 seconds]
fold has joined #ocaml
Aym_C has joined #ocaml
Aym_C has quit [Ping timeout: 240 seconds]
johnnydiabetic has joined #ocaml
BitPuffin has quit [Ping timeout: 240 seconds]
q66 has quit [Quit: Leaving]
BitPuffin has joined #ocaml
ustunozgur has quit [Remote host closed the connection]
johnnydiabetic has quit [Quit: Leaving]
alexst has joined #ocaml
philtor_ has quit [Ping timeout: 240 seconds]
alexst has quit [Ping timeout: 240 seconds]
rgrinberg has quit [Quit: Leaving.]
claudiuc_ has quit [Remote host closed the connection]
claudiuc has joined #ocaml
claudiuc has quit [Ping timeout: 240 seconds]
dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
nrlucaroni has quit [Quit: leaving]
Aym_C has joined #ocaml
BitPuffin has quit [Ping timeout: 256 seconds]
studybo__ is now known as studybot
Aym_C has quit [Ping timeout: 240 seconds]
rgrinberg has joined #ocaml
alexst has joined #ocaml
rgrinberg has left #ocaml [#ocaml]
penglingbo has joined #ocaml
ygrek has joined #ocaml
philtor_ has joined #ocaml
alexst has quit [Ping timeout: 264 seconds]
madroach has quit [*.net *.split]
Muzer has quit [*.net *.split]
S11001001 has quit [*.net *.split]
yacks has quit [*.net *.split]
typedlambda has quit [*.net *.split]
pippijn has quit [*.net *.split]
troydm has quit [*.net *.split]
emias has quit [*.net *.split]
ia0 has quit [*.net *.split]
pippijn has joined #ocaml
yacks has joined #ocaml
S11001001 has joined #ocaml
madroach has joined #ocaml
typedlambda has joined #ocaml
troydm has joined #ocaml
ia0 has joined #ocaml
emias has joined #ocaml
Muzer has joined #ocaml
dapz has joined #ocaml
divyansh_ has joined #ocaml
claudiuc has joined #ocaml
claudiuc has quit [Remote host closed the connection]
claudiuc has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
claudiuc has quit [Ping timeout: 240 seconds]
dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
ia0 has quit [*.net *.split]
emias has quit [*.net *.split]
troydm has quit [*.net *.split]
typedlambda has quit [*.net *.split]
badon has quit [*.net *.split]
sad0ur has quit [*.net *.split]
jludlam has quit [*.net *.split]
araujo has quit [*.net *.split]
tristero has quit [*.net *.split]
wwilly has quit [*.net *.split]
samebchase has quit [*.net *.split]
SHODAN has quit [*.net *.split]
ivan\ has quit [*.net *.split]
mk270 has quit [*.net *.split]
divyansh_ has quit [*.net *.split]
yacks has quit [*.net *.split]
darkf has quit [*.net *.split]
cantstanya has quit [*.net *.split]
brendan has quit [*.net *.split]
JokerDoom has quit [*.net *.split]
osnr has quit [*.net *.split]
yroeht has quit [*.net *.split]
cthuluh has quit [*.net *.split]
patronus has quit [*.net *.split]
pjdelport has quit [*.net *.split]
diakopter has quit [*.net *.split]
hyperboreean has quit [*.net *.split]
rwmjones has quit [*.net *.split]
emmanueloga has quit [*.net *.split]
Cypi has quit [*.net *.split]
TaXules has quit [*.net *.split]
bernardofpc has quit [*.net *.split]
thizanne has quit [*.net *.split]
whitequark has quit [*.net *.split]
nickmeharry has quit [*.net *.split]
j0sh has quit [*.net *.split]
bartbes has quit [*.net *.split]
malo has quit [*.net *.split]
BiDOrD_ has quit [*.net *.split]
ousado_ has quit [*.net *.split]
ski has quit [*.net *.split]
igitoor has quit [*.net *.split]
ssbr has quit [*.net *.split]
fx has quit [*.net *.split]
alex_nx_ has quit [*.net *.split]
hcarty has quit [*.net *.split]
Derander_ has quit [*.net *.split]
reynir has quit [*.net *.split]
mdenes2 has quit [*.net *.split]
gasche has quit [*.net *.split]
puzza007 has quit [*.net *.split]
msch has quit [*.net *.split]
jyc has quit [*.net *.split]
olasd has quit [*.net *.split]
jzelinskie has quit [*.net *.split]
__marius____ has quit [*.net *.split]
leifw has quit [*.net *.split]
SethTisue_______ has quit [*.net *.split]
jlouis has quit [*.net *.split]
steshaw has quit [*.net *.split]
nk0 has quit [*.net *.split]
zozozo has quit [*.net *.split]
rossberg_ has quit [*.net *.split]
gereedy has quit [*.net *.split]
bitbckt has quit [*.net *.split]
mal`` has quit [*.net *.split]
_habnabit has quit [*.net *.split]
madroach has quit [*.net *.split]
contempt has quit [*.net *.split]
hefner has quit [*.net *.split]
srax has quit [*.net *.split]
zarul has quit [*.net *.split]
tizoc has quit [*.net *.split]
IbnFirnas has quit [*.net *.split]
n0v has quit [*.net *.split]
robink has quit [*.net *.split]
seliopou has quit [*.net *.split]
gargawel has quit [*.net *.split]
siddharthv_away has quit [*.net *.split]
iZsh has quit [*.net *.split]
pollux has quit [*.net *.split]
Asmadeus has quit [*.net *.split]
Arthur_Raibow has quit [*.net *.split]
xaimus has quit [*.net *.split]
mrvn has quit [*.net *.split]
maufred has quit [*.net *.split]
rks` has quit [*.net *.split]
wormphlegm has quit [*.net *.split]
thorsten` has quit [*.net *.split]
aggelos_ has quit [*.net *.split]
rs0 has quit [*.net *.split]
xenocons has quit [*.net *.split]
bcuccioli has quit [*.net *.split]
ggherdov has quit [Max SendQ exceeded]
dapz has joined #ocaml
ygrek has joined #ocaml
divyansh_ has joined #ocaml
yacks has joined #ocaml
cantstanya has joined #ocaml
jludlam has joined #ocaml
siddharthv_away has joined #ocaml
ousado_ has joined #ocaml
samebchase has joined #ocaml
JokerDoom has joined #ocaml
darkf has joined #ocaml
badon has joined #ocaml
araujo has joined #ocaml
bernardofpc has joined #ocaml
Cypi has joined #ocaml
cthuluh has joined #ocaml
ssbr has joined #ocaml
gargawel has joined #ocaml
brendan has joined #ocaml
tristero has joined #ocaml
hyperboreean has joined #ocaml
diakopter has joined #ocaml
gereedy has joined #ocaml
patronus has joined #ocaml
nk0 has joined #ocaml
hefner has joined #ocaml
robink has joined #ocaml
j0sh has joined #ocaml
BiDOrD_ has joined #ocaml
jzelinskie has joined #ocaml
steshaw has joined #ocaml
mk270 has joined #ocaml
leifw has joined #ocaml
rossberg_ has joined #ocaml
msch has joined #ocaml
seliopou has joined #ocaml
ski has joined #ocaml
jlouis has joined #ocaml
rwmjones has joined #ocaml
gasche has joined #ocaml
bartbes has joined #ocaml
igitoor has joined #ocaml
bitbckt has joined #ocaml
Derander_ has joined #ocaml
SHODAN has joined #ocaml
wwilly has joined #ocaml
whitequark has joined #ocaml
ivan\ has joined #ocaml
zozozo has joined #ocaml
mdenes2 has joined #ocaml
jyc has joined #ocaml
_habnabit has joined #ocaml
__marius____ has joined #ocaml
SethTisue_______ has joined #ocaml
alex_nx_ has joined #ocaml
osnr has joined #ocaml
olasd has joined #ocaml
hcarty has joined #ocaml
pjdelport has joined #ocaml
yroeht has joined #ocaml
sad0ur has joined #ocaml
TaXules has joined #ocaml
emmanueloga has joined #ocaml
puzza007 has joined #ocaml
iZsh has joined #ocaml
mal`` has joined #ocaml
srax has joined #ocaml
wormphlegm has joined #ocaml
mrvn has joined #ocaml
pollux has joined #ocaml
thorsten` has joined #ocaml
fx has joined #ocaml
IbnFirnas has joined #ocaml
zarul has joined #ocaml
thizanne has joined #ocaml
Arthur_Raibow has joined #ocaml
xenocons has joined #ocaml
aggelos_ has joined #ocaml
tizoc has joined #ocaml
xaimus has joined #ocaml
nickmeharry has joined #ocaml
rs0 has joined #ocaml
Asmadeus has joined #ocaml
n0v has joined #ocaml
malo has joined #ocaml
reynir has joined #ocaml
rks` has joined #ocaml
maufred has joined #ocaml
bcuccioli has joined #ocaml
badon has quit [Max SendQ exceeded]
ia0 has joined #ocaml
madroach has joined #ocaml
emias has joined #ocaml
troydm has joined #ocaml
contempt has joined #ocaml
typedlambda has joined #ocaml
contempt has quit [Max SendQ exceeded]
contempt has joined #ocaml
contempt has quit [Changing host]
contempt has joined #ocaml
ygrek is now known as Guest70841
badon has joined #ocaml
dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
racycle has joined #ocaml
ggherdov has joined #ocaml
alexst has joined #ocaml
philtor_ has quit [Ping timeout: 240 seconds]
alexst has quit [Ping timeout: 240 seconds]
claudiuc has joined #ocaml
divyansh_ has quit [Quit: Computer has gone to sleep.]
tidren has joined #ocaml
tidren has quit [Remote host closed the connection]
tidren has joined #ocaml
Aym_C has joined #ocaml
Aym_C has quit [Ping timeout: 264 seconds]
claudiuc has quit [Remote host closed the connection]
claudiuc has joined #ocaml
racycle has quit [Quit: ZZZzzz…]
relrod has joined #ocaml
divyanshu has joined #ocaml
claudiuc has quit [Ping timeout: 240 seconds]
alexst has joined #ocaml
alexst has quit [Ping timeout: 240 seconds]
michael_lee has joined #ocaml
ygrek has joined #ocaml
Guest70841 has quit [Remote host closed the connection]
ustunozgur has joined #ocaml
tidren has quit [Remote host closed the connection]
tidren has joined #ocaml
tidren has quit [Read error: Connection reset by peer]
tidren has joined #ocaml
ustunozgur has quit [Ping timeout: 256 seconds]
tidren has quit [Remote host closed the connection]
tidren has joined #ocaml
Aym_C has joined #ocaml
Aym_C has quit [Ping timeout: 240 seconds]
siddharthv_away is now known as siddharthv
tidren has quit [Remote host closed the connection]
tidren has joined #ocaml
alexst has joined #ocaml
alexst has quit [Ping timeout: 240 seconds]
claudiuc has joined #ocaml
axiles has joined #ocaml
claudiuc has quit [Remote host closed the connection]
claudiuc has joined #ocaml
Submarine has quit [Remote host closed the connection]
claudiuc has quit [Ping timeout: 240 seconds]
ygrek has quit [Remote host closed the connection]
ygrek has joined #ocaml
avsm has joined #ocaml
Aym_C has joined #ocaml
darkf_ has joined #ocaml
darkf has quit [Disconnected by services]
darkf_ is now known as darkf
avsm has quit [Client Quit]
Aym_C has quit [Ping timeout: 240 seconds]
matematikaadit has joined #ocaml
ggole has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
alpounet has joined #ocaml
mcclurmc has joined #ocaml
Simn has joined #ocaml
dark_light92 has joined #ocaml
dark_light92 has left #ocaml ["ERC Version 5.3 (IRC client for Emacs)"]
ygrek has joined #ocaml
jludlam has quit [Remote host closed the connection]
araujo has quit [Read error: Connection reset by peer]
cago has joined #ocaml
dapz has joined #ocaml
araujo has joined #ocaml
dapz has quit [Client Quit]
dapz has joined #ocaml
Aym_C has joined #ocaml
Aym_C has quit [Ping timeout: 256 seconds]
dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
dapz has joined #ocaml
dapz has quit [Max SendQ exceeded]
mcclurmc has quit [Remote host closed the connection]
tidren has quit []
tidren has joined #ocaml
AltGr has joined #ocaml
mcclurmc has joined #ocaml
q66 has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
jludlam has joined #ocaml
_0xAX has joined #ocaml
ustunozg_ has joined #ocaml
Kakadu has joined #ocaml
zpe has joined #ocaml
eikke__ has joined #ocaml
Aym_C has joined #ocaml
Aym_C has quit [Ping timeout: 240 seconds]
alpounet has quit [Remote host closed the connection]
tidren has quit [Remote host closed the connection]
tidren has joined #ocaml
alpounet has joined #ocaml
matematikaadit has quit [Quit: 15.47]
dsheets has joined #ocaml
thomasga has joined #ocaml
_JokerDoom has joined #ocaml
JokerDoom has quit [Ping timeout: 272 seconds]
tidren has quit [Ping timeout: 264 seconds]
ddosia has joined #ocaml
Submarine has joined #ocaml
<rwmjones> shinwell isn't on IRC is he?
BitPuffin has joined #ocaml
Aym_C has joined #ocaml
ustunozg_ has quit [Remote host closed the connection]
ustunozg_ has joined #ocaml
Aym_C has quit [Ping timeout: 240 seconds]
maattdd has joined #ocaml
ustunozg_ has quit [Remote host closed the connection]
cdidd has quit [Ping timeout: 240 seconds]
Eyyub has quit [Quit: WeeChat 0.4.1]
_JokerDoom has quit [*.net *.split]
ygrek has quit [*.net *.split]
divyanshu has quit [*.net *.split]
sad0ur has quit [*.net *.split]
wwilly has quit [*.net *.split]
tristero has quit [*.net *.split]
SHODAN has quit [*.net *.split]
samebchase has quit [*.net *.split]
ivan\ has quit [*.net *.split]
mk270 has quit [*.net *.split]
alpounet has quit [*.net *.split]
jludlam has quit [*.net *.split]
axiles has quit [*.net *.split]
yacks has quit [*.net *.split]
cantstanya has quit [*.net *.split]
brendan has quit [*.net *.split]
yroeht has quit [*.net *.split]
osnr has quit [*.net *.split]
cthuluh has quit [*.net *.split]
patronus has quit [*.net *.split]
diakopter has quit [*.net *.split]
pjdelport has quit [*.net *.split]
hyperboreean has quit [*.net *.split]
rwmjones has quit [*.net *.split]
emmanueloga has quit [*.net *.split]
Cypi has quit [*.net *.split]
thizanne has quit [*.net *.split]
bernardofpc has quit [*.net *.split]
TaXules has quit [*.net *.split]
whitequark has quit [*.net *.split]
nickmeharry has quit [*.net *.split]
j0sh has quit [*.net *.split]
bartbes has quit [*.net *.split]
darkf has quit [*.net *.split]
ggherdov has quit [*.net *.split]
malo has quit [*.net *.split]
ousado_ has quit [*.net *.split]
BiDOrD_ has quit [*.net *.split]
ski has quit [*.net *.split]
igitoor has quit [*.net *.split]
ssbr has quit [*.net *.split]
fx has quit [*.net *.split]
alex_nx_ has quit [*.net *.split]
hcarty has quit [*.net *.split]
Derander_ has quit [*.net *.split]
reynir has quit [*.net *.split]
mdenes2 has quit [*.net *.split]
gasche has quit [*.net *.split]
puzza007 has quit [*.net *.split]
msch has quit [*.net *.split]
jyc has quit [*.net *.split]
olasd has quit [*.net *.split]
jzelinskie has quit [*.net *.split]
leifw has quit [*.net *.split]
__marius____ has quit [*.net *.split]
SethTisue_______ has quit [*.net *.split]
nk0 has quit [*.net *.split]
jlouis has quit [*.net *.split]
steshaw has quit [*.net *.split]
rossberg_ has quit [*.net *.split]
zozozo has quit [*.net *.split]
bitbckt has quit [*.net *.split]
gereedy has quit [*.net *.split]
mal`` has quit [*.net *.split]
_habnabit has quit [*.net *.split]
mcclurmc has quit [*.net *.split]
badon has quit [*.net *.split]
hefner has quit [*.net *.split]
srax has quit [*.net *.split]
zarul has quit [*.net *.split]
tizoc has quit [*.net *.split]
IbnFirnas has quit [*.net *.split]
n0v has quit [*.net *.split]
robink has quit [*.net *.split]
seliopou has quit [*.net *.split]
siddharthv has quit [*.net *.split]
gargawel has quit [*.net *.split]
pollux has quit [*.net *.split]
iZsh has quit [*.net *.split]
Asmadeus has quit [*.net *.split]
Arthur_Raibow has quit [*.net *.split]
xaimus has quit [*.net *.split]
mrvn has quit [*.net *.split]
maufred has quit [*.net *.split]
rks` has quit [*.net *.split]
wormphlegm has quit [*.net *.split]
thorsten` has quit [*.net *.split]
aggelos_ has quit [*.net *.split]
rs0 has quit [*.net *.split]
xenocons has quit [*.net *.split]
bcuccioli has quit [*.net *.split]
divyanshu has joined #ocaml
_JokerDoom has joined #ocaml
wwilly has joined #ocaml
ivan\ has joined #ocaml
ygrek has joined #ocaml
tristero has joined #ocaml
samebchase has joined #ocaml
mk270 has joined #ocaml
SHODAN has joined #ocaml
ustunozgur has joined #ocaml
sad0ur has joined #ocaml
emmanueloga has joined #ocaml
yacks has joined #ocaml
brendan has joined #ocaml
diakopter has joined #ocaml
jludlam has joined #ocaml
yroeht has joined #ocaml
pjdelport has joined #ocaml
bartbes has joined #ocaml
osnr has joined #ocaml
j0sh has joined #ocaml
alpounet has joined #ocaml
patronus has joined #ocaml
cthuluh has joined #ocaml
axiles has joined #ocaml
hyperboreean has joined #ocaml
thizanne has joined #ocaml
nickmeharry has joined #ocaml
bernardofpc has joined #ocaml
rwmjones has joined #ocaml
cantstanya has joined #ocaml
whitequark has joined #ocaml
TaXules has joined #ocaml
Cypi has joined #ocaml
robink has joined #ocaml
ski has joined #ocaml
ousado_ has joined #ocaml
malo has joined #ocaml
igitoor has joined #ocaml
fx has joined #ocaml
steshaw has joined #ocaml
gereedy has joined #ocaml
hcarty has joined #ocaml
rossberg_ has joined #ocaml
nk0 has joined #ocaml
gasche has joined #ocaml
puzza007 has joined #ocaml
BiDOrD_ has joined #ocaml
olasd has joined #ocaml
Derander_ has joined #ocaml
SethTisue_______ has joined #ocaml
mal`` has joined #ocaml
alex_nx_ has joined #ocaml
msch has joined #ocaml
_habnabit has joined #ocaml
leifw has joined #ocaml
mdenes2 has joined #ocaml
darkf has joined #ocaml
__marius____ has joined #ocaml
jzelinskie has joined #ocaml
ggherdov has joined #ocaml
reynir has joined #ocaml
ssbr has joined #ocaml
bitbckt has joined #ocaml
jlouis has joined #ocaml
jyc has joined #ocaml
zozozo has joined #ocaml
seliopou has joined #ocaml
maufred has joined #ocaml
siddharthv has joined #ocaml
wormphlegm has joined #ocaml
xaimus has joined #ocaml
rs0 has joined #ocaml
gargawel has joined #ocaml
thorsten` has joined #ocaml
iZsh has joined #ocaml
pollux has joined #ocaml
aggelos_ has joined #ocaml
Arthur_Raibow has joined #ocaml
xenocons has joined #ocaml
mrvn has joined #ocaml
bcuccioli has joined #ocaml
Asmadeus has joined #ocaml
rks` has joined #ocaml
mcclurmc has joined #ocaml
hefner has joined #ocaml
srax has joined #ocaml
badon has joined #ocaml
tizoc has joined #ocaml
IbnFirnas has joined #ocaml
n0v has joined #ocaml
zarul has joined #ocaml
alexst has joined #ocaml
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
jludlam has quit [Remote host closed the connection]
Aym_C has joined #ocaml
Aym_C has quit [Ping timeout: 264 seconds]
ustunozgur has quit [Remote host closed the connection]
petterw_ is now known as petterw
alpounet has quit [Remote host closed the connection]
alpounet has joined #ocaml
jabesed has joined #ocaml
yacks has quit [Read error: Connection reset by peer]
thomasga has quit [Quit: Leaving.]
alpounet has quit [Ping timeout: 272 seconds]
SethTisue has joined #ocaml
Submarine has quit [Ping timeout: 250 seconds]
Submarine has joined #ocaml
SethTisue has quit [Quit: SethTisue]
_andre has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
Submarine has quit [Ping timeout: 240 seconds]
mcclurmc has joined #ocaml
eikke__ has quit [Ping timeout: 240 seconds]
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
Aym_C has joined #ocaml
jludlam has joined #ocaml
Aym_C has quit [Ping timeout: 240 seconds]
eikke__ has joined #ocaml
siddharthv is now known as siddharthv_away
q66 has quit [Ping timeout: 240 seconds]
arj has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
q66 has joined #ocaml
Anarchos has joined #ocaml
maattdd has quit [Ping timeout: 256 seconds]
maattdd has joined #ocaml
maattdd has quit [Ping timeout: 272 seconds]
rand000 has joined #ocaml
jabesed has quit [Quit: Konversation terminated!]
Submarine has joined #ocaml
BitPuffin has quit [Ping timeout: 250 seconds]
ygrek has joined #ocaml
maattdd has joined #ocaml
maattdd has quit [Ping timeout: 240 seconds]
penglingbo has quit [Ping timeout: 256 seconds]
Aym_C has joined #ocaml
thomasga has joined #ocaml
Aym_C has quit [Ping timeout: 256 seconds]
maattdd has joined #ocaml
alexst has quit [Ping timeout: 260 seconds]
BitPuffin has joined #ocaml
pjdelport has quit [Quit: Connection closed for inactivity]
alpounet has joined #ocaml
ustunozgur has joined #ocaml
ggole has quit []
ggole has joined #ocaml
Kakadu has quit [Ping timeout: 246 seconds]
alpounet has quit [Ping timeout: 272 seconds]
Kakadu has joined #ocaml
mcclurmc has joined #ocaml
Kakadu has quit [Ping timeout: 246 seconds]
ustunozgur has quit [Read error: No route to host]
divyanshu has quit [Quit: Computer has gone to sleep.]
penglingbo has joined #ocaml
maattdd has quit [Ping timeout: 240 seconds]
Aym_C has joined #ocaml
Aym_C has quit [Ping timeout: 240 seconds]
ustunozgur has joined #ocaml
ustunozgur has quit [Read error: Connection reset by peer]
ustunozgur has joined #ocaml
ustunozgur has quit [Read error: Connection reset by peer]
avsm has joined #ocaml
avsm has quit [Client Quit]
ustunozgur has joined #ocaml
divyanshu has joined #ocaml
thomasga has quit [Quit: Leaving.]
darkf has quit [Quit: Leaving]
Submarine has quit [Remote host closed the connection]
avsm has joined #ocaml
alpounet has joined #ocaml
ustunozgur has quit [Read error: Connection reset by peer]
yacks has joined #ocaml
jludlam has quit [Ping timeout: 240 seconds]
avsm has quit [Quit: Leaving.]
bjorkintosh has quit [Ping timeout: 260 seconds]
rand000 has quit [Ping timeout: 260 seconds]
arjunguha has joined #ocaml
andreypopp has quit [Ping timeout: 260 seconds]
Hannibal_Smith has joined #ocaml
jludlam has joined #ocaml
root_empire has joined #ocaml
andreypopp has joined #ocaml
michael_lee has quit [Ping timeout: 250 seconds]
arjunguh_ has joined #ocaml
arjunguha has quit [Ping timeout: 240 seconds]
refaktor has joined #ocaml
Aym_C has joined #ocaml
_0xAX has quit [Remote host closed the connection]
Kakadu has joined #ocaml
bjorkintosh has joined #ocaml
arjunguha has joined #ocaml
rand000 has joined #ocaml
Aym_C has quit [Ping timeout: 240 seconds]
arjunguh_ has quit [Ping timeout: 264 seconds]
eikke__ has quit [Ping timeout: 240 seconds]
pjdelport has joined #ocaml
thomasga has joined #ocaml
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
slash^ has joined #ocaml
cago has quit [Quit: cago]
thomasga has quit [Quit: Leaving.]
arjunguha has joined #ocaml
philtor_ has joined #ocaml
Reventlov has joined #ocaml
Hannibal_Smith has quit [Quit: Sto andando via]
mcclurmc has quit [Remote host closed the connection]
thomasga has joined #ocaml
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Aym_C has joined #ocaml
philtor_ has quit [Ping timeout: 240 seconds]
claudiuc has joined #ocaml
Aym_C has quit [Ping timeout: 240 seconds]
tane has joined #ocaml
rand000 has quit [Quit: leaving]
elfring has joined #ocaml
tidren has joined #ocaml
divyanshu has quit [Quit: Textual IRC Client: www.textualapp.com]
tidren has quit [Remote host closed the connection]
Thooms has joined #ocaml
racycle has joined #ocaml
arjunguha has joined #ocaml
Arsenik has joined #ocaml
Kakadu has quit [Ping timeout: 246 seconds]
tane has quit [Quit: Verlassend]
S11001001 has quit [Changing host]
S11001001 has joined #ocaml
olauzon has joined #ocaml
BitPuffin has quit [Read error: Connection reset by peer]
BitPuffin has joined #ocaml
jwatzman|work has joined #ocaml
Aym_C has joined #ocaml
jludlam has quit [Remote host closed the connection]
Aym_C has quit [Ping timeout: 264 seconds]
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ollehar has joined #ocaml
maattdd has joined #ocaml
Hannibal_Smith has joined #ocaml
_0xAX has joined #ocaml
dsheets has quit [Ping timeout: 250 seconds]
boogie has joined #ocaml
eikke__ has joined #ocaml
tane has joined #ocaml
robink has quit [Changing host]
robink has joined #ocaml
NoNNaN has quit [Ping timeout: 264 seconds]
ollehar has quit [Ping timeout: 240 seconds]
dsheets has joined #ocaml
NoNNaN has joined #ocaml
Aym_C has joined #ocaml
thomasga has quit [Quit: Leaving.]
Aym_C has quit [Ping timeout: 240 seconds]
ollehar has joined #ocaml
Thooms has quit [Quit: WeeChat 0.3.8]
Thooms has joined #ocaml
malc has joined #ocaml
penglingbo has quit [Ping timeout: 240 seconds]
root_empire has quit [Quit: Ex-Chat]
demonimin_ has quit [Ping timeout: 256 seconds]
Thooms has quit [Quit: WeeChat 0.3.8]
Thooms has joined #ocaml
dapz has joined #ocaml
WraithM has joined #ocaml
hockpa2e has joined #ocaml
Thooms has quit [Client Quit]
demonimin has joined #ocaml
demonimin has quit [Changing host]
demonimin has joined #ocaml
Kakadu has joined #ocaml
waneck has joined #ocaml
_tca_ is now known as _tca
_tca has quit [Changing host]
_tca has joined #ocaml
_tca has joined #ocaml
zpe has quit [Remote host closed the connection]
dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
_0xAX has quit [Remote host closed the connection]
dapz has joined #ocaml
Eyyub has joined #ocaml
dsheets has quit [Ping timeout: 256 seconds]
alexst has joined #ocaml
malc has quit [Quit: leaving]
arjunguha has joined #ocaml
dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
dapz has joined #ocaml
philtor_ has joined #ocaml
ollehar has quit [Ping timeout: 240 seconds]
ygrek has quit [Ping timeout: 240 seconds]
maattdd has quit [Ping timeout: 260 seconds]
manizzle has joined #ocaml
manizzle has quit [Client Quit]
manizzle has joined #ocaml
rishabhjain has joined #ocaml
arjunguh_ has joined #ocaml
rishabhjain has quit []
arjunguha has quit [Ping timeout: 264 seconds]
alexst has quit [Ping timeout: 240 seconds]
zpe has joined #ocaml
philtor_ has quit [Ping timeout: 240 seconds]
michael_lee has joined #ocaml
alexst has joined #ocaml
NoNNaN has quit [Remote host closed the connection]
NoNNaN has joined #ocaml
zpe has quit [Remote host closed the connection]
Anarchos has quit [Ping timeout: 260 seconds]
maattdd has joined #ocaml
zpe has joined #ocaml
arjunguh_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
typedlambda has quit [Ping timeout: 250 seconds]
q66_ has joined #ocaml
refaktor has quit [Ping timeout: 256 seconds]
q66 has quit [Disconnected by services]
q66_ is now known as q66
michael_lee has quit [Quit: Ex-Chat]
philtor_ has joined #ocaml
refaktor has joined #ocaml
typedlambda has joined #ocaml
ollehar has joined #ocaml
arjunguha has joined #ocaml
dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
dapz has joined #ocaml
matematikaadit has joined #ocaml
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Eyyub has quit [Ping timeout: 256 seconds]
tnguyen1 has joined #ocaml
hhugo has joined #ocaml
arjunguha has joined #ocaml
matematikaadit has quit [Read error: Connection reset by peer]
matematikaadit has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
philtor_ has quit [Ping timeout: 272 seconds]
<rwmjones> another arm64 bug: http://caml.inria.fr/mantis/view.php?id=6489
Eyyub has joined #ocaml
matematikaadit has quit [Quit: Leaving]
philtor_ has joined #ocaml
alexst has quit [Ping timeout: 264 seconds]
zpe_ has joined #ocaml
Anarchos has joined #ocaml
<orbitz> is Async usable from utop?
<jerith> I believe Real World OCaml mentions it.
<orbitz> looks like it whee
zpe has quit [Ping timeout: 240 seconds]
hockpa2e has quit [Quit: Leaving]
_andre has quit [Quit: leaving]
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
tnguyen1 has quit [Quit: tnguyen1]
hhugo has quit [Quit: Leaving.]
NoNNaN has quit [Ping timeout: 264 seconds]
rand000 has joined #ocaml
axiles has quit [Remote host closed the connection]
zpe_ has quit [Remote host closed the connection]
rand000 has quit [Read error: Connection reset by peer]
rand000_ has joined #ocaml
NoNNaN has joined #ocaml
arjunguha has joined #ocaml
arjunguha has quit [Client Quit]
alexst has joined #ocaml
Simn has quit [Quit: Leaving]
ggole has quit []
alexst has quit [Ping timeout: 272 seconds]
tane has quit [Quit: Verlassend]
baz__ has quit [*.net *.split]
gustav___ has quit [*.net *.split]
maurer has quit [*.net *.split]
gustav___ has joined #ocaml
maurer has joined #ocaml
baz_ has joined #ocaml
tnguyen1 has joined #ocaml
alpounet has quit [Remote host closed the connection]
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
alpounet has joined #ocaml
alpounet has quit [Ping timeout: 240 seconds]
elfring has quit [Quit: Konversation terminated!]
dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
dapz has joined #ocaml
AltGr has left #ocaml [#ocaml]
Anarchos has joined #ocaml
olauzon has quit [Quit: olauzon]
dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
dapz has joined #ocaml
Submarine has joined #ocaml
Submarine has joined #ocaml
<rwmjones> gasche: can you apply my trivial code fix, see: http://caml.inria.fr/mantis/view.php?id=6489
ollehar has quit [Ping timeout: 240 seconds]
alpounet has joined #ocaml
S11001001 has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
Kakadu has quit [Quit: Konversation terminated!]
tobiasBora has joined #ocaml
<tobiasBora> Hello,
<tobiasBora> I would like to know if there is a way to ask to the OS a place to put a configuration folder
<tobiasBora> For example I would like to put in a file the url of some repo, which should be different for each user, but I don't know how to do.
<pjdelport> tobiasBora: There's the XDG convention: http://standards.freedesktop.org/basedir-spec/basedir-spec-latest.html
<pjdelport> $XDG_CONFIG_HOME, defaulting to $HOME/.config
<pjdelport> (with a subdirectory for your application)
zpe has joined #ocaml
<rwmjones> virt-builder (https://github.com/libguestfs/libguestfs/tree/master/builder) has some code to deal with XDG_* environment variables
<rwmjones> TBH I prefer using $HOME ..
<tobiasBora> pjdelport: Thank you ! My XDG_CONFIG_HOME var is empty so it should be $HOME/.config. But this solution wouldn't work on non Unix system right ?
alexst has joined #ocaml
<rwmjones> on Windows you'd probably just use \\Users\\<username>>
zpe has quit [Ping timeout: 240 seconds]
<tobiasBora> rwmjones: And I put it anywhere in the User folder ?
<tobiasBora> rwmjones: And thank you this code is helpfull
<CcxCZ> I think Qt had nice convenience class that did "the right thing" across platforms
Arsenik has quit [Remote host closed the connection]
<tobiasBora> It would be nice to have a thing like that with Ocaml
<CcxCZ> ie. used what was common configuration storage on win/mac/other unix (xdg-conforming there)
<CcxCZ> can't dig it up in the docs right now, but they described well what goes where
<tobiasBora> Ok, I may give it a look.
<tobiasBora> Thank you
<tobiasBora> A little question : what is the "//" in
<tobiasBora> Sys.getenv "XDG_CACHE_HOME" // "virt-builder"
alexst has quit [Ping timeout: 260 seconds]
<rwmjones> tobiasBora: let (//) = Filename.quote
wwilly has quit [Remote host closed the connection]
<rwmjones> oh xavierbot, where are you?
xavierbot has joined #ocaml
<xavierbot> OCaml version 4.02.0+dev10-2014-05-20
<xavierbot> File ./pa_noexternal.cmo is not a bytecode object file.
<xavierbot> Camlp4 Parsing version 4.02.0+dev10-2014-05-20
xavierbot has quit [Remote host closed the connection]
xavierbot has joined #ocaml
<xavierbot> OCaml version 4.02.0+dev10-2014-05-20
<xavierbot> Camlp4 Parsing version 4.02.0+dev10-2014-05-20
<rwmjones> let (//) = Filename.quote ;;
<rwmjones> "dir" // "file" ;;
<rwmjones> xavierbot: help
<xavierbot> hello rwmjones, I am xavierbot 0.9, an OCaml toplevel
<xavierbot> sleep go to sleep
<xavierbot> restart restart the toplevel
<xavierbot> help help message
<xavierbot> expr ;; evaluate expr in toplevel and print result
<xavierbot> wake wake me up from sleep
<rwmjones> hmm
xavierbot has quit [Remote host closed the connection]
<tobiasBora> rwmjones: It's strange // should be use with only one parameter but it is in infixe position, like if it takes two parameters... I don't understand
<tobiasBora> CcxCZ: Great !
xavierbot has joined #ocaml
<xavierbot> OCaml version 4.02.0+dev10-2014-05-20
<xavierbot> Camlp4 Parsing version 4.02.0+dev10-2014-05-20
<rwmjones> let (//) = Filename.quote ;;
<rwmjones> xavierbot: restart
<xavierbot> val ( // ) : string -> string = <fun>
<rwmjones> hmm, a bit broken
<rwmjones> let (//) = Filename.quote ;;
ustunozgur has joined #ocaml
<rwmjones> let (//) = Filename.quote ;;
<rwmjones> let (//) = Filename.quote ;;
<xavierbot> val ( // ) : string -> string = <fun>
<rwmjones> let (//) = Filename.quote ;;
<mfp_> rwmjones: shouldn't that be Filename.concat anyway?
<rwmjones> yes
mfp_ is now known as mfp
<rwmjones> sorry, I'm trying to debug perl!
<tobiasBora> Hum ok ^^ Thank you !
<mfp> tobiasBora: this might help on win32 > http://windows7tips.com/environment-variables-windows-vista-7.html (in particular, APPDATA and LOCALAPPDATA)
xavierbot has quit [Remote host closed the connection]
xavierbot has joined #ocaml
<xavierbot> OCaml version 4.02.0+dev10-2014-05-20
<xavierbot> Camlp4 Parsing version 4.02.0+dev10-2014-05-20
<rwmjones> let (//) = Filename.quote ;;
<rwmjones> let (//) = Filename.concat ;;
<rwmjones> let (//) = Filename.concat ;;
<xavierbot> val ( // ) : string -> string = <fun>
xavierbot has quit [Remote host closed the connection]
<rwmjones> definitely something has regressed/broken in POE
<rwmjones> ok last attempt
xavierbot has joined #ocaml
<xavierbot> OCaml version 4.02.0+dev10-2014-05-20
<xavierbot> Camlp4 Parsing version 4.02.0+dev10-2014-05-20
<rwmjones> let (//) = Filename.concat ;;
xavierbot has quit [Remote host closed the connection]
<rwmjones> great
jerith has quit [Ping timeout: 240 seconds]
jerith has joined #ocaml
xavierbot has joined #ocaml
<xavierbot> OCaml version 4.02.0+dev10-2014-05-20
<xavierbot> Camlp4 Parsing version 4.02.0+dev10-2014-05-20
<tobiasBora> mfp: Thank you !
<rwmjones> let (//) = Filename.concat ;;
xavierbot has quit [Remote host closed the connection]
<rwmjones> static typing FTW
Hannibal_Smith has quit [Quit: Sto andando via]
<mfp> tobiasBora: also, it's a PITA, but you need some care to handle unicode on win32, like this > https://github.com/mfp/win32unixw
<tobiasBora> mfp: bookmarked ! For the moment I think I will use a basic principe, and after I may make it more complicated
alpounet has quit [Remote host closed the connection]
<mfp> well, using good old Unix.xxx functions will do until you run into a win32 install with localized names having accents or umlauts
alpounet has joined #ocaml
<tobiasBora> mfp: You optimisation is going to be included in Ocaml itself ?
<mfp> so it's quite likely the application will choke on, say, French/German(-localized) win32 envs
<mfp> oh, hadn't done anything in that direction
maattdd has quit [Quit: WeeChat 0.4.3]
<tobiasBora> Too bad ^^ And is it present in Opam ?
<mfp> it could easily be integrated into the win32unix lib included in OCaml
<mfp> but I don't know if the compiler devel team would like to have more code to maintain
Submarine has quit [Remote host closed the connection]
<mfp> opam doesn't work on win32, so no win32unixw on opam either
<tobiasBora> That's true... Opam plans to be ported on windows no ?
<mfp> indeed, I believe there are plans to get it running on win32 eventually
<mfp> probably with little priority
<mfp> (since e.g. Jane St. would not fund that since they don't use windows)
alpounet has quit [Ping timeout: 260 seconds]
<mfp> once opam works on win32, I'll be happy to (ask somebody to ;) package win32unixw
<tobiasBora> Ok. But porting Opam to windows would be, I think, a major step to generalise the use of Ocaml. Most of my friends cannot use deep functions of ocaml because of that.
<mfp> WODI seemed close to "just working" > http://wodi.forge.ocamlcore.org/
<mfp> not as thorough as OPAM, but still quite a good kickstart
<tobiasBora> Great ! But isn't GODI dead ?
philtor_ has quit [Ping timeout: 250 seconds]
<mfp> GODI is, but WODI still lives
<mfp> which is very fortunate, because, while OPAM largely subsumes GODI on non-win32, there's AFAIK nothing as complete as WODI for win32
<tobiasBora> Ok. I ask that because they say that it's a port of GODI, so I thought they would use a common database.
<mfp> "GODI is shutting down, but WODI is still maintained."
<tobiasBora> Ok nice thank you!
jludlam has joined #ocaml
<mfp> thank WODI's maintainer if you ever use it, he's single-handedly providing what looks like the most complete ocaml-on-win32 environment out there :)
<tobiasBora> I don't wan't to use it personnally, but I could propose it to friends, and If I have the occasion it would be a pleasure to thanks him !
maattdd has joined #ocaml
<mfp> frankly, hacking on win32 is so painful (s)he deserves lots of kudos for putting up with it
rizo has joined #ocaml
<tobiasBora> Oh yes I think so...
<rizo> Is it possible to create a syntax extension to use lambdas as in haskell? writing `\x -> x + 1` instead of `fun x -> x + 1`?
<mfp> rizo: camlp4 would certainly allow you to do such a thing, but it's being phased out (to be replaced by extension points)
maattdd has quit [Ping timeout: 250 seconds]
jludlam has quit [Read error: Connection reset by peer]
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
alexst has joined #ocaml
darkf has joined #ocaml
rand000_ has quit [Ping timeout: 256 seconds]
rand000 has joined #ocaml
alexst has quit [Ping timeout: 240 seconds]
rand000 has quit [Client Quit]
claudiuc has quit [Remote host closed the connection]
philtor_ has joined #ocaml
badon has quit [Ping timeout: 264 seconds]
badon has joined #ocaml
eikke__ has quit [Ping timeout: 240 seconds]
dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
ustunozgur has quit [Remote host closed the connection]
ustunozgur has joined #ocaml
ustunozgur has quit [Ping timeout: 240 seconds]
tobiasBora has quit [Quit: Konversation terminated!]
philtor_ has quit [Ping timeout: 240 seconds]
madroach has quit [Ping timeout: 250 seconds]
madroach has joined #ocaml
NoNNaN has quit [Remote host closed the connection]
NoNNaN has joined #ocaml
ustunozgur has joined #ocaml
dapz has joined #ocaml
ustunozgur has quit [Ping timeout: 250 seconds]
badon has quit [Ping timeout: 250 seconds]
badon has joined #ocaml
alexst has joined #ocaml
philtor_ has joined #ocaml
shinnya has joined #ocaml
alexst has quit [Ping timeout: 240 seconds]