Clarification on Finalization

• ada-spark-rfcs

  1 0 0.0

  Platform to submit RFCs for the Ada & SPARK languages (by Roldak)

I was browsing the Ada/Spark RFC GitHub repository, and noticed this RFC on a more lightweight finalization model.

• ada-spark-rfcs

  13 58 2.8

  Platform to submit RFCs for the Ada & SPARK languages

  

You should ask directly on the RFC: https://github.com/AdaCore/ada-spark-rfcs/pull/65

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• cortex-gnat-rts

  7 60 2.7 Ada

  This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics, and the BBC micro:bit (v1)

I looked into finalization without exceptions for Cortex GNAT RTS, branch finalization, not touched since 2018; not too difficult (largely reinstating stuff I’d cut out because of restriction No_Finalization).

Suggest a related project