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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id C69087ED11 for ; Thu, 22 Sep 2016 15:46:37 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=hendrik@askra.de; spf=None smtp.mailfrom=hendrik@askra.de; spf=None smtp.helo=postmaster@mx4.sysproserver.de Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of hendrik@askra.de) identity=pra; client-ip=79.133.52.36; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hendrik@askra.de"; x-sender="hendrik@askra.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of hendrik@askra.de) identity=mailfrom; client-ip=79.133.52.36; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hendrik@askra.de"; x-sender="hendrik@askra.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mx4.sysproserver.de) identity=helo; client-ip=79.133.52.36; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hendrik@askra.de"; x-sender="postmaster@mx4.sysproserver.de"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AGsRisRC3BqCB/4T7k8KzUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSP75oMbcNUDSrc9gkEXOFd2CrakV0ayO7+u+BiQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09?= =?us-ascii?q?fr2zQd+IyZzrnL7ts7ToICxwzAKnZr1zKBjk5S7wjeIxxbVYF6Aq1xHSqWFJce?= =?us-ascii?q?kFjUlhJFaUggqurpzopM0roGxsvKcq/stEFKH7ZLgQTLpCDT1gPXpmytfssEzj?= =?us-ascii?q?QA2D/HofGlkbjQEAVwjI6h3gX5TZuzD5rOM71CTMbp6+dqw9RTn3t/QjcxTvki?= =?us-ascii?q?pSbzM=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ARAABH4ONXlyQ0hU9eHQEXAQYBBQEEA?= =?us-ascii?q?QEWAQEFAQEFAYJ9AQEBAQF1t2SEEyCCSIUfOxEBAQEBAQEBAQEBARIBAQEBAQg?= =?us-ascii?q?WB0iCMhiDUzQBBIknBAGeb5xkkBuFEgWZdYYniT9ngVWHJoYIApBkNDqCLwxVg?= =?us-ascii?q?V2ISwEBAQ?= X-IPAS-Result: =?us-ascii?q?A0ARAABH4ONXlyQ0hU9eHQEXAQYBBQEEAQEWAQEFAQEFAYJ?= =?us-ascii?q?9AQEBAQF1t2SEEyCCSIUfOxEBAQEBAQEBAQEBARIBAQEBAQgWB0iCMhiDUzQBB?= =?us-ascii?q?IknBAGeb5xkkBuFEgWZdYYniT9ngVWHJoYIApBkNDqCLwxVgV2ISwEBAQ?= X-IronPort-AV: E=Sophos;i="5.30,378,1470693600"; d="scan'208";a="194313171" Received: from mx4.sysproserver.de ([79.133.52.36]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 22 Sep 2016 15:46:36 +0200 Received: from elite.askra.de (ip923449cd.dynamic.kabel-deutschland.de [146.52.73.205]) by mx4.sysproserver.de (Postfix) with ESMTPSA id C54D86515B for ; Thu, 22 Sep 2016 15:46:35 +0200 (CEST) Received: from hgw ([127.0.0.1] helo=elite.askra.de) by elite.askra.de with esmtp (Exim 4.84_2) (envelope-from ) id 1bn4Kh-0004nZ-1d for caml-list@inria.fr; Thu, 22 Sep 2016 15:46:35 +0200 From: Hendrik Tews To: caml-list@inria.fr Date: Thu, 22 Sep 2016 15:46:35 +0200 Message-ID: <87vaxo2gjo.fsf@elite.askra.de> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.4 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain Subject: [Caml-list] [ANNOUNCE] otags reloaded 4.03.1 for OCaml 4.03 Hi, I released a new version of otags for OCaml 4.03. You can find it at the usual place http://askra.de/software/otags/ under the usual license GPL v3. Otags reloaded generates tags tables for emacs and vi/vim. This is a major rewrite. After seeing more and more problems with camlp4, I decided to base otags on the standard OCaml parser from the compiler-libs library. Consequently all camlp4 parsing options and the support for tagging sources in the revised syntax or with other syntax extensions disappeared now. There are two more restrictions in this version: Methods and attributes in class types are not tagged (but the underlying problem has been fixed already with pull request 749). Finally, there is no support for source files with line directives. All in all the rewrite for the parse tree exported from compiler-libs was a pleasant experience. While the camlp4 systems was intellectually appealing, the straightforward matching on a standard OCaml variant type makes otags much simpler now. I could also flush quite a bit of code that dealt only with problems inherited from camlp4... The restriction with line directives is pretty severe because it excludes ocamlyacc, ocamllex and cppo. I have a plan for this already. I am not so sure whether the support for the revised syntax, quotations or other syntax extensions will really be missed. Any opinions on that one? Bye, Hendrik