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 c5ff346549e7 (Postfix) with ESMTP id B43855D4 for ; Sat, 28 Jul 2018 22:44:38 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.51,415,1526335200"; d="scan'208";a="340606177" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 29 Jul 2018 00:44:36 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id AEB32824C2; Sun, 29 Jul 2018 00:44:36 +0200 (CEST) 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 71F0981792 for ; Sat, 28 Jul 2018 19:54:08 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=vkni@yandex.ru; spf=Pass smtp.mailfrom=vkni@yandex.ru; spf=None smtp.helo=postmaster@forward103j.mail.yandex.net IronPort-PHdr: =?us-ascii?q?9a23=3AT7N2vRbZVKsFmsnXxLVz4yX/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZoMW4bnLW6fgltlLVR4KTs6sC17KI9fi4EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCa8bL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+?= =?us-ascii?q?RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPC?= =?us-ascii?q?TQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjm58axlVAHnhz?= =?us-ascii?q?sGNz4h8WHYlMpwjL5AoBm8oxBz2pPYbJ2JOPZ7eK7WYNEUSndbXstJVyJPHIGz?= =?us-ascii?q?b4USAeUOOuhWoYrzqVQSohalGQmhBv/jxiNSi3Pq36A31fkqHwHc3AwnGtIDqG?= =?us-ascii?q?jZrNXtNacKT++01LTDwCjdYPNOwzf97ZLHchA8qvyLQ7JwcszRyUg0GgLFlFqQ?= =?us-ascii?q?r5HqMC2a1+gXqWib8vNtWOSygGAkswF8ujiiyt0jh4TJnI4Z11TJ+CZjzIorKt?= =?us-ascii?q?C1SVZ3bcC+H5dMqS2XMop7TdghTmxtpCo3z6AKtJ+mcCUOzZkqwhrSZvOBfoOV?= =?us-ascii?q?+BzsTvyRLi19hH99eLKwmRKy8U+4x+3yUcm0ylhLoTBfktbRq3wByxLe6sqdRv?= =?us-ascii?q?t45Eih2DKP2xrT6+5eJ0A7iLTUKpE7zr42iJUTrVzPHi7wmErokK+bbkUp9vKn?= =?us-ascii?q?5unneLnqu5uROoxuhg3gPakjm9SzAeEiPQgPW2ib9/681Lrm/UDhXrVKjfs2kq?= =?us-ascii?q?jCvZHaP8sboLO2DBFa04o58Ra/Ei+q0M4EknkfMFJFZBWHgpD1NF7UJfD4Ce6z?= =?us-ascii?q?g1CtkDdw2/DLJabhA5XILnjbirjtZ7d960hGyAoy199T/ZxUCqtSaM70D2z8st?= =?us-ascii?q?rVEh9xGgC9xq7CCdF525lWDWGCBKmULKPbvVaN4+MrJ+SWTIAQsTf5bfMi4qi9?= =?us-ascii?q?o2U+nAo0fUCx0HJfQn2gBPFvIw3Nf3nqg/8QGGEGsxp4VvG82w7KaiJae3vnB/?= =?us-ascii?q?F03To8Eo/zSN6bHtn80ozE5z+yG9htXk4DD1mNFXnycIDdAqUdYSSeL98niCFW?= =?us-ascii?q?DOH9Gb9k7gmnsUrB85QiNvDdo3RKpJvl2NVloffOx0lrqG5ESv+F2mTIdFla22?= =?us-ascii?q?MFQzhsjfJxplZiw02PiPAjgbpdHN1XoeJAVAs3JdjawvAoU90=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DOAgD9rFxbgPbGLQVcHQEBBQELAYJ6U?= =?us-ascii?q?YFlKIZPkXCKXGCEHIoACyyEQAKCexkHAQQ0FAECAQECAQEBAQETAQEJDQkIGww?= =?us-ascii?q?lDII1JAGCXQMDQAEBNwEPC0ZXBoUaAQMWA6oPghyCdAEBBYNLAUkDgRKCGgiHa?= =?us-ascii?q?4EXF4IAgViCTIpUjSotjDsJgxaNWwGMTpI3gViBc38GO4JpghmJf4Q+bHgeDY4?= =?us-ascii?q?QAQE?= X-IPAS-Result: =?us-ascii?q?A0DOAgD9rFxbgPbGLQVcHQEBBQELAYJ6UYFlKIZPkXCKXGC?= =?us-ascii?q?EHIoACyyEQAKCexkHAQQ0FAECAQECAQEBAQETAQEJDQkIGwwlDII1JAGCXQMDQ?= =?us-ascii?q?AEBNwEPC0ZXBoUaAQMWA6oPghyCdAEBBYNLAUkDgRKCGgiHa4EXF4IAgViCTIp?= =?us-ascii?q?UjSotjDsJgxaNWwGMTpI3gViBc38GO4JpghmJf4Q+bHgeDY4QAQE?= X-IronPort-AV: E=Sophos;i="5.51,414,1526335200"; d="scan'208";a="340598567" Received: from forward103j.mail.yandex.net ([5.45.198.246]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 28 Jul 2018 19:54:05 +0200 Received: from mxback18j.mail.yandex.net (mxback18j.mail.yandex.net [IPv6:2a02:6b8:0:1619::94]) by forward103j.mail.yandex.net (Yandex) with ESMTP id 3218034C8C11; Sat, 28 Jul 2018 20:54:04 +0300 (MSK) Received: from localhost (localhost [::1]) by mxback18j.mail.yandex.net (nwsmtp/Yandex) with ESMTP id I5r0bDmKfV-s3iKefbh; Sat, 28 Jul 2018 20:54:03 +0300 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yandex.ru; s=mail; t=1532800443; bh=Nn3GDyl4ppd4X8SI8n7SdNLgUbnC8wH67S4TzgOxpBM=; h=From:To:Cc:In-Reply-To:References:Subject:Date:Message-Id; b=sYrCD8wUEarBk3jtQmkvKo7pn+PoZBYG+UWiWM+4GC95y2Px5ESqeDc/StM+r3qcG /s+QepP0QiDHnG9KsNm2Vhcjw+Fh8o1D/9CxH4rrbBgXShkQJ/jd7T71vx+0LbTSn4 pkKBi/4jh/DmJeecdmaigM4X/eUSKa9RtbAnNE2o= Received: by iva1-3d0d937e850f.qloud-c.yandex.net with HTTP; Sat, 28 Jul 2018 20:54:03 +0300 From: =?utf-8?B?0JDQvdC00YDQtdC5INCR0LXRgNCz0LzQsNC9?= To: Kenneth Adam Miller Cc: caml users In-Reply-To: References: MIME-Version: 1.0 X-Mailer: Yamail [ http://yandex.ru ] 5.0 Date: Sat, 28 Jul 2018 20:54:03 +0300 Message-Id: <14267431532800443@iva1-3d0d937e850f.qloud-c.yandex.net> Content-Transfer-Encoding: 7bit Content-Type: text/plain X-Validation-by: vkni@yandex.ru Subject: Re: [Caml-list] cmdliner difficulties Reply-To: =?utf-8?B?0JDQvdC00YDQtdC5INCR0LXRgNCz0LzQsNC9?= X-Loop: caml-list@inria.fr X-Sequence: 17015 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Probably a parser combinator with a small language would be a better tool for that. Parser generators look too heavy, and comman-line parsers are too light (otherwise they become optparse-applicative, which is too specific to study it => everyone uses cookbook). -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs