Re: no + or - defined for fixed point types in Standard, why ?

[Mehdi Saada <00120260a@gmail.com>]

generic
   type Modele is delta <>;
package P_Proba1 is
   type T_Proba is private; 
   function "+" (
         Un,                   
         Deux : in     T_Proba ) 
     return T_Proba; 
private
	type T_proba is new MODELE range 0.1..1.0;
end P_Proba1;

package body P_Proba1 is
	function "+"
     (Un,                   
         Deux : in     T_Proba)
        return T_Proba is (P_Proba1."+"(UN,Deux));
end P_Proba1;

> program, you have to prefix by the package name that contains the operators : My code.
It causes infinite recursion (dixit compiler), so I didn't understand.