Development Log

  • GNAT Pro
    Mar 25th, 2011

    Better handling of enumerals in debugger
    The debugger has been enhanced to recognize the situation where an enumeration type is defined as a copy of another enumeration type. This can typically occur in situations like the following:

        type A is ([...]);
        type B is new A range [...];
    
    In that situation, an expression involving any of the enumerals is technically ambiguous, as they could either be of type A, or of B's base type. In practice, however, these enumerals can be considered as identical for debugging purposes, since the outcome would not change regardless of the enumeral being chosen. So the debugger automatically selects one instead of declaring that the expression is ambiguous.