adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org and http://caml.inria.fr | http://ocaml.org/releases/4.02.0.html | Public channel logs at http://irclog.whitequark.org/ocaml
hausdorff has joined #ocaml
Alx08-ru has joined #ocaml
AlexRussia has joined #ocaml
darkf has joined #ocaml
appd has joined #ocaml
tnguyen has joined #ocaml
struktured has quit [Read error: No route to host]
mcclurmc has quit [Ping timeout: 265 seconds]
ollehar has quit [Ping timeout: 265 seconds]
araujo has joined #ocaml
omqal has joined #ocaml
omqal has quit [Client Quit]
bjorkintosh has quit [Ping timeout: 272 seconds]
avsm has quit [Quit: Leaving.]
bjorkintosh has joined #ocaml
ToTheInt1rnet has joined #ocaml
ToTheInternet has quit [Ping timeout: 246 seconds]
SomeDamnBody has quit [Ping timeout: 240 seconds]
mcclurmc has joined #ocaml
rishabhjain has joined #ocaml
Simn has quit [Quit: Leaving]
ygrek_ has joined #ocaml
eikke has joined #ocaml
appd_ has joined #ocaml
appd has quit [Ping timeout: 258 seconds]
tnguyen has quit [Quit: tnguyen]
appd has joined #ocaml
iorivur has joined #ocaml
appd_ has quit [Ping timeout: 265 seconds]
eikke has quit [Ping timeout: 272 seconds]
shinnya has quit [Ping timeout: 255 seconds]
bjorkintosh has quit [Quit: Leaving]
samrat has joined #ocaml
bjorkintosh has joined #ocaml
kandu has joined #ocaml
misv has quit [Ping timeout: 258 seconds]
misv has joined #ocaml
robink has quit [Ping timeout: 244 seconds]
lordkryss has quit [Quit: Connection closed for inactivity]
taion809 has quit [Ping timeout: 255 seconds]
taion809 has joined #ocaml
huza has joined #ocaml
yomimono has joined #ocaml
nuki has joined #ocaml
ygrek_ has quit [Remote host closed the connection]
ygrek has joined #ocaml
Khady has quit [Quit: No Ping reply in 180 seconds.]
Khady has joined #ocaml
nicoo has quit [Ping timeout: 264 seconds]
badkins has quit [Remote host closed the connection]
nicoo has joined #ocaml
PM has quit [Ping timeout: 246 seconds]
tizoc is now known as tizoc_
Bluddy has joined #ocaml
robink has joined #ocaml
samrat has quit [Ping timeout: 272 seconds]
samrat has joined #ocaml
huza has quit [Ping timeout: 245 seconds]
samrat has quit [Quit: Computer has gone to sleep.]
ontologiae has quit [Ping timeout: 240 seconds]
appd has quit [Remote host closed the connection]
robink has quit [Ping timeout: 244 seconds]
robink has joined #ocaml
taion809 has quit [Remote host closed the connection]
shinnya has joined #ocaml
c74d has quit [Remote host closed the connection]
shinnya has quit [Ping timeout: 255 seconds]
c74d has joined #ocaml
yomimono has quit [Ping timeout: 246 seconds]
ygrek has quit [Remote host closed the connection]
ygrek has joined #ocaml
iorivur has quit [Ping timeout: 260 seconds]
iorivur has joined #ocaml
tizoc_ is now known as tizoc
meiji11 has quit [Ping timeout: 260 seconds]
yomimono has joined #ocaml
mcclurmc_ has joined #ocaml
iorivur has quit [Ping timeout: 246 seconds]
mcclurmc has quit [Ping timeout: 258 seconds]
iorivur has joined #ocaml
path[l] has joined #ocaml
PM has joined #ocaml
axiles has joined #ocaml
iorivur has quit [Ping timeout: 240 seconds]
yomimono has quit [Ping timeout: 240 seconds]
ygrek has quit [Ping timeout: 244 seconds]
rishabhjain has quit []
samrat has joined #ocaml
manizzle has quit [Read error: Connection timed out]
manizzle has joined #ocaml
slash^ has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
oscar_toro has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
manizzle has quit [Ping timeout: 250 seconds]
manizzle has joined #ocaml
WraithM has joined #ocaml
slash^ has joined #ocaml
MercurialAlchemi has joined #ocaml
path[l] has quit [Quit: path[l]]
ggole has joined #ocaml
morphles has joined #ocaml
Hannibal_Smith has joined #ocaml
appd has joined #ocaml
ebzzry has quit [Read error: Connection reset by peer]
ebzzry has joined #ocaml
samrat has joined #ocaml
psy_ has quit [Ping timeout: 245 seconds]
morphles has quit [Ping timeout: 240 seconds]
psy_ has joined #ocaml
morphles has joined #ocaml
avsm has joined #ocaml
ToTheInt1rnet has quit [Ping timeout: 240 seconds]
WraithM has quit [Ping timeout: 244 seconds]
appd has quit [Quit: Leaving...]
ysz has joined #ocaml
tane has joined #ocaml
Submarine has joined #ocaml
Simn has joined #ocaml
Arsenik has joined #ocaml
avsm has quit [Quit: Leaving.]
Submarine has quit [Quit: Leaving]
tani has joined #ocaml
Bluddy has quit [Quit: Connection closed for inactivity]
tane has quit [Ping timeout: 272 seconds]
psy_ has quit [Quit: Leaving]
kakadu has joined #ocaml
samrat has quit [Ping timeout: 240 seconds]
psy has quit [Ping timeout: 260 seconds]
ygrek has joined #ocaml
zpe has joined #ocaml
zpe has quit [Remote host closed the connection]
<whitequark> what can add a constraint 'a = unit to a class?
marynate has joined #ocaml
<flux> did you notice that 'show' has type unit Lwt.t, not 'a Lwt.t?
oscar_toro has quit [Ping timeout: 246 seconds]
<whitequark> I did, eventually.
<whitequark> I forgot a pair of parentheses somewhere completely else in a 1200-line file
<whitequark> 0/10 would not do again
ygrek has quit [Ping timeout: 245 seconds]
hausdorff has quit [Remote host closed the connection]
<flux> well, you could write a patch to enhance the error message ;-)
<whitequark> you basically told me to fuck off.
<whitequark> in an ostensibly polite way.
<whitequark> (we could start from the fact that the problem is not the error message, it is first and foremost how inference works. I'm not sure it's even *possible* to make a sensible error message for this case.)
hausdorff has joined #ocaml
<flux> well, the error could point out the smalll difference between the two signatures
<flux> I think that kind of diagnostics could be useful in many situations
<flux> easy for computers, difficult for humans, however good we are at pattern detection :-)
<whitequark> oh, yes, sure, but that wouldn't help me fix it even a little
<flux> not even a little?-(
<flux> you would start by replacing show with failwith "meh"?-)
<whitequark> it was obvious from the start that *somewhere*, I unified 'a with unit
<whitequark> I did replace it!
<whitequark> it didn't help
<flux> oh
<flux> well, perhaps some kind of cool feedback from the compiler to the editor would be the key
<flux> somehow visualizing how it ends up saying what it does
<whitequark> mayyyybe
<flux> but that's probably a research project.
<flux> so university folks here, pay attention ;-)
ygrek has joined #ocaml
* whitequark says something about university folks and quality of UIs
* whitequark says several more things about camlp4
<flux> but the things are all nice
<whitequark> >camlp4
<whitequark> >nice
<flux> (I meant to say 'bet', but 'but' is fine as well ;-))
lordkryss has joined #ocaml
* whitequark has de-camlp4ized lambda-term
<whitequark> now, lwt!
shinnya has joined #ocaml
<whitequark> oh, I also broke it
<def`> whitequark: hey, I have a plan to display all places a type got unified through merlin… But it will be in quite a long-time :P
<whitequark> def`: oh I was about to complain
<whitequark> the thing in sublime-text-merlin that shows you the error when you put cursor into a region is broken
<whitequark> it shows only the first line of error, with the File ... line ... characters ...
kakadu has quit [Quit: Konversation terminated!]
<whitequark> even when it inexplicably does not, you also don't remove \n's
kakadu has joined #ocaml
<def`> whitequark: I know nothing about sublime-text / ui, feel free to send improvements \o/
<whitequark> def`: it's not about UI at all
<whitequark> you just need to strip the error location from the error text
<whitequark> I don't think it should be the responsibility of sublime-text-merlin, rather merlin itself
<def`> Ah ok, I didn't understand your complain. You're right
<def`> (still, if you know how to improve integration in sublime-text, don't refrain yourself from writing some python :P)
<whitequark> def`: well, when you put the cursor inside a region with an error, s-t-m tries to show the error in the status bar
<whitequark> but it puts only the first line there, which contains the file, line and character range
<whitequark> it's completely useless
<def`> Yep, I agree
ollehar has joined #ocaml
ygrek has quit [Ping timeout: 260 seconds]
ygrek has joined #ocaml
ysz_ has joined #ocaml
ysz has quit [Quit: Leaving]
hausdorff has quit [Remote host closed the connection]
thomasga has joined #ocaml
<def`> whitequark: pushed.
<whitequark> thanks!
<whitequark> do you strip \n as well?
<whitequark> (otherwise OCaml wants to do its own wrapping of the error message, and again it gets truncated in Sublime)
marynate has quit [Quit: Leaving]
ygrek has quit [Remote host closed the connection]
<def`> whitequark: nop, I'll look at that
ygrek has joined #ocaml
thomasga has quit [Quit: Leaving.]
ygrek has quit [Remote host closed the connection]
ygrek has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 272 seconds]
CaptainRant has joined #ocaml
<CaptainRant> Should i use opam 1.2.0 over the stable version ?
thomasga has joined #ocaml
<whitequark> opam 1.2 will be released very soon, so you certainly can do it
psy has joined #ocaml
<CaptainRant> Why does `opam config env` add its own exec path as the first to PATH ? Isn't this a security risk ?
<def`> It is the whole purpose of opam to manage a local prefix :P. But I agree, UNIX is a security risk
<whitequark> CaptainRant: no, it's not.
<whitequark> a security risk would be adding . to PATH
<CaptainRant> But i have full writing access to .opam/system/bin, so if its listed first in PATH, it will be prefered for search.
<CaptainRant> And everything running with my permissions shouldn't be able to override sudo
<def`> CaptainRant: if something is added to .opam/system/bin, it means you don't have control over something executing with your credentials, your security is already an illusion
<CaptainRant> Ah, ok. And how does opam verify the packages and deps it fetches from opam.ocaml.org ?
<whitequark> it does not
<whitequark> if this is a problem for you, do not use opam.
huza has joined #ocaml
<gasche> CaptainRant: it is possible to setup your .opam in root space
slash^1 has joined #ocaml
<gasche> I guess just chown -R root ~/.opam would work
<gasche> (but you can put it in eg. /opt at installation time)
<CaptainRant> Its not about beeing compromised after installation. Its about trusting what opam downloads.
<gasche> you'll have to get admin rights when installing packages, of course
<gasche> I'm talking about your first PATH point
thomasga has quit [Quit: Leaving.]
oscar_toro has joined #ocaml
slash^ has quit [Ping timeout: 272 seconds]
ygrek has quit [Ping timeout: 244 seconds]
ygrek has joined #ocaml
zpe has joined #ocaml
zpe has quit [Remote host closed the connection]
ygrek_ has joined #ocaml
<ygrek_> any idea how to make --enable-tests the default for the project with oasis?
<ygrek_> setting "Run: true" in Test section has no effect
<ygrek_> maybe that's a bug
ygrek has quit [Remote host closed the connection]
CaptainRant has quit [Quit: WeeChat 0.4.3]
Arsenik has quit [Remote host closed the connection]
<whitequark> I don't think that's possible
<whitequark> well, you can override ./configure, I think
Thooms has joined #ocaml
huza has quit [Quit: WeeChat 0.3.8]
<ygrek_> yeah, that's ugly
ygrek_ has quit [Ping timeout: 260 seconds]
AlexRussia has quit [Quit: WeeChat 1.1-dev]
Hannibal_Smith has quit [Quit: Sto andando via]
Alx08-ru has quit [Read error: Connection reset by peer]
AlexRussia has joined #ocaml
rand000 has joined #ocaml
morphles has quit [Ping timeout: 260 seconds]
ysz_ has quit [Ping timeout: 265 seconds]
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
ygrek_ has joined #ocaml
deavid has quit [Ping timeout: 250 seconds]
zpe has joined #ocaml
zpe has quit [Ping timeout: 260 seconds]
vpm has quit [Quit: co'o]
vpm has joined #ocaml
nuki has quit [Quit: ChatZilla 0.9.91 [Iceweasel 31.1.0/20140903072827]]
jao has quit [Ping timeout: 245 seconds]
jabesed has joined #ocaml
deavid has joined #ocaml
samrat has joined #ocaml
q66[lap] has quit [Quit: Textual IRC Client: www.textualapp.com]
morphles has joined #ocaml
ygrek_ has quit [Ping timeout: 260 seconds]
WraithM has joined #ocaml
shinnya has quit [Ping timeout: 246 seconds]
WraithM has quit [Ping timeout: 260 seconds]
q66[lap] has joined #ocaml
darkf has quit [Quit: Leaving]
ToTheInternet has joined #ocaml
taion809 has joined #ocaml
ysz_ has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
def` has quit [Read error: Connection reset by peer]
ysz_ has quit [Ping timeout: 260 seconds]
yomimono has joined #ocaml
jabesed has quit [Quit: Konversation terminated!]
ontologiae has joined #ocaml
def-lkb has joined #ocaml
WraithM has joined #ocaml
yomimono has quit [Ping timeout: 260 seconds]
yomimono has joined #ocaml
ontologiae has quit [Ping timeout: 255 seconds]
ygrek_ has joined #ocaml
taion809 has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
slash^1 has quit [Read error: Connection reset by peer]
mcclurmc_ has quit [Ping timeout: 255 seconds]
ysz_ has joined #ocaml
zz_anildigital is now known as anildigital
ysz_ has quit [Remote host closed the connection]
Bluddy has joined #ocaml
dsheets has joined #ocaml
avsm has joined #ocaml
samrat has joined #ocaml
dsheets has quit [Ping timeout: 260 seconds]
dsheets has joined #ocaml
yomimono has quit [Ping timeout: 272 seconds]
dsheets has quit [Ping timeout: 272 seconds]
dsheets has joined #ocaml
ollehar has quit [Ping timeout: 245 seconds]
dsheets has quit [Ping timeout: 260 seconds]
dsheets has joined #ocaml
Thooms has quit [Quit: WeeChat 1.0.1]
oriba has joined #ocaml
WraithM has quit [Ping timeout: 260 seconds]
kakadu has quit [Quit: Konversation terminated!]
sheijk has joined #ocaml
WraithM has joined #ocaml
kakadu has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
anildigital is now known as zz_anildigital
kakadu has quit [Client Quit]
kakadu has joined #ocaml
ethycol has joined #ocaml
ethycol has quit [Quit: WeeChat 0.4.2]
samrat has joined #ocaml
dsheets has quit [Ping timeout: 255 seconds]
dsheets has joined #ocaml
eikke has joined #ocaml
avsm has quit [Quit: Leaving.]
oriba has quit [Quit: oriba]
hausdorff has joined #ocaml
pyon has quit [Quit: switching operators]
pyon has joined #ocaml
dsheets has quit [Ping timeout: 272 seconds]
dsheets has joined #ocaml
zz_anildigital is now known as anildigital
eikke has quit [Ping timeout: 272 seconds]
<Drup> whitequark: I don't think translating lambda-term is a good idea
<Drup> in utop, it's mostly optcomp, and cppo is as easy to read as optcomp
<Drup> in lambda-term, it's only lwt.syntax, and it's really a loss in readibility
samrat has quit [Quit: Computer has gone to sleep.]
ygrek_ has quit [Ping timeout: 240 seconds]
meiji11 has joined #ocaml
ygrek_ has joined #ocaml
samrat has joined #ocaml
kakadu has quit [*.net *.split]
tani has quit [*.net *.split]
ebzzry has quit [*.net *.split]
diethyl has quit [*.net *.split]
evert has quit [*.net *.split]
flux has quit [*.net *.split]
anildigital has quit [*.net *.split]
zozozo has quit [*.net *.split]
n1ftyn8 has quit [*.net *.split]
ggherdov has quit [*.net *.split]
majoh has quit [*.net *.split]
mekaj has quit [*.net *.split]
inr has quit [*.net *.split]
mawuli has quit [*.net *.split]
evert has joined #ocaml
zozozo has joined #ocaml
mawuli has joined #ocaml
diethyl has joined #ocaml
mekaj has joined #ocaml
flux has joined #ocaml
kakadu has joined #ocaml
tani has joined #ocaml
n1ftyn8_ has joined #ocaml
ebzzry has joined #ocaml
waneck has joined #ocaml
dsheets has quit [Ping timeout: 260 seconds]
anildigital has joined #ocaml
dsheets has joined #ocaml
ggherdov has joined #ocaml
dsheets has quit [Ping timeout: 272 seconds]
dsheets has joined #ocaml
ollehar has joined #ocaml
slash^ has joined #ocaml
Arsenik has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
dsheets has quit [Ping timeout: 272 seconds]
dsheets has joined #ocaml
rand000 has quit [Ping timeout: 272 seconds]
def-lkb is now known as def`
ysz_ has joined #ocaml
<Leonidas> Drup, whitequark: Lwt 2.4.6 seems not to build on os x due to ppx/ppx.a
<Leonidas> ah, I was just about to go to the github site :-)
SomeDamnBody has joined #ocaml
<Leonidas> not that I personally care about os x anyway…
ygrek_ has quit [Ping timeout: 255 seconds]
waneck has quit [Remote host closed the connection]
Thooms has joined #ocaml
ggole has quit [Ping timeout: 240 seconds]
testcocoon has quit [Quit: Coyote finally caught me]
slash^ has quit [Read error: Connection reset by peer]
testcocoon has joined #ocaml
ysz_ has quit [Remote host closed the connection]
WraithM has quit [Ping timeout: 272 seconds]
dsheets has quit [Ping timeout: 258 seconds]
dsheets has joined #ocaml
avsm has joined #ocaml
SomeDamnBody has quit [Ping timeout: 255 seconds]
badkins has joined #ocaml
ollehar has quit [Ping timeout: 272 seconds]
badkins has quit [Ping timeout: 245 seconds]
zpe has joined #ocaml
ollehar has joined #ocaml
dsheets has quit [Ping timeout: 272 seconds]
dsheets has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 250 seconds]
MercurialAlchemi has joined #ocaml
psy has quit [Quit: Leaving]
anildigital is now known as zz_anildigital
jonludlam has joined #ocaml
zpe has quit [Remote host closed the connection]
meiji11 has quit [Read error: Connection reset by peer]
manud has joined #ocaml
rand000 has joined #ocaml
morphles has quit [Ping timeout: 240 seconds]
manizzle has quit [Ping timeout: 272 seconds]
manizzle has joined #ocaml
axiles has quit [Remote host closed the connection]
psy has joined #ocaml
avsm has quit [Quit: Leaving.]
MercurialAlchemi has quit [Ping timeout: 246 seconds]
manud has quit [Quit: manud]
dsheets has quit [Ping timeout: 240 seconds]
MercurialAlchemi has joined #ocaml
manud has joined #ocaml
eikke has joined #ocaml
badkins has joined #ocaml
oscar_toro has quit [Ping timeout: 255 seconds]
badkins has quit [Ping timeout: 272 seconds]
Submarine has joined #ocaml
Hannibal_Smith has joined #ocaml
tani has quit [Quit: Verlassend]
NoNNaN has quit [Remote host closed the connection]
zpe has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 272 seconds]
zpe has quit [Ping timeout: 260 seconds]
araujo has quit [Read error: Connection reset by peer]
araujo has joined #ocaml
manud has quit [Quit: manud]
shinnya has joined #ocaml
Submarine has quit [Remote host closed the connection]
Arsenik has quit [Ping timeout: 272 seconds]
ollehar has quit [Ping timeout: 272 seconds]
SomeDamnBody has joined #ocaml
manud has joined #ocaml
nze has joined #ocaml
bytbox has quit [Ping timeout: 255 seconds]
segmond has quit [Ping timeout: 240 seconds]
dsheets has joined #ocaml
zpe has joined #ocaml
zpe has quit [Remote host closed the connection]
ToTheInternet has quit [Ping timeout: 240 seconds]
segmond has joined #ocaml
ToTheInternet has joined #ocaml
Hannibal_Smith has quit [Quit: Sto andando via]
bytbox has joined #ocaml
ollehar has joined #ocaml
ollehar has quit [Ping timeout: 244 seconds]
manud has quit [Quit: manud]
ollehar has joined #ocaml
manud has joined #ocaml
ollehar has quit [Ping timeout: 260 seconds]
Simn has quit [Quit: Leaving]
badkins has joined #ocaml
zz_anildigital is now known as anildigital
anildigital is now known as zz_anildigital
kakadu has quit [Quit: Konversation terminated!]
Submarine has joined #ocaml
Submarine has joined #ocaml
manud has quit [Quit: manud]
zpe has joined #ocaml
manud has joined #ocaml
zpe has quit [Ping timeout: 255 seconds]
madroach has quit [Ping timeout: 250 seconds]
jonludlam has quit [Quit: Coyote finally caught me]
madroach has joined #ocaml
Thooms has quit [Quit: WeeChat 1.0.1]
taion809 has joined #ocaml
manud has quit [Quit: manud]