From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 43A837F6C9 for ; Tue, 27 Jan 2015 13:25:12 +0100 (CET) X-IronPort-AV: E=Sophos;i="5.09,474,1418079600"; d="scan'208";a="118845036" 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:25:12 +0100 Received: from shindere by pl-59055.rocqadm.inria.fr with local (Exim 4.84) (envelope-from ) id 1YG5E6-0007Uf-Dx for caml-list@inria.fr; Tue, 27 Jan 2015 13:26:38 +0100 Date: Tue, 27 Jan 2015 13:26:38 +0100 From: =?utf-8?Q?S=C3=A9bastien?= Hinderer To: caml-list@inria.fr Message-ID: <20150127122638.GA26816@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] Merlin reporting false erors? Hi, As a follow-up of the discussion on sseing which expression is involved in an error message. In a project, the OCaml compiler reports an error at line 733 of amodule. When the module is opened in emacs with merlin enabled, at saving, the status line says: (34 pending errors, use C-c C-x to jump) The first error reported by merlinis at line 155. Ir complains about an unbound type constructor, but that type constructor is defined in the very same module at line 101, so even before it is used. So it seems it's not a problem of not reading the right .cmi or .cmo files,here. Is this problem already known? Thanks, Sébastien.