From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM,WEIRD_PORT autolearn=no autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: =?UTF-8?Q?Bj=c3=b6rn_Lundin?= <b.f.lundin@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: bbc:microbit and buttons and No_Implicit_Dynamic_Code
Date: Wed, 25 Jul 2018 11:29:33 +0200
Organization: A noiseless patient Spider
Message-ID: <pj9fvq$ia7$1@dont-email.me>
References: <pj9924$bbm$1@dont-email.me>
 <b59538ab-97a4-4905-9afe-4ef500d06bd4@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 25 Jul 2018 09:30:34 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
 posting-host="7ab098c8268958480cc93e43d12997a5";
	logging-data="18759"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19htD7v6B7YiDxfv3W5PlQf"
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101
 Thunderbird/52.8.0
Cancel-Lock: sha1:sJf3WEpsSRHRm/ar/8MT+pBj67A=
In-Reply-To: <b59538ab-97a4-4905-9afe-4ef500d06bd4@googlegroups.com>
Content-Language: en-US
Xref: reader02.eternal-september.org comp.lang.ada:53959
Date: 2018-07-25T11:29:33+02:00
List-Id: <comp.lang.ada>

On 2018-07-25 11:03, fabien.chouteau@gmail.com 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

Great

> 
> We could have a debugging example.
Yes, please consider it.
My wife works as a science teacher grades 7-9.
They now have to teach programming.
The MicroBit is essentially what they need.
It would be a pity if they write Javascript then...
But perhaps they will use the block language instead.
But it would be nice if Ada was an easy and well documented option.
This is going the right way, I think.


>> 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'll do that.


-- 
--
Björn