Re: [SPARK] Code safety and information hiding

[Peter Amey <peter.amey@praxis-cs.co.uk>]

Jeffrey R. Carter wrote:
> Peter Amey wrote:
> 
[snip]
> 
>> SPARK doesn't prohibit package-spec variables (actually it did in the 
>> very early days but a large and influential customer made us change 
>> our minds); however, it does nag you in various ways if you make use 
>> of them.  Abstract own variables and refinement clauses are a much 
>> better solution!
> 
> 
> I think it would be better if you'd educated your customer on how to use 
> that better solution, and kept SPARK as it was.

Now we probably would, then (1991?) we were very small and we _really_ 
needed that customer!

Our nagging really is persistent though and I don't think any current 
SPARK projects continue to abuse own variable visibility.

> 
> Interesting that my aside on my personal preference for terminology has 
> generated so much traffic.
> 

Indeed, unexpected rambles are one of the few remaining pleasures of usenet!

Peter