Re: bbc:microbit and buttons and No_Implicit_Dynamic_Code

[fabien.chouteau@gmail.com]

Hi Björn,

I'm Fabien and I work for AdaCore, in particular I was involved in the support of the micro:bit.

On Wednesday, July 25, 2018 at 9:32:22 AM UTC+2, björn lundin wrote:
> To my surprise - it just worked :-)

Thanks for the feedback, that was our goal :)

> 1 - gpr and style. Why does the setting in the gpr file
>    insist on a certain style, and treat everything else as error.
>    Selecting all + tab does not pretty print in a way that the gpr file
>    wants. Someone new to Ada would have a real hard time to get anything
>    done. (Yes I did remove the gnaty but it should be so by default)
> 

This is to enforce the coding style of the library. 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

> 2 - Debugging. How do I do it? I've almost never used the debugger,
>     not via GPS nor via GDB. Is there a guide somewhere how to use it
>     via GPS? (Put_Lines have been my friend, thinking of taking
>     advantage of the GPS)

We could have a debugging example.

> 3 - The microbit has 2 buttons. And the microbit.Button package has a
>     way of subscribing callbacks to pressed/released events.
>     But trying to use it I get
> 
> 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

Regards,