From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA08397; Wed, 6 Feb 2002 18:45:30 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA09886 for caml-list@pauillac.inria.fr; Wed, 6 Feb 2002 18:45:30 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id NAA01619 for ; Wed, 6 Feb 2002 13:53:31 +0100 (MET) Received: from control.informatik.rwth-aachen.de (control.Informatik.RWTH-Aachen.DE [137.226.53.6]) by concorde.inria.fr (8.11.1/8.11.1) with SMTP id g16CrVn00628 for ; Wed, 6 Feb 2002 13:53:31 +0100 (MET) Received: (qmail 25659 invoked from network); 6 Feb 2002 12:53:30 -0000 Received: from unknown (HELO i7.informatik.rwth-aachen.de) (137.226.53.122) by control.informatik.rwth-aachen.de with SMTP; 6 Feb 2002 12:53:30 -0000 Received: (qmail 8062 invoked by uid 607); 6 Feb 2002 12:53:29 -0000 Date: Wed, 6 Feb 2002 13:53:29 +0100 From: Achim Blumensath To: caml-list@inria.fr Subject: Re: [Caml-list] syntax Message-ID: <20020206135329.A8026@diabolo.informatik.rwth-aachen.de> References: <200202052147.g15LlVL25141@orchestra.cs.caltech.edu> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i In-Reply-To: <200202052147.g15LlVL25141@orchestra.cs.caltech.edu>; from mvanier@cs.caltech.edu on Tue, Feb 05, 2002 at 01:47:31PM -0800 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hello, On Tue, Feb 05, 2002 at 01:47:31PM -0800, Michael Vanier wrote: > I've looked at the revised syntax, and I like most of what I see (except > for the use of x.val instead of !x). Since I also dislike the syntax for references, I wrote the following parser extension: open Pcaml; EXTEND expr: LEVEL "~-" [ [ "!"; x = expr -> <:expr< $x$.val >> ] ]; END; That way, I can write !x := !x + 1 which IMHO combines the benefites of both syntaxes. Achim -- ________________________________________________________________________ | \_____/ | Achim Blumensath \O/ \___/\ | Mathematische Grundlagen der Informatik =o= \ /\ \| www-mgi.informatik.rwth-aachen.de/~blume /"\ o----| ____________________________________________________________________\___| ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr