Re: "end of declaration"

[Shark8 <onewingedshark@gmail.com>]

On Wednesday, February 10, 2021 at 11:40:00 AM UTC-7, 0012... wrote:
> can someone explain in simple terms what are the rules for types' "end of declaration" ? 
> 
> I define a type in the private part of the package, and in the body I clone it (type t_proba2 is new t_proba) to benefit from its predefined operations... since it's a fixed point type I need to, or bam ! recursion... also I want the accuracy etc to stay the same so I would do the same for floating point types too. 
> 
> type T_Proba is delta 0.00001 range 0.0 .. 1.0; 
> for T_Proba'Small use 0.00001; 
> 
> package body P_Proba2 is 
> type t_proba2 is new T_Proba; 
> -- type t_proba2 can't be use before the end of its declaration 
> package Point_Fixe_io is new Ada.Text_Io.Fixed_IO(T_Proba); 
> 
> so I rather defined a different type with the same specifications. ugly. 
> no nicer way to access predefined operations for these cases ?
Use more meaningful names if you can.
You had "Type K is new K", which is obvious nonsense.
Considering the context, I think something like
> type Probability is delta 0.00001 range 0.0 .. 1.0; 
> for Probability'Small use 0.00001;
and
> type Internal_Probability is new Probability;
would be much better readability-/maintainability-wise