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
[Caml-list] raise extra arg ignored
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2001-10-27 (20:30)
From: Daniel de Rauglaudre <daniel.de_rauglaudre@i...>
Subject: Re: [Caml-list] raise extra arg ignored

On Sat, Oct 27, 2001 at 09:51:05PM +0200, Pixel wrote:

> raise Foo 1
> raise Foo
> same for this. I understand why it typechecks, but couldn't there be
> a special check for this since it can't be useful (or can it??)

Interesting, but I don't see how to prevent the type checker to give
the type 'a to "raise Foo". Or else, you can add a type constraint,
but it is constraining... and it depends on where this "raise"
statement takes place.

I wonder whether there are situations where it could be a problem?
Sometimes, a missing semicolon can introduce typing errors or perhaps
work with different semantics (what is very bad). But here, I don't
see, since, generally, nobody add another statement after a "raise".
Does anybody have an example?

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