14.9 Coercions and Sections

The inheritance mechanism is compatible with the section mechanism. The global classes and coercions defined inside a section are redefined after its closing, using their new value and new type. The classes and coercions which are local to the section are simply forgotten (no warning message is printed). Coercions with a local source class or a local target class, and coercions which do no more verify the uniform inheritance condition are also forgotten.