Re: Standard."-" provided to "with function "-" (VAL1 : in VALUE_TYPE) return VALUE_TYPE is <>;" refused:

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

I purged my own hysterical rant.
To sum it up: the root problem is circular instantiation.
GP1 is generic, wants numerical type and operations.
GP1.G_Child needs P2, P2.Child and P2.G_Child, and P2.G_Child needs as package parameter GP1. I say needs as in "functionnaly", so instead of requiring a package generic parameter, I could stick with having the numerical signature outside, instantiate it, and instantiate GP1 with it.
But I'm not sure this is a way out.
Originally, none of these were generics, so these problems weren't happening, I think.