Commit Graph

  • 9f79119659 langkit.gdb.printers: switch abstract methods/properties to abc Pierre-Marie de Rodat 2024-08-23 18:33:32 +00:00
  • a1df3c52a0 langkit.debug_info: switch abstract methods/properties to abc Pierre-Marie de Rodat 2024-08-23 18:27:36 +00:00
  • ba5713020f langkit.passes: switch abstract methods/properties to abc Pierre-Marie de Rodat 2024-08-23 18:05:36 +00:00
  • e79c90546b langkit.lexer: switch abstract methods/properties to abc Pierre-Marie de Rodat 2024-08-23 18:03:39 +00:00
  • f29503cab0 Merge branch 'mr/pmderodat/error-locations' into 'master' Pierre-Marie de Rodat 2024-09-04 14:21:38 +00:00
  • c99311d6b6 Ensure that all errors are assigned a location Pierre-Marie de Rodat 2024-07-26 20:17:06 +00:00
  • c9de660412 Add location information to token actions and use them for error msgs. Pierre-Marie de Rodat 2024-07-26 19:27:43 +00:00
  • e0006dfb56 Add location information to env actions and use them for error messages Pierre-Marie de Rodat 2024-07-26 19:15:23 +00:00
  • dfd6688291 Merge branch 'mr/pmderodat/unparsing-nested-lists' into 'master' Pierre-Marie de Rodat 2024-08-28 13:04:49 +00:00
  • 1d8cf80e1a Unparsing: tune trivias reattachment heuristics for nested lists Pierre-Marie de Rodat 2024-08-28 11:42:01 +00:00
  • 7e5913b6e0 Merge branch 'topic/slow_envs' into 'master' Romain Béguet 2024-08-28 12:49:41 +00:00
  • 5541fc9e7e Enable caching dynamic env getter result for any entity info. Romain Beguet 2024-07-19 12:37:07 +02:00
  • 398587031c Merge branch 'topic/gnatx_2' into 'master' Raphaël Amiard 2024-08-28 08:31:06 +00:00
  • c03d2fee9f Add the pragma Extensions_Allowed (On) to $language.Analysis Raphaël AMIARD 2024-08-20 15:03:44 +02:00
  • d4026c0882 Transition to -gnatX Raphaël AMIARD 2024-07-25 11:16:00 +02:00
  • 185363286f Merge branch 'mr/pmderodat/node-builder' into 'master' Pierre-Marie de Rodat 2024-08-26 19:34:25 +00:00
  • 8323373b90 Fix the handling of null node builders Pierre-Marie de Rodat 2024-08-26 14:21:19 +00:00
  • 5d3c8c50dc Reject attempts to compute the null value of node builders in properties Pierre-Marie de Rodat 2024-08-26 14:20:10 +00:00
  • c4bdcc0d8a Reject user fields in parse nodes that have no default/null value Pierre-Marie de Rodat 2024-08-26 14:02:57 +00:00
  • 112a40469a Merge branch 'mr/pmderodat/node-builder' into 'master' Pierre-Marie de Rodat 2024-08-26 12:58:42 +00:00
  • c6911c244b Fix leaking node builders in properties Pierre-Marie de Rodat 2024-08-26 12:31:46 +00:00
  • a43849d537 Lkt: fix handling of NodeBuilder[T] references Pierre-Marie de Rodat 2024-08-26 12:15:03 +00:00
  • 7bc29d8c58 Synthetizing node builders: reject bare node constructor arguments Pierre-Marie de Rodat 2024-08-26 09:52:47 +00:00
  • bbff415a39 Ignore "None" locations in the context stack Pierre-Marie de Rodat 2024-08-26 11:51:30 +00:00
  • af995333c1 Merge branch 'mr/pmderodat/node-builder' into 'master' Pierre-Marie de Rodat 2024-08-23 13:40:24 +00:00
  • 6e0b7d09b1 Add the NodeBuilder type and the associated operations Pierre-Marie de Rodat 2024-07-25 13:24:19 +00:00
  • 383a830150 Do not reject non-null fields when they always belong to synthetic nodes Pierre-Marie de Rodat 2024-07-25 09:57:47 +00:00
  • f61de1b6d0 langkit.compiled_types: add type annotations Pierre-Marie de Rodat 2024-07-23 14:18:11 +00:00
  • 3fbe0e6f2c Merge branch 'mr/pmderodat/ci' into 'master' Pierre-Marie de Rodat 2024-08-23 09:55:31 +00:00
  • 6840dfb88b .gitlab-ci.yml: transition to "smart CIs" Pierre-Marie de Rodat 2024-08-22 13:22:50 +00:00
  • bab159d7f9 Merge branch 'sync/mr/pmderodat/lkt-no-overloading' into 'master' Pierre-Marie de Rodat 2024-08-23 08:28:26 +00:00
  • 412e0331c4 Lkt: avoid token node/symbol overloading for .get/.get_first Pierre-Marie de Rodat 2024-08-23 07:08:47 +00:00
  • 6a72f3ae6a Lkt: avoid overloading for iteration expr. lambdas with/without index Pierre-Marie de Rodat 2024-08-22 14:51:21 +00:00
  • 6eb04a95ef Merge branch 'mr/pmderodat/unparsing-default-config-todo' into 'master' Pierre-Marie de Rodat 2024-08-22 12:53:09 +00:00
  • 551b84941e pkg_unparsers_spec_ada.mako: add a TODO for an upcoming GNAT feature Pierre-Marie de Rodat 2024-08-21 14:00:53 +00:00
  • 60ec750429 Merge branch 'sync/mr/pmderodat/unparsing-main-default' into 'master' Pierre-Marie de Rodat 2024-08-22 12:35:29 +00:00
  • dcd469d783 Unparsing: make the config file argument optional for the unparsing main Pierre-Marie de Rodat 2024-08-21 15:44:53 +00:00
  • be12a2af57 Merge branch 'mr/pmderodat/lazy_fields' into 'master' Pierre-Marie de Rodat 2024-08-19 11:04:42 +00:00
  • f07159b780 Do not re-evaluate lazy fields when initializer raised an exception Pierre-Marie de Rodat 2024-07-26 05:59:33 +00:00
  • 530507030b Propagate entity info to bare node lazy fields in the Ada API Pierre-Marie de Rodat 2024-07-25 20:30:10 +00:00
  • d368f35c83 Merge branch 'mr/pmderodat/testsuite-locations' into 'master' Pierre-Marie de Rodat 2024-08-19 10:45:17 +00:00
  • 5dbb6ea5a9 Testsuite: blacklist calls to build_and_run from DSL locations Pierre-Marie de Rodat 2024-07-24 08:52:55 +00:00
  • 68851c5fca Lexer: add missing builtin location for builtin matchers Pierre-Marie de Rodat 2024-07-25 12:58:57 +00:00
  • 894ba99332 Merge branch 'daniel/remove_camomile' into 'master' Daniel Mercier 2024-08-06 10:21:05 +00:00
  • 2d59b7eb17 [ocaml api] Remove dependency to camomile in dune Daniel Mercier 2024-07-24 15:05:55 +02:00
  • 7280fb2815 Merge branch 'prettier-ada_issue_13' into 'master' João Azevedo 2024-07-25 16:44:33 +00:00
  • 75cd64c724 Add Continuation_Line_Indent command Joao Azevedo 2024-06-27 17:38:42 +00:00
  • b12d5a6ca1 Merge branch 'mr/pmderodat/unparsing-align' into 'master' Pierre-Marie de Rodat 2024-07-24 13:23:21 +00:00
  • 73b0216590 Unparsing: add support for list table layouts Pierre-Marie de Rodat 2024-06-19 12:28:04 +00:00
  • 7d4541f308 Merge branch 'mr/pmderodat/lkt-unparse-valgrind' into 'master' Pierre-Marie de Rodat 2024-07-24 09:17:58 +00:00
  • 4d4960ff34 Testsuite: fix lkt_unparse tests for Valgrind runs on x86-linux Pierre-Marie de Rodat 2024-07-23 20:33:53 +00:00
  • 0e6ca5c90a Merge branch 'mr/pmderodat/lkt' into 'master' Pierre-Marie de Rodat 2024-07-22 11:37:45 +00:00
  • 3bc64dd70f Lkt: add a default unparsing configuration Pierre-Marie de Rodat 2024-07-17 11:54:03 +00:00
  • 8d71a2833f Merge branch 'sync/mr/pmderodat/lkt-call-syntax' into 'master' Pierre-Marie de Rodat 2024-07-22 09:16:46 +00:00
  • 9ecb57d88a Lkt lowering: reject missing/invalid calls Pierre-Marie de Rodat 2024-07-19 19:13:26 +00:00
  • 8eefb73ae9 Fix missing/incorrect call syntaxes for fields/properties in testcases Pierre-Marie de Rodat 2024-07-19 19:12:37 +00:00
  • 10591f0929 Lkt lowering: rework handling of builtin methods/attributes Pierre-Marie de Rodat 2024-07-19 15:59:04 +00:00
  • 10197b6c61 Fix missing/incorrect call syntaxes for builtins in testcases Pierre-Marie de Rodat 2024-07-19 15:52:32 +00:00
  • dfab7b0e6f Merge branch 'mr/pmderodat/gdb' into 'master' Pierre-Marie de Rodat 2024-07-19 13:48:08 +00:00
  • e522a75537 langkit.gdb.printers: fix mypy issues Pierre-Marie de Rodat 2024-07-19 13:36:07 +00:00
  • 43fe7eb8eb Merge branch 'mr/pmderodat/lkt-unparsers' into 'master' Pierre-Marie de Rodat 2024-07-19 13:47:38 +00:00
  • 660b99be28 Lkt: generate unparsers Pierre-Marie de Rodat 2024-07-05 12:05:58 +00:00
  • 0ca96f578b Merge branch 'topic/822' into 'master' Romain Béguet 2024-07-19 08:25:13 +00:00
  • ff8b439b4e Add GDB pretty printer for Symbol_Type. Romain Beguet 2024-07-18 17:07:20 +02:00
  • 68f300bd2e Minor: remove hardcoded sloc in GDB test. Romain Beguet 2024-07-18 17:06:56 +02:00
  • 2f668c9ebd Merge branch 'topic/solver_debug' into 'master' Romain Béguet 2024-07-18 15:29:35 +00:00
  • 2e6ad8268b Print evaluated atoms in order. Romain Beguet 2024-07-17 15:13:59 +02:00
  • e3195524cf Log info output topo sort failures in verbose trace. Romain Beguet 2024-07-17 15:13:50 +02:00
  • ff41b0c22a Merge branch 'mr/pmderodat/unparsing-leak' into 'master' Pierre-Marie de Rodat 2024-07-18 15:21:59 +00:00
  • 695929a5e2 Unparsing: fix memory leaks in case of JSON syntax error Pierre-Marie de Rodat 2024-07-18 14:37:35 +00:00
  • e46880dbeb Merge branch 'mr/pmderodat/unparsing-spacing-refactoring' into 'master' Pierre-Marie de Rodat 2024-07-18 13:09:57 +00:00
  • 3032fdd36e Unparsing: refactor the passes to process required spacing Pierre-Marie de Rodat 2024-07-17 08:12:31 +00:00
  • a571f4dd0a Merge branch 'mr/pmderodat/unparsing-flush-line-breaks' into 'master' Pierre-Marie de Rodat 2024-07-18 09:59:00 +00:00
  • 58336f7abb Unparsing: make the Flush_Line_Breaks node available in templates Pierre-Marie de Rodat 2024-07-17 11:52:10 +00:00
  • 8f3e62e900 Unparsing: minor refactoring Pierre-Marie de Rodat 2024-07-17 11:20:41 +00:00
  • dff9efe96d Merge branch 'mr/pmderodat/unparsing-reattach-wrapper' into 'master' Pierre-Marie de Rodat 2024-07-18 09:58:49 +00:00
  • 4d2409c788 Unparsing: fix handling of reattached trivias for "wrapper" nodes Pierre-Marie de Rodat 2024-07-15 14:14:41 +00:00
  • 47bbd0ae5b Unparsing: enhance logging for tokens/trivias Pierre-Marie de Rodat 2024-07-12 14:34:39 +00:00
  • 2e0180e9fe Merge branch 'mr/pmderodat/list-token-end' into 'master' Pierre-Marie de Rodat 2024-07-18 08:11:17 +00:00
  • 37af3c3377 parsers/list_code_ada.mako: fix token_end when not allow_trailing Pierre-Marie de Rodat 2024-07-16 09:45:56 +00:00
  • 32d194b2c6 parsers/list_code_ada.mako: minor refactoring Pierre-Marie de Rodat 2024-07-16 09:45:15 +00:00
  • 280b6217b6 Merge branch 'mr/pmderodat/lkt-list-sep' into 'master' Pierre-Marie de Rodat 2024-07-17 09:06:45 +00:00
  • c31d12cf69 Unparsers: add handling of extra list separators Pierre-Marie de Rodat 2024-07-10 15:04:00 +00:00
  • 961635aa64 Merge branch 'mr/pmderodat/unparsing-if-kind' into 'master' Pierre-Marie de Rodat 2024-07-17 08:08:52 +00:00
  • d0cba0cd13 Unparsing: allow ifKind nodes in field templates Pierre-Marie de Rodat 2024-07-12 12:09:03 +00:00
  • 392c55c091 Unparsers: fix the documented pattern for ifKind Pierre-Marie de Rodat 2024-07-12 09:31:16 +00:00
  • a10a71aab6 Merge branch 'mr/pmderodat/unparsing-group-id-fields' into 'master' Pierre-Marie de Rodat 2024-07-17 08:08:06 +00:00
  • 4e6966c292 Unparsing: make it possible to reference group ids from other templates Pierre-Marie de Rodat 2024-07-03 15:04:26 +00:00
  • 5b5b91b3f8 Merge branch 'mr/adjust_langkit_packaging' into 'master' Nicolas Roche 2024-07-15 15:11:08 +00:00
  • 44cd91464c Add support for gnatcoll_core_minimal packaging. Nicolas Roche 2024-07-15 16:18:25 +02:00
  • 49b31f0d57 Merge branch 'mr/pmderodat/gdb' into 'master' Pierre-Marie de Rodat 2024-07-12 09:46:38 +00:00
  • 795fc0a8ea GDB helpers: fix control flow commands for recusive properties Pierre-Marie de Rodat 2024-07-11 19:11:02 +00:00
  • 66c257970e gdb_helpers: extend the test language Pierre-Marie de Rodat 2024-07-11 18:55:15 +00:00
  • 81d33584f9 gdb_helpers: fix a typo Pierre-Marie de Rodat 2024-07-11 14:20:45 +00:00
  • b82327598b Merge branch 'mr/pmderodat/lkt-unparsing' into 'master' Pierre-Marie de Rodat 2024-07-11 15:42:51 +00:00
  • 57a3d02376 Lkt: add token spacing rules for unparsers Pierre-Marie de Rodat 2024-07-09 12:44:48 +00:00
  • 1d87e75f26 Lkt: adjust the GrammarList parser to be legal for unparsers Pierre-Marie de Rodat 2024-07-05 14:08:55 +00:00
  • 478c550319 Lkt: fix the array literal type/parser to have consistent order Pierre-Marie de Rodat 2024-07-09 08:39:11 +00:00
  • a4224e5b07 Merge branch 'mr/pmderodat/unparsing-inheritance' into 'master' Pierre-Marie de Rodat 2024-07-11 15:39:03 +00:00
  • 4f93d624ff Unparsing: rework handling of node configuration inheritance Pierre-Marie de Rodat 2024-07-02 12:11:48 +00:00