search

AdaCore / ada-spark-rfcs

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

[RFC] Deep delta aggregates #84

Open sttaft opened 2 years ago

sttaft commented 2 years ago

This is an RFC based on issue #81 requesting a generalization of the delta aggregate to enable specification of subcomponent changes. Full text here.

yakobowski commented 2 years ago

Seems like a very natural (and useful!) extension. Wholeheartedly supported.

brgaeke commented 2 years ago

Hi! I wanted to inquire how close this was to being considered for prototyping, and if there was anything we could do to help.

sttaft commented 2 years ago

Hi Brian, No prototyping done yet, but I just passed along your interest, so hopefully it will be boosted a bit in priority.

Take care, -Tuck

On Tue, Feb 8, 2022 at 7:56 PM Brian R. Gaeke @.***> wrote:

Hi! I wanted to inquire how close this was to being considered for prototyping, and if there was anything we could do to help.

— Reply to this email directly, view it on GitHub https://github.com/AdaCore/ada-spark-rfcs/pull/84#issuecomment-1033216501, or unsubscribe https://github.com/notifications/unsubscribe-auth/AANZ4FL3AEBXQFO2WY4PNYDU2G3TDANCNFSM5FR7QE7Q . Triage notifications on the go with GitHub Mobile for iOS https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675 or Android https://play.google.com/store/apps/details?id=com.github.android&referrer=utm_campaign%3Dnotification-email%26utm_medium%3Demail%26utm_source%3Dgithub.

You are receiving this because you authored the thread.Message ID: @.***>

danhettena-nvidia commented 1 year ago

This RFC looks good to me. It appears to address the problem I described in https://github.com/AdaCore/ada-spark-rfcs/issues/81