From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <Sebastien.Hinderer@inria.fr>
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 358E47F6C9
	for <caml-list@sympa.inria.fr>; Tue, 27 Jan 2015 12:46:03 +0100 (CET)
X-IronPort-AV: E=Sophos;i="5.09,474,1418079600"; 
   d="scan'208";a="118838994"
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 12:46:03 +0100
Received: from shindere by pl-59055.rocqadm.inria.fr with local (Exim 4.84)
	(envelope-from <Sebastien.Hinderer@inria.fr>)
	id 1YG4cD-0005KV-DQ
	for caml-list@inria.fr; Tue, 27 Jan 2015 12:47:29 +0100
Date: Tue, 27 Jan 2015 12:47:29 +0100
From: =?utf-8?Q?S=C3=A9bastien?= Hinderer <Sebastien.Hinderer@inria.fr>
To: caml-list@inria.fr
Message-ID: <20150127114729.GA20369@pl-59055.rocqadm.inria.fr>
Mail-Followup-To: caml-list@inria.fr
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
Subject: [Caml-list] This expression has type ...

Dear all,

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"?

Like so:

Thexpression (foo bar) has type ...

Many thanks,
Sébastien.