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

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

You may be right, in fact I think you are. When checking syntax/semantic, letting minus operators to <> works. But I uncovered a bigger problem with gps' "keep going" option: circular instantiations...
originally: neither expressions nor spreadsheets.formula_cells were generics. They both used INTEGER.
And they could call each other: Formula_cells needs expression to calculate stuff, and expressions.formula_type (or whatever) needs spreadsheets to define a new syntax type which is aware of spreadsheets coordinates.
I don't know how it was meant to be (I won't rewrite it to be non-generic), but it had to work, so I guess being generics made both two packages not only "with" each other, but INSTANTIATE each other.
I'll have to think about the *design* a bit.