From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA28671 for caml-redistribution; Fri, 15 Oct 1999 09:12:19 +0200 (MET DST) 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 AAA27721 for ; Fri, 15 Oct 1999 00:58:17 +0200 (MET DST) Received: from ruby (pm1-25.triode.net.au [203.63.235.41]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id AAA08661 for ; Fri, 15 Oct 1999 00:58:13 +0200 (MET DST) Received: from maxtal.com.au (IDENT:root@localhost [127.0.0.1]) by ruby (8.9.3/8.9.3) with ESMTP id IAA16850; Fri, 15 Oct 1999 08:52:12 +1000 Sender: weis Message-ID: <38065E9C.E03FBF19@maxtal.com.au> Date: Fri, 15 Oct 1999 08:52:12 +1000 From: skaller Organization: Maxtal X-Mailer: Mozilla 4.51 [en] (X11; I; Linux 2.2.12 i586) X-Accept-Language: en MIME-Version: 1.0 To: Manuel Fahndrich CC: "'caml-list@inria.fr'" Subject: Re: Rebinding exception declarations References: <783D93998201D311B0CF00805FEAA07B7E8F5F@RED-MSG-42> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Manuel Fahndrich wrote: > > While we are at wishing for new features in OCaml, let me add a minor > feature to the list: > > Rebinding of exception declarations. Actually, I think there is a more syntactic problem: ocaml uses special 'kinds' of bindings, for some reason that escapes me: type X = .. class X = .. exception .. let X = .. let rec X = module X = which permit recursion with an 'and' option. Unfortunately, this syntax does not permit these kinds of bindings to be mutually recursive (quite aside from the semantic issues). I find this syntax strange, I would have expected let X = be enough for all kinds of bindings, determined by the kind of the right hand side. The distinction between sequential and recursive bindings for functions seems anomolous [let .. in can be used for that]. -- John Skaller, mailto:skaller@maxtal.com.au 1/10 Toxteth Rd Glebe NSW 2037 Australia homepage: http://www.maxtal.com.au/~skaller downloads: http://www.triode.net.au/~skaller