mirror of
https://github.com/AdaCore/langkit.git
synced 2026-02-12 12:28:12 -08:00
The aim is to allow: 1. Better error messages for user mistakes, with some context. 2. Clear distinction between user mistakes and internal errors. This commit just introduces the base infrastructure in diagnostics.py, and renames user_assert as check_source_language. The base for introducing context is here, but not yet used. Change-Id: Ie386fa42253cf6787f30f9166c54cb2522155849 TN: P303-009