Pierre-Marie de Rodat
6e88d6ec25
Lkt: revamp the module system
2026-01-20 16:03:43 +00:00
Pierre-Marie de Rodat
e1c4fe5804
Introduce the lkt_build_and_run test driver
...
Transition all relevant testcases to it. In the process, port
docstrings/comments from test.py files to expected_concrete_syntax.lkt
(now test.lkt) sources and fix stylechecks issues there.
2024-10-15 14:13:10 +00:00
Pierre-Marie de Rodat
a1c844d5ee
Lkt: remove the root type argument for builtin generic types
...
For AnalysisUnit and LexicalEnv, there is no type argument left, so they
are not generic types anymore.
2024-07-04 12:37:30 +00:00
Romain Beguet
05362a5e93
Improve style and fix formatting issues in dsl_unparse.
2024-07-03 08:23:35 +00:00
Pierre-Marie de Rodat
eb36d66f4f
Lkt: rename @export to @exported
2024-06-19 10:18:02 +00:00
Pierre-Marie de Rodat
1ffd449060
langkit.dsl_unparse: rework empty lines emitted for properties
2023-12-13 13:55:11 +00:00
Pierre-Marie de Rodat
0dd9597101
Lkt lowering: add dedicated scopes for lambda expressions
...
Lambda functions must have their own scopes to define arguments that do
not conflict with entities defined outside of the lambdas.
2023-12-13 13:55:10 +00:00
