search

AdaCore / ada-spark-rfcs

Platform to submit RFCs for the Ada & SPARK languages
63 stars 28 forks source link

Implicit "end" when known from context #55

Closed jquorning closed 3 years ago

raph-amiard commented 4 years ago

Hi @jquorning , thank you for your interest!

However, you should supply more information on your issues, so that we can at least understand what you are proposing. Could you please fill the description with a small explanation of the problem and potential solution ?

Thanks in advance.

jquorning commented 4 years ago

I will fill in more info in a week or two

Den 10. aug. 2020 kl. 10.59 skrev Raphaël AMIARD notifications@github.com:

Hi @jquorning https://github.com/jquorning , thank you for your interest!

However, you should supply more information on your issues, so that we can at least understand what you are proposing. Could you please fill the description with a small explanation of the problem and potential solution ?

Thanks in advance.

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/AdaCore/ada-spark-rfcs/issues/55#issuecomment-671240238, or unsubscribe https://github.com/notifications/unsubscribe-auth/AE7XEZAXA5A2JMU3KBGJKPLR76ZI7ANCNFSM4PZDJAZQ.

— Jesper Quorning Brovej 18 8543 Hornslet jesper.quorning@gmail.com

raph-amiard commented 3 years ago

Hello @jquorning. The body is still empty, also just by the description, and as for #54 and others, this looks out of scope for us.

Kind regards,