From: "Sébastien Hinderer" <Sebastien.Hinderer@inria.fr>
To: caml-list@inria.fr
Subject: Re: [Caml-list] This expression has type ...
Date: Tue, 27 Jan 2015 13:15:55 +0100 [thread overview]
Message-ID: <20150127121555.GB22672@pl-59055.rocqadm.inria.fr> (raw)
In-Reply-To: <20150127.125627.2001587085468205110.Christophe.Troestler@umons.ac.be>
Christophe Troestler (2015/01/27 12:56 +0100):
> > It sometimes happens to me that I have troubles locating the exact
> > expression OCaml reers to in error messages. So, I am wonering: would it
> > be possible to have a mode where the error message would include the
> > expression itself, rather than the "This"?
>
> If you compile within Emacs (C-c C-c), you can just click on the error
> to go to the right location.
Well, I have merlin installed and strangely enough it seems to detect
more errors than the OCaml compiler. Perhaps because it's not reading
all the modules it should. The errors are missing type constructors
andother values...
> It will temporarily highlight the expression the error is about.
Well, as a blind user, the highlighting is not very convenient. Perhaps
there could be an option which, whenenabled, would mark the expression
as an emacs region.
Thanks,
Sébastien.
next prev parent reply other threads:[~2015-01-27 12:14 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-01-27 11:47 Sébastien Hinderer
[not found] ` <20150127.125627.2001587085468205110.Christophe.Troestler@umons.ac.be>
2015-01-27 12:15 ` Sébastien Hinderer [this message]
2015-01-27 23:48 ` Ivan Gotovchits
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20150127121555.GB22672@pl-59055.rocqadm.inria.fr \
--to=sebastien.hinderer@inria.fr \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).