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
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Christian Gillot <cgillot@g...>
Subject: Re: [Caml-list] Re: about toplevels

Mensaje citado por: Daniel de Rauglaudre <>:

> > 3. the exceptions are NOT polymorphics 
> > exception of 'a list is WRONG.
> If they were, they could break the type system:
>    exception Foo of 'a list;;
>    try raise Foo [3] with Foo l -> "abc" :: l;;

I agree with you, it's logic. But as a newbie you
easily stumble on this, because you just begin
to like the type polymorphism and suddenly you don't 
understand why there is an exception (perdon me the pun)
to this rule with the exceptions. Of course there's always
good people like you or M. Monniaux (Thanks to him) to explain
this. That's what is called a gotcha, I guess.


Christian Gillot <>
GNU/Linux developer
Bug reports:  FAQ:
To unsubscribe, mail  Archives: