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 359637EEF8 for ; Thu, 30 Jul 2015 10:51:54 +0200 (CEST) X-IronPort-AV: E=Sophos;i="5.15,576,1432591200"; d="scan'208";a="172107239" Received: from pl-59055.rocqadm.inria.fr ([128.93.59.55]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 30 Jul 2015 10:51:54 +0200 Received: from shindere by pl-59055.rocqadm.inria.fr with local (Exim 4.84) (envelope-from ) id 1ZKjdg-0000Rz-G4 for caml-list@inria.fr; Thu, 30 Jul 2015 10:56:32 +0200 Date: Thu, 30 Jul 2015 10:56:32 +0200 From: =?utf-8?Q?S=C3=A9bastien?= Hinderer To: caml-list@inria.fr Message-ID: <20150730085632.GA1692@pl-59055.rocqadm.inria.fr> Mail-Followup-To: caml-list@inria.fr References: <20150728155638.GA27761@pl-59055.rocqadm.inria.fr> <1438244466.807779.337036689.55800F88@webmail.messagingengine.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <1438244466.807779.337036689.55800F88@webmail.messagingengine.com> Subject: Re: [Caml-list] updating position in an ocamllex lexer Dear Leo, Many thanks for your response. You are abslutely right. pos_cnum was precisely _the_ field not to modify. By examining the positions more closely I realised what I had to do (adjusting pos_boland pos_lnum) and now things work perfectly well. Thanks again, Sébastien.