!ASIS Issue #025
!topic  Root_Type_Kinds Problem
!reference  ASIS
!from  Sergey Rybin  97-01-11
!keywords  Root_Type_Kinds
!discussion

Consider the definition of Root_Type_Kinds:

------------------------------------------------------------------------------
-- Section 3.11.13  type Root_Type_Kinds
------------------------------------------------------------------------------
------------------------------------------------------------------------------
-- Root_Type_Kinds
--  Literals                               -- RM 95
------------------------------------------------------------------------------

  type Root_Type_Kinds is (

    Not_A_Root_Type_Definition,            -- An unexpected element

    A_Root_Integer_Definition,             -- 3.5.4(9)
    A_Root_Real_Definition,                -- 3.5.6(2)
    A_Root_Fixed_Definition,               -- 3.5.6(2)

    A_Universal_Integer_Definition,        -- 3.5.4(10)
    A_Universal_Real_Definition,           -- 3.5.6(4)
    A_Universal_Fixed_Definition);         -- 3.5.6(4)

------------------------------------------------------------------------------

There are two problems here:

1. All the references to RM 95 seem to be completely wrong.

2. RM 95 defines the root types for integers and reals (that is,
   root_integer and root_real, RM 95 3.4.1(8), but it does not define
   anything related to root_FIXED!

So the correction may be:

------------------------------------------------------------------------------
-- Section 3.11.13  type Root_Type_Kinds
------------------------------------------------------------------------------
------------------------------------------------------------------------------
-- Root_Type_Kinds
--  Literals                               -- RM 95
------------------------------------------------------------------------------

  type Root_Type_Kinds is (

    Not_A_Root_Type_Definition,            -- An unexpected element

    A_Root_Integer_Definition,             -- 3.4.1(8)
    A_Root_Real_Definition,                -- 3.4.1(8)

    A_Universal_Integer_Definition,        -- 3.4.1(6)
    A_Universal_Real_Definition,           -- 3.4.1(6)
    A_Universal_Fixed_Definition);         -- 3.4.1(6)

------------------------------------------------------------------------------

!resolution  Accepted.
!date 97-03-25
!Notes

A_Root_Fixed_Definition was eliminated.

Changes were made for correct references to the Ada Refernce Manual.

All these changes have been made in ASIS version 2.0.M.