lapinou 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 | Public logs at http://tunes.org/~nef/logs/ocaml/
rta has quit [Ping timeout: 246 seconds]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
maurer_ is now known as maurer
rta has joined #ocaml
zpe has quit [Ping timeout: 255 seconds]
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
q66 has quit [Quit: Leaving]
nikki93 has quit [Remote host closed the connection]
rta has quit [Ping timeout: 245 seconds]
travisbrady has joined #ocaml
travisbrady has quit [Client Quit]
ollehar has quit [Ping timeout: 240 seconds]
rta has joined #ocaml
talzeus has quit [Read error: Connection reset by peer]
zpe has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
watermind has quit [Quit: Konversation terminated!]
nikki93 has joined #ocaml
j78 has joined #ocaml
ygrek has joined #ocaml
talzeus has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
zpe has joined #ocaml
zpe has quit [Ping timeout: 255 seconds]
jpdeplaix has quit [Ping timeout: 246 seconds]
ygrek has joined #ocaml
nikki93 has quit [Remote host closed the connection]
jpdeplaix has joined #ocaml
darkf_ has joined #ocaml
darkf has quit [Ping timeout: 265 seconds]
nikki93 has joined #ocaml
rta has quit [Ping timeout: 245 seconds]
j78 has quit [Read error: Connection reset by peer]
rta has joined #ocaml
zzing has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
pawelbx has joined #ocaml
michael_lee has joined #ocaml
darkf_ is now known as darkf
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zpe has joined #ocaml
zpe has quit [Ping timeout: 255 seconds]
siddhart1v_away is now known as siddharthv
siddharthv is now known as siddharthv_away
ggole has joined #ocaml
siddharthv_away is now known as siddharthv
yacks has joined #ocaml
axiles has joined #ocaml
nickmeharry has quit [Ping timeout: 264 seconds]
nickmeharry has joined #ocaml
zzing has joined #ocaml
siddharthv is now known as siddharthv_away
rand000 has joined #ocaml
zpe has joined #ocaml
bjorkintosh has quit [Read error: No route to host]
zpe has quit [Ping timeout: 252 seconds]
zzing has quit [Ping timeout: 240 seconds]
bjorkintosh has joined #ocaml
araujo has quit [Quit: Leaving]
siddharthv_away is now known as siddharthv
ygrek has quit [Ping timeout: 240 seconds]
rand000 has quit [Ping timeout: 255 seconds]
zpe has joined #ocaml
siddharthv is now known as siddharthv_away
zpe has quit [Ping timeout: 252 seconds]
ygrek has joined #ocaml
WraithM has joined #ocaml
maufred has joined #ocaml
willy_ has joined #ocaml
maufred has quit [Client Quit]
maufred has joined #ocaml
AltGr has joined #ocaml
elfring has joined #ocaml
siddharthv_away is now known as siddharthv
yacks has quit [Read error: Operation timed out]
zpe has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
yacks has joined #ocaml
zpe has joined #ocaml
divyanshu has joined #ocaml
Simn has joined #ocaml
g06|in has joined #ocaml
Thooms has joined #ocaml
<g06|in> I’m having trouble using utop; can someone help? http://imgur.com/zuKB5b5 The terminal is unusable after starting utop. The garbled text at the bottom in the picture is one issue.
g06|in has left #ocaml []
g06|in has joined #ocaml
pyon has joined #ocaml
<def-lkb> g06|in: what is the value of $TERM ?
<g06|in> def-lkb: xterm-256color
rand000 has joined #ocaml
Kakadu has joined #ocaml
rand000 has quit [Ping timeout: 252 seconds]
<def-lkb> g06|in: ok, I have no idea what is going wrong… could you just try "TERM=xterm utop"? xterm terminfo is probably simpler to handle…
<g06|in> def-lkb: thanks! inside xterm it works
g06|in has left #ocaml []
WraithM has quit [Ping timeout: 255 seconds]
cantstanya has quit [Ping timeout: 240 seconds]
ivan\ has quit [Ping timeout: 246 seconds]
ivan\ has joined #ocaml
cantstanya has joined #ocaml
nikki93 has quit [Remote host closed the connection]
ikaros has joined #ocaml
rand000 has joined #ocaml
<hyperboreean> I'm using Core and trying to convert "~/bin/mypath" to an absolute path by using Filename.realpath. That raises an exception, but I don't really understand why since the file is there. I guess my question is how do I expand
<hyperboreean> ~
<flux> I don't think such a function would know about ~ and ~foo notations
<flux> I don't have a suggetion for a replacement either, though
<flux> it's probably 20 lines or so to write one.. and then realize it already exists :)
<hyperboreean> yeah, on the other hand, I'm in control on whether I specify the file as an expanded path or not ... so I guess I can move on without worrying too much about this
<flux> maybe there's a shell-oriented library with such an expansion
siddharthv is now known as siddharthv_away
jonludlam has joined #ocaml
nikki93 has joined #ocaml
siddharthv_away is now known as siddharthv
interstatus has quit [Remote host closed the connection]
rand000 has quit [Ping timeout: 252 seconds]
avsm has joined #ocaml
mort___ has joined #ocaml
rand000 has joined #ocaml
rand000 has quit [Client Quit]
rand000 has joined #ocaml
avsm has quit [Quit: Leaving.]
ollehar has joined #ocaml
julm_ is now known as julm
rand000 has quit [Ping timeout: 253 seconds]
<thorsten`> # (+)
<thorsten`> # (+) ;;
willy_ has quit [Quit: This computer has gone to sleep]
willb1 has quit [Read error: Operation timed out]
tane has joined #ocaml
willb1 has joined #ocaml
rand000 has joined #ocaml
maattdd_ has joined #ocaml
<flux> #ocaml is not a toplevel ;)
siddharthv is now known as siddharthv_away
fraggle_ has quit [Remote host closed the connection]
|jbrown| has joined #ocaml
|jbrown| has quit [Remote host closed the connection]
<Kakadu> Characters 10-13:
<Kakadu> #ocaml is not a toplevel ;)
<Kakadu> ^^^
<Kakadu> Error: Syntax error
pawelbx has quit [Ping timeout: 240 seconds]
<thorsten`> hm what i actually was wondered about was this: in (1 + 2) the + operator makes an int out of two ints and (+) is of type int -> int -> int. in (1 :: [2;3]) the :: operator makes an int list. so i would guess that (::) is of type 'a -> 'a list -> 'a list, but ocaml can't find any operator in (::)
keen__ has joined #ocaml
keen__ is now known as keen_
<thorsten`> ah, it's a standard question and covered by http://stackoverflow.com/questions/19477822/ocaml-cons-operator
<companion_cube> o/
talzeus has quit [Remote host closed the connection]
araujo has joined #ocaml
_andre has joined #ocaml
rand000 has quit [Ping timeout: 252 seconds]
ygrek has quit [Ping timeout: 252 seconds]
Thooms has quit [Ping timeout: 240 seconds]
axiles has quit [Ping timeout: 252 seconds]
cow-orke1 is now known as cow-orker
<adrien_oww> anyone aware of an UI for unison on windows which is not the default gtk+ one?
talzeus has joined #ocaml
talzeus_ has joined #ocaml
talzeus has quit [Ping timeout: 265 seconds]
Hannibal_Smith has joined #ocaml
ousado has quit [Read error: Connection reset by peer]
shinnya has joined #ocaml
darkf has quit [Quit: Leaving]
pyon has quit [Quit: brb]
ygrek has joined #ocaml
axiles has joined #ocaml
ousado has joined #ocaml
divyanshu has quit [Quit: Computer has gone to sleep.]
saml has joined #ocaml
Thooms has joined #ocaml
nlucaroni has joined #ocaml
rand000 has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
divyanshu has joined #ocaml
shinnya has quit [Ping timeout: 240 seconds]
Hannibal_Smith has quit [Quit: Sto andando via]
claudiuc has quit [Remote host closed the connection]
Thooms has quit [Quit: WeeChat 0.3.8]
mmachenry has joined #ocaml
aurynj has joined #ocaml
lostcuaz has joined #ocaml
rta has quit [Ping timeout: 246 seconds]
lostcuaz has quit [Client Quit]
lostcuaz has joined #ocaml
Yoric has joined #ocaml
rta has joined #ocaml
jwatzman|work has joined #ocaml
mort___ has quit [Ping timeout: 252 seconds]
claudiuc has joined #ocaml
Hannibal_Smith has joined #ocaml
willy_ has joined #ocaml
_5kg has quit [Ping timeout: 240 seconds]
mmachenry1 has joined #ocaml
mmachenry has quit [Read error: Connection reset by peer]
tlockney_away is now known as tlockney
mmachenry1 has quit [Client Quit]
mort___ has joined #ocaml
claudiuc has quit [Read error: No route to host]
claudiuc has joined #ocaml
Yoric has quit [Ping timeout: 255 seconds]
mmachenry has joined #ocaml
mmachenry has quit [Quit: Leaving.]
mmachenry has joined #ocaml
mmachenry has quit [Client Quit]
WraithM has joined #ocaml
jbrown has joined #ocaml
mmachenry has joined #ocaml
ygrek has joined #ocaml
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
jbrown has quit [Ping timeout: 246 seconds]
jbrown has joined #ocaml
_5kg has joined #ocaml
Yoric has joined #ocaml
Yoric has quit [Ping timeout: 255 seconds]
jonludlam has quit [Remote host closed the connection]
jwatzman|work has quit [Quit: jwatzman|work]
q66 has joined #ocaml
mreca has joined #ocaml
mreca has quit [Client Quit]
tane has quit [Quit: Verlassend]
claudiuc has quit [Read error: No route to host]
Kakadu has quit [Ping timeout: 245 seconds]
claudiuc has joined #ocaml
claudiuc has quit [Read error: Connection reset by peer]
claudiuc_ has joined #ocaml
nikki93 has quit [Ping timeout: 246 seconds]
claudiuc_ has quit [Read error: Connection reset by peer]
claudiuc has joined #ocaml
claudiuc has quit [Read error: Connection reset by peer]
claudiuc has joined #ocaml
mmachenry has quit [Quit: Leaving.]
olasd_ has joined #ocaml
olasd has quit [Quit: leaving]
Yoric has joined #ocaml
divyanshu has quit [Quit: Computer has gone to sleep.]
olasd_ is now known as olasd
AltGr has left #ocaml []
ollehar1 has joined #ocaml
Yoric has quit [Ping timeout: 255 seconds]
mmachenry has joined #ocaml
mort___ has quit [Quit: Leaving.]
ikaros has quit [Quit: Ex-Chat]
ollehar has quit [Ping timeout: 240 seconds]
ollehar1 has quit [Ping timeout: 240 seconds]
ygrek has quit [Ping timeout: 240 seconds]
ollehar has joined #ocaml
ollehar1 has joined #ocaml
ollehar1 has quit [Ping timeout: 240 seconds]
Kakadu has joined #ocaml
nikki93 has joined #ocaml
elfring has quit [Quit: Konversation terminated!]
rand000 has quit [Ping timeout: 252 seconds]
tane has joined #ocaml
nikki93 has quit [Remote host closed the connection]
mort___ has joined #ocaml
zzing has joined #ocaml
tani has joined #ocaml
tane has quit [Read error: Operation timed out]
mmachenry has quit [Quit: Leaving.]
claudiuc has quit [Remote host closed the connection]
claudiuc has joined #ocaml
mmachenry has joined #ocaml
ollehar has quit [Ping timeout: 240 seconds]
tani has quit [Read error: Operation timed out]
zzing has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
tane has joined #ocaml
q66 has quit [Ping timeout: 252 seconds]
mort___ has quit [Quit: Leaving.]
jao has joined #ocaml
jao has quit [Remote host closed the connection]
jao has joined #ocaml
jao is now known as Guest40294
Guest40294 has quit [Changing host]
Guest40294 has joined #ocaml
Guest40294 is now known as jao
rand000 has joined #ocaml
q66 has joined #ocaml
mmachenry has quit [Quit: Leaving.]
nikki93 has joined #ocaml
ollehar has joined #ocaml
mmachenry has joined #ocaml
Yoric has joined #ocaml
q66 has quit [Ping timeout: 252 seconds]
q66 has joined #ocaml
Yoric has quit [Ping timeout: 255 seconds]
elfring has joined #ocaml
Yoric has joined #ocaml
patronus_ has joined #ocaml
flx_ has joined #ocaml
flx_ is now known as Guest6192
bartbes_ has joined #ocaml
ousado_ has joined #ocaml
Asmadeus_ has joined #ocaml
gasche_ has joined #ocaml
johnelse_ has joined #ocaml
[BNC]dant3 has joined #ocaml
devn_ has joined #ocaml
rs0_ has joined #ocaml
yan__ has joined #ocaml
ousado has quit [*.net *.split]
flux has quit [*.net *.split]
johnelse has quit [*.net *.split]
patronus has quit [*.net *.split]
dant3 has quit [*.net *.split]
inr has quit [*.net *.split]
gasche has quit [*.net *.split]
smiler has quit [*.net *.split]
hyPiRion has quit [*.net *.split]
rs0 has quit [*.net *.split]
Asmadeus has quit [*.net *.split]
devn has quit [*.net *.split]
yan_ has quit [*.net *.split]
bartbes has quit [*.net *.split]
def-lkb has quit [*.net *.split]
Guest6192 is now known as flux
_andre has quit [Quit: leaving]
mmachenry has quit [Quit: Leaving.]
Hannibal_Smith has quit [Quit: Sto andando via]
mmachenry has joined #ocaml
ikaros has joined #ocaml
michael_lee has quit [Quit: Ex-Chat]
Asmadeus_ is now known as Asmadeus
Asmadeus has quit [Changing host]
Asmadeus has joined #ocaml
elfring has quit [Quit: Konversation terminated!]
sgnb` has joined #ocaml
sgnb has quit [Remote host closed the connection]
mmachenry has quit [Quit: Leaving.]
ggole has quit []
sgnb` has quit [Remote host closed the connection]
oriba has joined #ocaml
jonludlam has joined #ocaml
sgnb` has joined #ocaml
hyPiRion has joined #ocaml
axiles has quit [Remote host closed the connection]
mmachenry has joined #ocaml
def-lkb has joined #ocaml
inr has joined #ocaml
maufred_ has joined #ocaml
maufred_ has quit [Client Quit]
jwatzman|work has joined #ocaml
Submarine has quit [Remote host closed the connection]
smiler has joined #ocaml
willy_ has quit [Quit: This computer has gone to sleep]
Yoric has quit [Ping timeout: 255 seconds]
zzing has joined #ocaml
maufred_ has joined #ocaml
Yoric has joined #ocaml
zzing_ has joined #ocaml
zzing has quit [Ping timeout: 255 seconds]
maufred_ has quit [Quit: leaving]
jwatzman|work has quit [Quit: jwatzman|work]
jwatzman|work has joined #ocaml
rand000 has quit [Quit: leaving]
yan__ is now known as yan_
malo has joined #ocaml
tlockney is now known as tlockney_away
iZsh has quit [Quit: ZNC - http://znc.in]
Kakadu has quit [Quit: Konversation terminated!]
iZsh has joined #ocaml
tlockney_away is now known as tlockney
mmachenry has quit [Quit: Leaving.]
tane has quit [Quit: Verlassend]
milosn has quit [Ping timeout: 255 seconds]
milosn has joined #ocaml
nlucaroni has quit [Quit: leaving]
ousado_ is now known as ousado
ousado has quit [Changing host]
ousado has joined #ocaml
lordkryss has joined #ocaml
ousado has quit [Read error: Connection reset by peer]
ikaros has quit [Quit: Ex-Chat]
ousado has joined #ocaml
mal`` has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
zzing_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Simn has quit [Quit: Leaving]
mal`` has joined #ocaml
ivan\ has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
ivan\ has joined #ocaml
Yoric has quit [Ping timeout: 255 seconds]
mmachenry has joined #ocaml
darkf has joined #ocaml
mmachenry has quit [Quit: Leaving.]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
madroach has quit [Ping timeout: 252 seconds]
madroach has joined #ocaml
zpe has quit [Ping timeout: 252 seconds]
WraithM has quit [Ping timeout: 252 seconds]
NoNNaN has quit [Remote host closed the connection]
NoNNaN has joined #ocaml
tautologico has joined #ocaml
<tautologico> can I install an opam package from the filesystem?
tlockney is now known as tlockney_away