[Spark2014-discuss] [M122-037] [Spark2014] aspect to identify code that is in/out of SPARK 2014
moy at adacore.com
Mon Jan 28 09:51:10 CET 2013
On 01/26/2013 03:44 PM, Cyrille Comar wrote:
> Definitely needs more discussion since I don't see a viable alternative.
> Could you point me to a trace of the discussion explaining what 'people'
> found 'not appropriate'?
We only discussed it live during the weekly SPARK language design
meeting, and maybe I did not explain the proposal well enough to
convince others. We've now had this discussion by email, and the main
argument against the SPARK aspect seems to be that it is not flexible
enough to allow hiding exception handlers. If we agree that this form of
hiding is not desirable, is there any other reason not to adopt a SPARK
aspect to denote which declarations are in SPARK?
Please let us know before tomorrow, so that we can discuss it during the
Yannick Moy, Senior Software Engineer, AdaCore
More information about the Spark2014-discuss