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 5B6547F0F9 for ; Wed, 25 Nov 2015 16:30:31 +0100 (CET) IronPort-PHdr: 9a23:BlMwCxXKg1+79uaJ3/HyKoCSxwPV8LGtZVwlr6E/grcLSJyIuqrYZhCAt8tkgFKBZ4jH8fUM07OQ6PC9HzNQqsnR+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3CwN5K6zPF5LIiIzvjqbpq8CVPFUD22r1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu2pN5g/GESg9HxyKHEu5MDtnR/eQRfJ63cBFG4QxElmGQ/AuT73RJu5iTf9svJ40S+cdZn3S74zcTuv9asuUwPvjD8CPjg/tm3a3J8jxJlHqQ6s8kQsi7XfZ5uYYaJz Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=info@gerd-stolpmann.de; spf=None smtp.mailfrom=info@gerd-stolpmann.de; spf=None smtp.helo=postmaster@mout.kundenserver.de Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=pra; client-ip=212.227.126.187; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=mailfrom; client-ip=212.227.126.187; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.kundenserver.de) identity=helo; client-ip=212.227.126.187; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="postmaster@mout.kundenserver.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AkAABb01VWlLt+49ReDoMBf2+vRYxjghoBDYFmFwaFcgKBQDgUAQEBAQEBAQEQAQEBAQcLCwkfMIItgggBAQQjMiQQCQJCAgJXBhMJiCYDCZAqnTWQKgEBAQEBBQEBAQEBFQmFWYV5hGaCVQwuE4ExBYdKjw2BCQKMKokck0IfAQGCaYEfP3EBhSsBAQE X-IPAS-Result: A0AkAABb01VWlLt+49ReDoMBf2+vRYxjghoBDYFmFwaFcgKBQDgUAQEBAQEBAQEQAQEBAQcLCwkfMIItgggBAQQjMiQQCQJCAgJXBhMJiCYDCZAqnTWQKgEBAQEBBQEBAQEBFQmFWYV5hGaCVQwuE4ExBYdKjw2BCQKMKokck0IfAQGCaYEfP3EBhSsBAQE X-IronPort-AV: E=Sophos;i="5.20,343,1444687200"; d="asc'?scan'208";a="189082115" Received: from mout.kundenserver.de ([212.227.126.187]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 25 Nov 2015 16:30:30 +0100 Received: from office1.lan.sumadev.de ([94.219.117.134]) by mrelayeu.kundenserver.de (mreue002) with ESMTPSA (Nemesis) id 0LuGZT-1aR0uD2Y1n-011m2X; Wed, 25 Nov 2015 16:30:10 +0100 Received: from [IPv6:fd54:fbcf:6598:7e::1001] (unknown [IPv6:fd54:fbcf:6598:7e::1001]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id A7C3EDC05D; Wed, 25 Nov 2015 16:30:07 +0100 (CET) Message-ID: <1448465405.23576.13.camel@e130.lan.sumadev.de> From: Gerd Stolpmann To: =?UTF-8?Q?=E6=B2=88=E8=83=9C=E5=AE=87?= Cc: caml-list Date: Wed, 25 Nov 2015 16:30:05 +0100 In-Reply-To: <3796b53d.4c21.1513ef59b69.Coremail.syshen@nudt.edu.cn> References: <3796b53d.4c21.1513ef59b69.Coremail.syshen@nudt.edu.cn> Content-Type: multipart/signed; micalg="pgp-sha1"; protocol="application/pgp-signature"; boundary="=-hxlhKAL2qoj/TiGKcLgK" X-Mailer: Evolution 3.10.4-0ubuntu2 Mime-Version: 1.0 X-Provags-ID: V03:K0:UtXIcOtplXHtbzz+4eJOltZZUyutPieumHoY9CxhhYZGou5Nu+D OWamaWpM2m6pedbLuCbAKDKJCeb8jfdw1UWC4EeAssWaIL//P0lmwfMmt3ZfeXBrjtu76Rd dykZ5rzQDoRPVHmdFNYQh4nqDPL9T42fhnlu7nBe4ZHbgp8sor3ll2lrjCRB9IFHMOMgZPa J5h6zec7cahXdKxxplk8A== X-UI-Out-Filterresults: notjunk:1;V01:K0:YSsCzsKcW0E=:0wVRuLhxp0kpS0Decj58m5 T1yR7fK09sK1RK6u+OSKKmOKt4g9/Zgo0tVg94z5bNU0rtE282+2FPiYYZ7DmCOQrT0IqFhv8 n20cTMUvmU3TwFMMCMP9pfSt72ulAg1+EypWxosazTYq6DBM25fR9IbsBsp5RNax9+8+ZOBRu VlkBR6cnq6NIC0JRgFjX9hB/ft/eS6Vd+/3bc/ycDPKOcwU4tnm4lu6TAqmCgxnET4+BcOEYj GtyyojLFepo9+dNgz7MPaqocIORlNdQ5a0uGL8O8dWMnrqhxlPDq5ERSsAdJf1lJ7IgKu0Hkf 5mrykar/pgzEpMT3NAvHhimV/uh8/IbCIF+BrHXpAgOhUCQ/RlWZHl5wSyIb9HElg1KCVizMu sLXBGxwfaB6n6c1FZJErmnv29/ahuwwnaSmsFC+LPK+Qq9W2QFyfgiQuJEosBya0vIkXj6S/+ BwsCHSDBhvPE2amTQ0wU1gQdZPx4WQpdyQH04u9EJTwYTZy5Muj0T9aRdrpfl6uXR2Q3M4TSd 3aRCRIMPF2t3Tk5kkz3w9r/nRzDlJX/eIIfUp5ddyTvLIEMbSArsbHGrQEqCK5mzJTxtlg9/3 +uiels8xo665xaR7NlRUVY1DgLqbPvfs1981SxOOb++db3MPRgTm3ZIOBtlNhHoc5qCYaGYvs izRDTv9gT99PNU+qty7kC4gpEyVUsk+RmQpaTJum2rmk3docKMlS+Xg8ai6wqSEZduB0= Subject: Re: [Caml-list] [OCAML]:: how to switch buffer in ocamllex? --=-hxlhKAL2qoj/TiGKcLgK Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Am Mittwoch, den 25.11.2015, 22:04 +0800 schrieb =E6=B2=88=E8=83=9C=E5=AE= =87: > Dear all: >=20 > I am using ocamllex to write a lexer, the language I am analyzing have > "include" mechanism that refer to another file. >=20 > So how can I open the refered file and switch to it in ocamllex? Just open it with Lexing.from_file, and recursively call the lexer from itself. Gerd --=20 ------------------------------------------------------------ Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de My OCaml site: http://www.camlcity.org Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de ------------------------------------------------------------ --=-hxlhKAL2qoj/TiGKcLgK Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQEcBAABAgAGBQJWVdP9AAoJEAaM4b9ZLB5TpcwH/3jdr33GA4AK2RA6FBZdOc4H Iv8yYBwSR5ZVqUqe91fhCyWHXhd8a8NAqr0VC7etRIW9KlBXKaGTzrE37IFZy/C+ Jwbyji/WKTzBEsrq9nG9Zikc+kKIiVTMCReafNsEk3MdZwHZiC7rDeQyoJy/pbpN SpGWJzw5O9apOFxGwn8T9x8o82OlINiZCwIe+FXgWFwPBtMA8zKyGOLpCSy8trLo kZ2np16umq3JsAdOaK9ZeAv7ttMagolR3cK+Bo1rexCkLP8mr+TJ2hKiOWo4qaJJ Med0WjZ7nj426+iNK6mOMqpV8nnptSctKAWF16wMGkiXBp/MjRu4wQaGRY2b57k= =X/Fo -----END PGP SIGNATURE----- --=-hxlhKAL2qoj/TiGKcLgK--