From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA09147 for caml-red; Thu, 29 Jun 2000 18:45:22 +0200 (MET DST) 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 SAA07219 for ; Wed, 28 Jun 2000 18:41:14 +0200 (MET DST) Received: from mail.mimuw.edu.pl (pa204.warszawa.ppp.tpnet.pl [212.160.52.204]) by concorde.inria.fr (8.10.0/8.10.0) with ESMTP id e5SGfAX13628 for ; Wed, 28 Jun 2000 18:41:11 +0200 (MET DST) Received: (from news@localhost) by mail.mimuw.edu.pl (PLD/8.9.3) id SAA09824 for caml-list@inria.fr; Wed, 28 Jun 2000 18:41:00 +0200 X-Authentication-Warning: qrnik.knm.org.pl: news set sender to qrczak@knm.org.pl (Marcin 'Qrczak' Kowalczyk) using -f From: qrczak@knm.org.pl (Marcin 'Qrczak' Kowalczyk) Subject: Re: How to cleanly encode "quasi-constants"? Date: 28 Jun 2000 16:40:57 GMT Organization: Klub Nieszkodliwych =?iso-8859-2?Q?Manjak=F3w?= Message-ID: X-Trace: qrnik.knm.org.pl 962210457 9817 127.0.0.1 (28 Jun 2000 16:40:57 GMT) X-Complaints-To: news@qrnik.knm.org.pl NNTP-Posting-Date: 28 Jun 2000 16:40:57 GMT User-Agent: slrn/0.9.6.2 (Linux) To: caml-list@inria.fr Sender: weis@pauillac.inria.fr Tue, 27 Jun 2000 12:12:50 -0700 (PDT), Brian Rogoff pisze: > I admit I'm also fond of the Revised syntax. Sorry, I'm new: what is the Revised syntax? Where can I read about it? -- __("< Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/ \__/ GCS/M d- s+:-- a23 C+++$ UL++>++++$ P+++ L++>++++$ E- ^^ W++ N+++ o? K? w(---) O? M- V? PS-- PE++ Y? PGP+ t QRCZAK 5? X- R tv-- b+>++ DI D- G+ e>++++ h! r--%>++ y-