You've already forked libadalang
mirror of
https://github.com/AdaCore/libadalang.git
synced 2026-02-12 12:28:54 -08:00
Catch all errors that properties are allowed to raise (Property_Error, but also Precondition_Failure , even though the latter is not used in LAL yet). Also memoize the exception message, just like the standard memoization mechanism in Langkit. TN: W119-041