From: fabien.chouteau@gmail.com
Subject: Re: bbc:microbit and buttons and No_Implicit_Dynamic_Code
Date: Wed, 5 Sep 2018 09:38:20 -0700 (PDT)
Date: 2018-09-05T09:38:20-07:00 [thread overview]
Message-ID: <c32877c8-a89a-4d3c-b7f6-5471c2be6531@googlegroups.com> (raw)
In-Reply-To: <pj9fvq$ia7$1@dont-email.me>
Hi Björn,
On Wednesday, July 25, 2018 at 11:30:36 AM UTC+2, björn lundin wrote:
> On 2018-07-25 11:03, fabien.chouteau wrote:
> >
> > This is to enforce the coding style of the library.
> I understand that. But it is annoying to get a compilation error
> for writing 'Microbit' instead of 'MicroBit', especially in a case
> insensitive language.
>
> >I agree that this is not very friendly for beginners. I will try to find a solution.
> > I opened a issue on github for this: https://github.com/AdaCore/Ada_Drivers_Library/issues/271
>
The style checks are now optional and disabled by default. You can enable them with a scenario variable.
>
> >> main.adb:55:33: violation of restriction "No_Implicit_Dynamic_Code" at
> >> system.ads:45
> >
> > I was not aware of this problem, can you please open an issue on GitHub for this? https://github.com/AdaCore/Ada_Drivers_Library/issues
>
I answered here: https://github.com/AdaCore/Ada_Drivers_Library/issues/272
Regards,
next prev parent reply other threads:[~2018-09-05 16:38 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-07-25 7:31 bbc:microbit and buttons and No_Implicit_Dynamic_Code Björn Lundin
2018-07-25 9:03 ` fabien.chouteau
2018-07-25 9:29 ` Björn Lundin
2018-09-05 16:38 ` fabien.chouteau [this message]
2018-09-07 9:07 ` Björn Lundin
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox