[Spark2014-discuss] SPARK 2014 strings. Basic I/O
hugues.jerome at gmail.com
Sun Jul 6 11:23:57 CEST 2014
Le 5 juil. 2014 à 21:30, David MENTRÉ <dmentre at linux-france.org> a écrit :
> The obvious work around would be to disable SPARK_Mode by default and activate it on each package as you do. I would prefer to avoid that, for methodological reason on this project.
> Is there another workaround to keep SPARK_Mode by default but still instantiate Bounded_String?
Review discussion "Mixing SPARK and non-SPARK code in a generic”, the trick is to instantiate the generic in a non_SPARK unit
More information about the Spark2014-discuss