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 ESMTPS id A4F0A5D4 for ; Fri, 27 Jul 2018 18:11:01 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.51,410,1526335200"; d="scan'208,217";a="340536175" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 27 Jul 2018 20:10:59 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id A2596824B5; Fri, 27 Jul 2018 20:10:59 +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 51A7281792 for ; Fri, 27 Jul 2018 20:10:54 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=kennethadammiller@gmail.com; spf=Pass smtp.mailfrom=kennethadammiller@gmail.com; spf=None smtp.helo=postmaster@mail-lf1-f51.google.com IronPort-PHdr: =?us-ascii?q?9a23=3Aanx4ER8RXHUGzv9uRHKM819IXTAuvvDOBiVQ1KB4?= =?us-ascii?q?1escTK2v8tzYMVDF4r011RmVBduds6oMotGVmpioYXYH75eFvSJKW713fDhBt/?= =?us-ascii?q?8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1?= =?us-ascii?q?Ifn+FpLPg8it2O2+55zebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+?= =?us-ascii?q?RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTF?= =?us-ascii?q?UACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMMvrRr42RDui9b9mRxDohi?= =?us-ascii?q?kJNDA37X/ZhdBrga1BvB6svQZyz5LIbIyXMvd1Y6PTfckdRWpERstfUjJOAoW6?= =?us-ascii?q?b4QRE+oBPftTopXgqFQUqBu1GA6iBOLryj9MmHD2x7Ax3uMiEQ7Y2gwgGcwBsG?= =?us-ascii?q?jUrNrvKagdS+W1zKzJzTXHa/NZxy395ZPHchAku/6MXLZwfdDNxkkoEgPIl1Od?= =?us-ascii?q?opHmMTONzukBrXSX4u56We+si2MrsRx9rzmty8s2ioTFm4QYwU3e+ypj2oY6P9?= =?us-ascii?q?i4RVZ7YdG6FJtQsDmXN45sTcMjR2FkoSI6yrMbtZKicigHyIkrywTQa/yAdIiI?= =?us-ascii?q?7RbjW/iLLThkg3Jlfaqzhxe08Ue+1u3xTte43EpOoyZfkdTBtmoB2wHS58WFUP?= =?us-ascii?q?dw/lqt1S6K1w/J6+FEJU40lbDcK54k2rMwlYQcsULFHiDohEX2jLWZeVg+9eit?= =?us-ascii?q?7uTnY7HmppuCOI9ukQz+PaEulda+AeQ8KAQBQ2+b+eGk2L354UL5WKlKjuExkq?= =?us-ascii?q?TBrJ/VP8EbpqqgDw9R04Yj8Aq/Aiy90NUYmHkHNEhKdAiGj4jvIVHOIer3Ae2x?= =?us-ascii?q?g1S2w39XwKXNN7jlSojWI2LY2OPqdLN5rkpd0xYbzNZF5psSBKtXc9zpXUqkl9?= =?us-ascii?q?HeCBIlM0Sdz+/iQPB80ocTQyrbAaKfNq7OsVaE7+cqIu2IaZU9tzP0Kvxj7Pnr?= =?us-ascii?q?2yxq0WQBdLWkiMNEIEuzGe5rdh3AMCjcx+wZGGJPhTIQCenjiVmMSzlWPi/gUK?= =?us-ascii?q?c15zV9A4WjX96aGtKdxYeZ1SL+JaV4I3hcAwnVQ3jtfoSAHfwLbXDKe5Izonk/?= =?us-ascii?q?TbGkDrQZ+1SuuQv9kec1K+PV/mgcu8um2oUsoeLUkh42+Hp/CMHPi2w=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CBBgDcXltbhjOnVdFbg1FSgT4og36BH?= =?us-ascii?q?YJQkFSKW2iHBIcQC4dpGQcBBDQUAQIBAQIBAQEBARMBAQEICwsIGw4jDII1IoM?= =?us-ascii?q?JHQEbHgMSCQEGNwIkAREBBQEWDIMzgWcBAxWfJYMePIsJgREFAReCdQWDVAoZJ?= =?us-ascii?q?g1XgksCBhKIcBeCAINuiDOCVQKHe4VajDYJjzaOBpIlDyGBN4FzMxojUDGCOII?= =?us-ascii?q?zg06Kch8wj1IBAQ?= X-IPAS-Result: =?us-ascii?q?A0CBBgDcXltbhjOnVdFbg1FSgT4og36BHYJQkFSKW2iHBIc?= =?us-ascii?q?QC4dpGQcBBDQUAQIBAQIBAQEBARMBAQEICwsIGw4jDII1IoMJHQEbHgMSCQEGN?= =?us-ascii?q?wIkAREBBQEWDIMzgWcBAxWfJYMePIsJgREFAReCdQWDVAoZJg1XgksCBhKIcBe?= =?us-ascii?q?CAINuiDOCVQKHe4VajDYJjzaOBpIlDyGBN4FzMxojUDGCOIIzg06Kch8wj1IBA?= =?us-ascii?q?Q?= X-IronPort-AV: E=Sophos;i="5.51,410,1526335200"; d="scan'208,217";a="340536160" Received: from mail-lf1-f51.google.com ([209.85.167.51]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 27 Jul 2018 20:10:53 +0200 Received: by mail-lf1-f51.google.com with SMTP id j143-v6so4107207lfj.12 for ; Fri, 27 Jul 2018 11:10:53 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=AEYMweRULTt6C73lonnGKtKFT/uRlm7Qc0rLXBmI4WA=; b=TdtlxvxaHTzI/nzETA380Hs9gcqXK61BwgZEOBcjw77Uia00bKIhnQR0nmYZQHBJKX dBd58f+2WD6BbuG7XWHYfY6+rjmqoMYwpH1/RIF4BlNA3oMKTXqiMn7K9DAyzfpZP9sD balMh6QpJrmgszjk2Vc9Ny5K8FKgfZubwS//3WCGOs01zLcu0TlgI/1BGkBNQy4/48Bs IviyRkKa/IPsdFqjr6Mjb9sBfVjompU1HnGLt0mMF7cDcl9I8A+Xr2guY6A5wF2DgO4T jBxywYza+LHMgVKbtrZ47Cn4lcZkxetL3ISk1uqogMYuYFidusA8CHCCEp8GOdVFipem Sz4A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=AEYMweRULTt6C73lonnGKtKFT/uRlm7Qc0rLXBmI4WA=; b=LjfbHdFi4YvBH/gFyNq7Ef34ibGLRAGU51idTSpeKV7ObsD98LexdyJ+QHAn7R4B23 ZOMlIeaoI9wCnPlw8tmbBA9kVlWwaJNB51ZJrFnPxUc2ORHnVM1XbUlqL2Cuicp7RN1G ue1boPggRscWvnHVqqFPXEnIe8WqXSjWW/ZSeJ7YEGE0iXeMyGu0r2MInkssobyPAVBE tcOaBS2I2sjNGaRfjoPSVeeYvyYyCVfBkQy6Rc3vT5kHk7Gy+FIxRzkJMqhx8M3dViJA xLp65XM2FTwG5ocreODzYsGvdcr7TW4+eF/NH02X7vfrs3TbSp+nH9jMHfRs7aHfLGZx NRhg== X-Gm-Message-State: AOUpUlFwAzpRlUSqh7IPNCnlJCRDQ9b12JhoE0UjXXGiDbyxR1nYaM/i DDy+qR3EtDrWl2rl3lTHL5TV8jN5e/skHJ/nGgVR6A== X-Google-Smtp-Source: AAOMgpd3v7etwoTMx2L8T72UpK8K+Dr/KbfjTgt3MwQCmfhwSq4u8RZOKC+/IhjKfC8QuVvOqpDg9BDr1/wTuKhXo98= X-Received: by 2002:a19:a705:: with SMTP id q5-v6mr4854838lfe.148.1532715052317; Fri, 27 Jul 2018 11:10:52 -0700 (PDT) MIME-Version: 1.0 From: Kenneth Adam Miller Date: Fri, 27 Jul 2018 11:10:40 -0700 Message-ID: To: caml users Content-Type: multipart/alternative; boundary="0000000000003c41890571ff08f7" Subject: [Caml-list] cmdliner difficulties Reply-To: Kenneth Adam Miller X-Loop: caml-list@inria.fr X-Sequence: 17012 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: --0000000000003c41890571ff08f7 Content-Type: text/plain; charset="UTF-8" Hello, I have a task where I need to have command liner allow a sequence of various different types compose a certain way without having to write a small language for what belongs on the command line. Basically, I am trying to color a graph with different operations on the command line in such a way that different colors can be specified as the target of results of set operations against names of sets. For example: --color Red=(Feature1 MINUS Feature2) There are a predefined set of colors and features, and some operations that can be performed. However, because it's a grammar just like any language, there might be arbitrarily deep expressions, and because the command line won't have me constructing this in a straight forward way without writing a dedicated type parser, which might not be so clean. There are operations: difference, union, intersection, and cut. These can recur, and there are predefined list of colors that can be the targets of these results, which are calculated from sources that are features. In addition, the specification of colorings can be multiple, as in --color ... --color ... Can anybody see where they would overcome some of these difficulties? -- 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 --0000000000003c41890571ff08f7 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hello,


I have a task whe= re I need to have command liner allow a sequence of various different types= compose a certain way without having to write a small language for what be= longs on the command line.

Basically, I am trying = to color a graph with different operations on the command line in such a wa= y that different colors can be specified as the target of results of set op= erations against names of sets. For example:

--col= or Red=3D(Feature1 MINUS Feature2)

There are a predefined set of col= ors and features, and some operations that can be performed. However, becau= se it's a grammar just like any language, there might be arbitrarily de= ep expressions, and because the command line won't have me constructing= this in a straight forward way without writing a dedicated type parser, wh= ich might not be so clean.

There are operations: d= ifference, union, intersection, and cut. These can recur, and there are pre= defined list of colors that can be the targets of these results, which are = calculated from sources that are features. In addition, the specification o= f colorings can be multiple, as in --color ... --color ...

Can anybo= dy see where they would overcome some of these difficulties?
--0000000000003c41890571ff08f7--