<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]]