Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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: -- (:)
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:  FAQ:
To unsubscribe, mail  Archives: