[Spark2014-discuss] SPARK 2014 profiles/policies

> My initial reaction is that you would be better to check rules concerning
> readability of the code with GNAT check, but would like someone from AdaCore
> to confirm this, please.
Right, readability rules are indeed better left to a coding standard checking
tool such as gnatcheck, while the SPARK language/RM will likely add a
few extra Ada Restrictions available for "compiler" checks.
Arno