English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Re: polymorphic recursion
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 1998-10-15 (14:12)
From: Anton Moscal <msk@p...>
Subject: Re: Local definitions

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

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

Anton E. Moscal