From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id BB87DBCAE for ; Fri, 8 Jul 2005 18:25:54 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j68GPsK3001750 for ; Fri, 8 Jul 2005 18:25:54 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA31241 for ; Fri, 8 Jul 2005 18:25:53 +0200 (MET DST) Received: from ns3.frap.net (ns3.frap.net [69.93.35.202]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j68GPqhm001747 for ; Fri, 8 Jul 2005 18:25:53 +0200 Received: from localhost (fsh-cpe-52-173.resnet.ucsc.edu [169.233.52.173]) by ns3.frap.net (Postfix) with ESMTP id 7119E36AC6F; Fri, 8 Jul 2005 09:25:53 -0700 (PDT) Date: Fri, 8 Jul 2005 09:24:28 -0700 From: Kenneth Knowles To: Thomas Fischbacher Cc: caml-list@inria.fr Subject: Re: [Caml-list] How to raise_with_arg() a tuple? Message-ID: <20050708162428.GA24033@tallman.kefka.frap.net> References: <17101.30588.827486.654309@karryall.dnsalias.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.8i X-Miltered: at nez-perce with ID 42CEA912.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 42CEA910.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 wishlist:01 ocaml:01 syntax:01 variants:01 syntax:01 parsers:01 argv:01 minor:01 flags:01 curried:01 constructors:01 haskell:01 kenneth:98 knowles:98 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: On Fri, Jul 08, 2005 at 05:55:38PM +0200, Thomas Fischbacher wrote: > Just as a further question, not to be meant as a suggestion or wishlist > item: would it be conceivable that, at some point in the future, all the > ocaml tools that operate on .ml files could accept different > official "syntax variants" (say, the present one and a cleaned up syntax > to be defined in the future), and dispatch between parsers via some > command line argument or argv[0]? So that minor issues with the syntax > could be repaired, should they turn out to be a problem. This exists, and is called camlp4. I'm not sure which, if any, of the tools that operate on .ml files doesn't "support" it via easy command line flags. There is even a revised syntax shipped with camlp4 which has curried variant constructors like Haskell. Unfortunately, there's a lot of stuff in there I disagree with, like extra bracketing of many constructs. Here it is: http://pauillac.inria.fr/caml/camlp4/manual/manual007.html Forgive me if you already know of this and I misinterpreted your question. - Kenn