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 QAA08711 for caml-redistribution; Thu, 15 Oct 1998 16:12:28 +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 PAA13502 for ; Wed, 14 Oct 1998 15:50:05 +0200 (MET DST) Received: from post.tepkom.ru (relay.tepkom.ru [195.9.240.162]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id PAA20587; Wed, 14 Oct 1998 15:49:57 +0200 (MET DST) Received: from localhost (msk@localhost) by post.tepkom.ru (8.8.7/8.8.7) with ESMTP id RAA17617; Wed, 14 Oct 1998 17:47:38 +0400 Date: Wed, 14 Oct 1998 17:47:38 +0400 (MSD) From: Anton Moscal To: Xavier Leroy cc: caml-list@inria.fr Subject: Re: Local definitions In-Reply-To: <19981012133903.58898@pauillac.inria.fr> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: weis On Mon, 12 Oct 1998, Xavier Leroy wrote: > I've never found a convincing example of a type or exception > declaration local to an expression. I know only one useful example of the local exceptions. I include it in my first letter. But it's enough important example (by my opinion): This is structured goto from complex nested construction with returning value. Since exceptions can't be polymorphic, for each type of returned value we need specific exception. I don't know any other convenient way to do this. Regards, Anton E. Moscal