#9 Uq_engines.Receiver_attn not declared in .mli file.

[Guillaume Yziquel]

The Uq_engines.Receiver_attn exception is not declared in the uq_engines.mli.

This means that is not possible to compile code that pattern-matches against this exception.

This means that any custom handler that we attach to the event_system of this receiver will not be able to cope with Receiver_attn exceptions.

[Gerd Stolpmann]

Using exceptions here is probably a design error. But anyway, you can simply reject any unknown Extra event. Why catch a private exception?