Pierre-Marie de Rodat
54f1f329fa
Merge branch 'mr/pmderodat/valgrind-rhes7' into '25-sustained'
...
Add a Valgrind suppression for a RHES7-specific leak
See merge request eng/libadalang/langkit!1474
2025-11-24 13:17:07 +00:00
Pierre-Marie de Rodat
386f61c80d
Add a Valgrind suppression for a RHES7-specific leak
2025-11-24 12:58:06 +00:00
Pierre-Marie de Rodat
b1526be696
Merge branch 'valgrind-ocaml-ubuntu24' into '25-sustained'
...
[25-sustained] Add Valgrind suppressions to ocaml.supp for Ubuntu 24.04
See merge request eng/libadalang/langkit!1472
2025-11-21 07:54:33 +00:00
Pierre-Marie de Rodat
171100e79f
Add Valgrind suppressions to ocaml.supp for Ubuntu 24.04
...
(cherry picked from commit a3d5c06c05
2025-11-20 16:35:13 +01:00
Romain Béguet
3158e21009
Merge branch '25.1-1232' into '25.1'
...
[25.1] Fix safety net of properties returning bare nodes.
See merge request eng/libadalang/langkit!1279
2024-12-10 10:23:59 +00:00
Romain Beguet
9938ba18f8
Fix safety net of properties returning bare nodes.
...
(cherry picked from commit 539d87bf60
2024-12-10 10:56:30 +01:00
Pierre-Marie de Rodat
1357f60dc1
Merge branch 'mr/pmderodat/25.1-d-1474' into '25.1'
...
[25.1] LAL: Caching issue after creating files
See merge request eng/libadalang/langkit!1263
2024-11-28 16:11:05 +00:00
Pierre-Marie de Rodat
e439578bf0
Add missing env cache invalidation on reparsing a root-less unit
...
(cherry picked from commit 3e9acf7e94
2024-11-28 15:49:32 +00:00
Pierre-Marie de Rodat
f2aab7d7bb
Merge branch 'mr/pmderodat/25.1-c-836' into '25.1'
...
[25.1] Transition “build_and_run” tests to pure Lkt
See merge request eng/libadalang/langkit!1262
2024-11-28 15:47:34 +00:00
Pierre-Marie de Rodat
ca751250b4
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.
(cherry picked from commit e1c4fe5804
2024-11-28 15:40:33 +00:00
Pierre-Marie de Rodat
90ed33f542
grammar/case_rule: avoid non-ASCII Lkt code
...
Non-ASCII code is harder to review. Removing it also allows to run
stylechecks on this file.
(cherry picked from commit 643b90f2cc
2024-11-28 15:40:33 +00:00
Pierre-Marie de Rodat
be3394b0d0
lexical_envs/cache_invalidation: split the test in two parts
...
This will allow future work to transition this test (or now: these
tests) to pure Lkt.
(cherry picked from commit ccc32a9b42
2024-11-28 15:40:33 +00:00
Pierre-Marie de Rodat
09061bc10e
misc/generic_list_type: split the test in two parts
...
This will allow future work to transition this test (or now: these
tests) to pure Lkt.
(cherry picked from commit f8e058fb44
2024-11-28 15:40:33 +00:00
Pierre-Marie de Rodat
386d80427e
dsl_unparse/test_comments: do not build the generated library
...
For this testcase (as other dsl_unparse tests), there is no point in
compiling the generated library and running an empty main
program/script.
(cherry picked from commit 5a770f84e6
2024-11-28 15:40:33 +00:00
Pierre-Marie de Rodat
30032360da
gdb_helpers: migrate testcase to pure Lkt
...
(cherry picked from commit 16975440d0
2024-11-28 15:40:33 +00:00
Pierre-Marie de Rodat
387f9c7c08
grammar/packrat_empty_list: fix testcase
...
This XFAIL testcase has been broken for a long time: it fails because
its source became invalid, not because it exercised the intended Langkit
bug. Preserve the XFAIL (the Langkit bug is still there) but fix it
otherwise.
(cherry picked from commit 1374e09c96
2024-11-28 15:40:33 +00:00
Pierre-Marie de Rodat
d873bcd84a
lexical_envs/cache_invalidation: minor reformatting
...
(cherry picked from commit fa95c3e752
2024-11-28 15:40:33 +00:00
Pierre-Marie de Rodat
f390133282
lexical_envs/ref_order: switch to types_from_lkt=True
...
(cherry picked from commit 415f9d1f82
2024-11-28 15:40:33 +00:00
Pierre-Marie de Rodat
b1db766779
Merge branch 'mr/pmderodat/25.1-b-842' into '25.1'
...
[25.1] Lkt - Bug with lkt_unparse - source meaning not preserved
See merge request eng/libadalang/langkit!1261
2024-11-28 15:37:39 +00:00
Pierre-Marie de Rodat
eafe33479d
Unparsing: fix broken group detection with "fill" documents
...
(cherry picked from commit 0b51c2bac4
2024-11-28 15:19:17 +00:00
Pierre-Marie de Rodat
154eb2a6dc
Merge branch 'mr/pmderodat/25.1-a-717' into '25.1'
...
[25.1] Complete the Langkit_Support.Generic_API packages
See merge request eng/libadalang/langkit!1260
2024-11-28 15:18:31 +00:00
Pierre-Marie de Rodat
c4c9f21fd5
Generic API: add a Compare primitive for Lk_Node
...
(cherry picked from commit 2cba8e5a39
2024-11-28 15:06:26 +00:00
Pierre-Marie de Rodat
fbfa81fb11
Generic API: add a Children_And_Trivia primitive for Lk_Node
...
(cherry picked from commit 1af5dcd970
2024-11-28 15:06:26 +00:00
Pierre-Marie de Rodat
8d95fecb56
Generic API: add a Print debug primitive for Lk_Unit
...
(cherry picked from commit c66e97c5c9
2024-11-28 15:06:26 +00:00
Pierre-Marie de Rodat
32ba108572
Generic API: add a Lookup_Token primitive for Lk_Unit
...
(cherry picked from commit 2d8a68daed
2024-11-28 15:06:26 +00:00
