From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <ljs.darkfish@gmail.com>
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 702927EFC0
	for <caml-list@sympa.inria.fr>; Wed, 23 Dec 2015 06:52:14 +0100 (CET)
IronPort-PHdr: 9a23:pGVE5hEYgGUV8D0qh+R5A51GYnF86YWxBRYc798ds5kLTJ75pMuwAkXT6L1XgUPTWs2DsrQf27SQ7/+rCDVIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/niabupNaCOk1hv3mUX/BbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv50IbaKvdK09SflcDS86G2Ez/szi8xfZHiWV4X5JcHgQiR1ODEDh7VmuWpXq9CfzrOlz2TKaFcLzRLEwHz+l6vE4G1fTlC4bOmthoynsgctqgfcDrQ==
Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=ljs.darkfish@gmail.com; spf=Pass smtp.mailfrom=ljs.darkfish@gmail.com; spf=None smtp.helo=postmaster@mail-ig0-f178.google.com
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  ljs.darkfish@gmail.com) identity=pra;
  client-ip=209.85.213.178;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="ljs.darkfish@gmail.com";
  x-sender="ljs.darkfish@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  ljs.darkfish@gmail.com designates 209.85.213.178 as permitted
  sender) identity=mailfrom; client-ip=209.85.213.178;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="ljs.darkfish@gmail.com";
  x-sender="ljs.darkfish@gmail.com";
  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-ig0-f178.google.com) identity=helo;
  client-ip=209.85.213.178;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="ljs.darkfish@gmail.com";
  x-sender="postmaster@mail-ig0-f178.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0CjAAAJNnpWm7LVVdFehHkGjEuddwaIYIw1hysHPBABAQEBAQEBARABAQEBAQYLCwkhLkEMgWCBfiIRHQEbHgMSCAECBTcCJAERAQUBV4d3AQMSnVWCCIExPjGLSIFqgnmIWwoZJw1Wg0YBBQ6GAIpqglCBSgWOLohUjUyOeUSMKhIkgRc5glKBfh00g0qBXgEBAQ
X-IPAS-Result: A0CjAAAJNnpWm7LVVdFehHkGjEuddwaIYIw1hysHPBABAQEBAQEBARABAQEBAQYLCwkhLkEMgWCBfiIRHQEbHgMSCAECBTcCJAERAQUBV4d3AQMSnVWCCIExPjGLSIFqgnmIWwoZJw1Wg0YBBQ6GAIpqglCBSgWOLohUjUyOeUSMKhIkgRc5glKBfh00g0qBXgEBAQ
X-IronPort-AV: E=Sophos;i="5.20,467,1444687200"; 
   d="scan'208";a="158077538"
Received: from mail-ig0-f178.google.com ([209.85.213.178])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 23 Dec 2015 06:52:13 +0100
Received: by mail-ig0-f178.google.com with SMTP id mv3so61954353igc.0
        for <caml-list@inria.fr>; Tue, 22 Dec 2015 21:52:13 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:date:message-id:subject:from:to:content-type;
        bh=ioJPtLVlYEvslczbcQiFzEQP00fi6HetG461ma01CCg=;
        b=uma+ljUjplnZug1WPQHea3viU7ASWk3GvCpGDh4+naTEBTLjPBIyh910fvuIMmFJEF
         i2KwokJJ4LCTi41vyqJAZMWgaXA4lN5wpHwprIU08F4fojrsqwCNhWJ9Xcgz5pKGEO0s
         KklknuqRR1Wp2/3+P00ue6pTCuQVJzNEIRI4SETsNXF0pXa+UzxlVo4rNxE+ZA86Tup2
         1PRshRv9h23oWUx5lR1zc11jUbAKHBMLXCcdPCWq+aMBBauWMk6r3MWJKsbX9e2Zx3Ax
         Z0sX3FLb3pd8zRba1/c6e6PVk5Wj8umBtAWr7o7DBSdU+uSRsS8JJ798Pdml1E2IcUxw
         nCOQ==
MIME-Version: 1.0
X-Received: by 10.50.40.34 with SMTP id u2mr28442475igk.79.1450849931897; Tue,
 22 Dec 2015 21:52:11 -0800 (PST)
Received: by 10.79.38.71 with HTTP; Tue, 22 Dec 2015 21:52:11 -0800 (PST)
Date: Tue, 22 Dec 2015 21:52:11 -0800
Message-ID: <CA+kGxtPchTEVDh1hOo8NmZL0Qp-POmAHx6q0zWjUoPiVMR+dxA@mail.gmail.com>
From: Junsong Li <ljs.darkfish@gmail.com>
To: caml-list@inria.fr
Content-Type: multipart/alternative; boundary=089e0122f84cd0399f05278a525e
Subject: [Caml-list] ocamldoc lexer: why tracking line_number and
 char_number explicitly?

--089e0122f84cd0399f05278a525e
Content-Type: text/plain; charset=UTF-8

Dear list,

I am wondering why ocamldoc lexers (odoc_lexer.mll and odoc_text_lexer.mll)
do not use Lexing.position but keep tracking line number and char number
explicitly. Does this have anything to do with the Unicode?

Thanks,
Junsong

--089e0122f84cd0399f05278a525e
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">Dear list,<div><br></div><div>I am wondering why ocamldoc =
lexers (odoc_lexer.mll and odoc_text_lexer.mll) do not use Lexing.position =
but keep tracking line number and char number explicitly. Does this have an=
ything to do with the Unicode?</div><div><br></div><div>Thanks,</div><div>J=
unsong</div></div>

--089e0122f84cd0399f05278a525e--