From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 07C627F6C9 for ; Tue, 27 Jan 2015 13:14:29 +0100 (CET) X-IronPort-AV: E=Sophos;i="5.09,474,1418079600"; d="scan'208";a="118843533" Received: from pl-59055.rocqadm.inria.fr ([128.93.59.55]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 27 Jan 2015 13:14:28 +0100 Received: from shindere by pl-59055.rocqadm.inria.fr with local (Exim 4.84) (envelope-from ) id 1YG53j-0005uC-7M for caml-list@inria.fr; Tue, 27 Jan 2015 13:15:55 +0100 Date: Tue, 27 Jan 2015 13:15:55 +0100 From: =?utf-8?Q?S=C3=A9bastien?= Hinderer To: caml-list@inria.fr Message-ID: <20150127121555.GB22672@pl-59055.rocqadm.inria.fr> Mail-Followup-To: caml-list@inria.fr References: <20150127114729.GA20369@pl-59055.rocqadm.inria.fr> <20150127.125627.2001587085468205110.Christophe.Troestler@umons.ac.be> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <20150127.125627.2001587085468205110.Christophe.Troestler@umons.ac.be> Subject: Re: [Caml-list] This expression has type ... 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.