Re: [Caml-list] exception Foo = Bar.Baz

[Alain Frisch <alain.frisch@lexifi.com>]

On 27/07/2016 10:27, Gabriel Scherer wrote:
> You can already eliminate one of the two comparisons if both A are
> statically known to be the same.

You could check if A is equal B on the raise site and jump to the 
correct handler depending on the result, but this approach could in 
general produce much bigger code (you need to check equality with all 
intermediate exception constructors with the same arity on each such raise).

> Moreover, cross-module optimization
> information is likely to give you the actual definition of both A and
> B -- if they are just defined with either "exception Foo" or
> "exception Bar = Baz" as a structure item of the compilation unit
> level, their identity will be known.

Indeed, good point.

Thanks also to Leo for providing a good use case (renaming on functor 
boundaries).

Alain