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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 35FD57F6C9 for ; Wed, 28 Jan 2015 00:48:41 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of ivg@ieee.org) identity=pra; client-ip=209.85.213.49; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="ivg@ieee.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of ivg@ieee.org designates 209.85.213.49 as permitted sender) identity=mailfrom; client-ip=209.85.213.49; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="ivg@ieee.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-yh0-f49.google.com) identity=helo; client-ip=209.85.213.49; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="postmaster@mail-yh0-f49.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BbAQAII8hUmzHVVdFZAYNYWQG0EAkGgnWPS4VxAoEcQwEBAQEBEQEBAQEBBgsLCRQuhA0BAQMBElwLBQsLBCEMAhM0AQUBChIGExIQh3YDCQgFCLQhPjGbDQOFNAEBAQEBAQEBAQEBAQEBAQEBAQEBARcKhXqJcAQHJwGCboETBYRCCoU7iDKFVoEVNoRpiEuBczWBFYQuUYECJIEcAQEB X-IPAS-Result: A0BbAQAII8hUmzHVVdFZAYNYWQG0EAkGgnWPS4VxAoEcQwEBAQEBEQEBAQEBBgsLCRQuhA0BAQMBElwLBQsLBCEMAhM0AQUBChIGExIQh3YDCQgFCLQhPjGbDQOFNAEBAQEBAQEBAQEBAQEBAQEBAQEBARcKhXqJcAQHJwGCboETBYRCCoU7iDKFVoEVNoRpiEuBczWBFYQuUYECJIEcAQEB X-IronPort-AV: E=Sophos;i="5.09,477,1418079600"; d="scan'208,217";a="97924906" Received: from mail-yh0-f49.google.com ([209.85.213.49]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 28 Jan 2015 00:48:40 +0100 Received: by mail-yh0-f49.google.com with SMTP id v1so7420053yhn.8 for ; Tue, 27 Jan 2015 15:48:38 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:content-type:mime-version:subject:from :in-reply-to:date:cc:message-id:references:to; bh=ajuwmlIV48tDmU2FxKgnR8I2vGP4rnZGF3khlCNEo4Y=; b=L6uCguTyFPGJPZMWOAf/d/fEsXlOOe5geHlwMBOM2ceo68uBHp8u8JvXeTa7C6HnIV l54CBqGcb0gq/gtmE00L3HTAsv8NGOXJM4xtPXnofUYMRUhnP/XCbb30k9YEnI7fyp1/ OniBEw+eOWe5byQMJ3ysqpu9UN7TtA8A4p+x6Oz8ObNakjCXhdcp18SGjPBlOll5N3w9 MT2O22O7BW+JjMgXCp8vdKiAvaY4ly5ghyZ/Tm72XZlReg03rE3w/M6Rnsi4WLCynHHy leg7mrH70iBaGn/DlTYt0BIlPheSsxzgDh13qnR4brqUj8vBGwWQDRqr0TO2ZVSCYhfA hqXw== X-Gm-Message-State: ALoCoQkX/ZKnkqvQcmaNCBTzinGNrz9d46VV9kRSS7/xctBN/UbTzDd5/sLbCXpIiugQyFl/kRLg X-Received: by 10.170.129.13 with SMTP id v13mr114860ykb.73.1422402518646; Tue, 27 Jan 2015 15:48:38 -0800 (PST) Received: from [10.59.14.10] ([65.205.30.226]) by mx.google.com with ESMTPSA id e95sm1572813yhq.53.2015.01.27.15.48.37 (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Tue, 27 Jan 2015 15:48:38 -0800 (PST) Content-Type: multipart/alternative; boundary="Apple-Mail=_75D51562-8062-459F-BBFE-1531C3FFA4E0" Mime-Version: 1.0 (Mac OS X Mail 7.3 \(1878.6\)) From: Ivan Gotovchits In-Reply-To: <20150127121555.GB22672@pl-59055.rocqadm.inria.fr> Date: Tue, 27 Jan 2015 18:48:36 -0500 Cc: caml-list@inria.fr Message-Id: <2BF41B5C-0687-4CB5-AFD1-B63E7BE15AE0@ieee.org> References: <20150127114729.GA20369@pl-59055.rocqadm.inria.fr> <20150127.125627.2001587085468205110.Christophe.Troestler@umons.ac.be> <20150127121555.GB22672@pl-59055.rocqadm.inria.fr> To: =?iso-8859-1?Q?S=E9bastien_Hinderer?= X-Mailer: Apple Mail (2.1878.6) Subject: Re: [Caml-list] This expression has type ... --Apple-Mail=_75D51562-8062-459F-BBFE-1531C3FFA4E0 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=windows-1252 You must teach merging to understand your project. In general, you it means= that you should write a .merlin file, that should show merlin where to sea= rch for your source code, build directory and libraries you=92re using. I= t is described [1] at merlin site. Also, you can look at other projects and= use them as an example for merlin configuration [2] [1] https://github.com/the-lambda-church/merlin#merlin-project [2] https://github.com/BinaryAnalysisPlatform/bap On Jan 27, 2015, at 7:15 AM, S=E9bastien Hinderer wrote: > 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"? >>=20 >> If you compile within Emacs (C-c C-c), you can just click on the error >> to go to the right location. >=20 > 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... >=20 >> It will temporarily highlight the expression the error is about. >=20 > 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. >=20 > Thanks, > S=E9bastien. >=20 > --=20 > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs --Apple-Mail=_75D51562-8062-459F-BBFE-1531C3FFA4E0 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=windows-1252 You must teach merging= to understand your project. In general, you it means that you should write= a .merlin file, that should show merlin where to search for your source co= de, build directory and libraries you=92re using.   It is described [1= ] at merlin site. Also, you can look at other projects and use them as an e= xample for merlin configuration [2]


[1]&n= bsp;= https://github.com/the-lambda-church/merlin#merlin-project


On = Jan 27, 2015, at 7:15 AM, S=E9bastien Hinderer <Sebastien.Hinderer@inria.fr> wrote:

Christophe Tr= oestler (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: wo= uld it
be possible to have a mode where the error message would include = the
expression itself, rather than the "This"?

If yo= u 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 an= d strangely enough it seems to detect
more errors than the OCaml compile= r. Perhaps because it's not reading
all the modules it should. The error= s 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 c= onvenient. Perhaps
there could be an option which, whenenabled, would ma= rk the expression
as an emacs region.

Thanks,
S=E9bastien.
=
--
Caml-list mailing list.  Subscription management and archiv= es:
https://sympa= .inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.c= om/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs=

= --Apple-Mail=_75D51562-8062-459F-BBFE-1531C3FFA4E0--