Pierre-Marie de Rodat 30d4905bbd Remove support to infer DSL location from Python tracebacks ...

Now that the Python DSL is retired, it no longer makes any sense to call
`langkit.diagnostics.extract_location_from_traceback`, as no traceback
frame will even contain location information that is meaningful for the
DSL. Replace it with explicit `location` constructor arguments instead.

2025-03-24 15:39:29 +00:00

..

expect.py

Add a testcase to check GDB helpers

2022-03-22 13:08:43 +00:00

gdb_session.py

Modernize type annotations

2024-10-16 15:23:56 +00:00

lexer_example.lkt

Lkt: change naming convention for token names for lower to camel

2024-06-28 08:41:26 +00:00

lkt_build_and_run.py

langkit.config: introduce JSON deserialization

2025-01-07 15:09:51 +00:00

lkt_compile.py

langkit.config: introduce JSON deserialization

2025-01-07 15:09:51 +00:00

path_wrapper.py

python_api/app: fix propagation of path_wrapper to subprocesses

2022-12-05 16:13:40 +00:00

quotemeta.py

Fix invalid escape sequences in Python code

2024-04-23 14:47:22 +00:00

utils.py

Remove support to infer DSL location from Python tracebacks

2025-03-24 15:39:29 +00:00