mirror of
https://github.com/AdaCore/langkit.git
synced 2026-02-12 12:28:12 -08:00
Symbolization is a costly operation: do it only when requested. Rework the C API to make this possible. For now, do it automatically in the Java API to avoid breaking existing Java programs: this will fix the performance situation in the other C-based APIs.