Commit Graph

  • d275644b08 Unparsing: add a "hardlineWithoutBreakParent" command Joao Azevedo 2024-01-30 14:23:31 +00:00
  • 8a980164b9 Merge branch 'mercier/fix_nullptr_dereference' into 'master' Boris Yakobowski 2024-01-25 16:44:39 +00:00
  • e192fa0325 OCaml API: add defensive code when reading an exception Daniel Mercier 2024-01-24 12:45:58 +01:00
  • d1c424aae4 Merge branch 'mr/gnatcoll_split' into 'master' Nicolas Roche 2024-01-25 10:29:14 +00:00
  • eae956cf61 Adjust detection of gnatcoll-core installation schemes Nicolas Roche 2024-01-25 09:24:15 +01:00
  • 31b24f1615 Merge branch 'mr/gnatcoll_split' into 'master' Nicolas Roche 2024-01-24 15:32:55 +00:00
  • 36182bf753 Add support for new GNATColl library packaging Nicolas Roche 2024-01-24 10:07:29 +01:00
  • 3175c543ec Merge branch 'mr/pmderodat/unparsing' into 'master' Pierre-Marie de Rodat 2024-01-19 15:01:54 +00:00
  • 09e49cf210 Unparsing: add a "recurse_flatten" template command Pierre-Marie de Rodat 2024-01-19 14:05:10 +00:00
  • a35efd4c30 Merge branch 'mr/pmderodat/python3.8' into 'master' Pierre-Marie de Rodat 2024-01-19 08:30:19 +00:00
  • 2e3cbe526d langkit/windows.py: fix Python 3.8 handling Pierre-Marie de Rodat 2024-01-18 15:24:13 +00:00
  • 40d8ede2e4 Merge branch 'topic/fix_leak_diags' into 'master' Romain Béguet 2024-01-17 10:37:24 +00:00
  • a06540eeae Free logic context of NPropagate atoms. Romain Beguet 2024-01-16 10:27:28 +01:00
  • 5dd3912fac Include an NPropagate atom in adalog/diagnostics test case. Romain Beguet 2024-01-17 10:40:51 +01:00
  • 146ff0a180 Merge branch 'mr/pmderodat/sloc-compiled-type' into 'master' Pierre-Marie de Rodat 2024-01-11 18:12:38 +00:00
  • 9d0d41a826 Add Source_Location as a compiled type Pierre-Marie de Rodat 2024-01-11 15:16:41 +00:00
  • af8c699ff3 Merge branch 'topic/mypy' into 'master' Romain Béguet 2024-01-11 17:05:57 +00:00
  • 29d1d9718d Fix type annotations in semantic diangostics work. Romain Beguet 2024-01-11 16:58:38 +01:00
  • 00cba37d67 Merge branch 'topic/error_messages_3' into 'master' Romain Béguet 2024-01-11 11:11:27 +00:00
  • a96b674d41 Infrastructure for emitting diagnostics out of solver resolution failures. Romain Beguet 2023-02-21 12:41:04 +01:00
  • 99e08fdc81 Remove dead code. Romain Beguet 2023-02-22 12:13:20 +01:00
  • eb1eece052 Minor typo fixes. Romain Beguet 2023-02-20 11:05:35 +01:00
  • e291183d25 Merge branch 'mr/pmderodat/unparsing' into 'master' Pierre-Marie de Rodat 2024-01-11 10:06:42 +00:00
  • 786ab26763 langkit_support-generic_api-unparsing.ads: fix a typo in comment Pierre-Marie de Rodat 2024-01-11 09:19:01 +00:00
  • bc41b43d84 Merge branch 'mr/pmderodat/unparsing.rules' into 'master' Pierre-Marie de Rodat 2024-01-11 09:02:35 +00:00
  • 1688bd5122 Unparsing: extend the main so that it can use a non-default parsing rule Pierre-Marie de Rodat 2023-12-20 11:04:06 +00:00
  • af1fd458bf Testsuite: rework GPR main specifications Pierre-Marie de Rodat 2023-12-20 11:00:49 +00:00
  • 29499e4966 Unparsing: fix JSON error message formatting Pierre-Marie de Rodat 2023-12-20 10:32:49 +00:00
  • 98344f583c Merge branch 'mr/pmderodat/unparsing.api-cleanup' into 'master' Pierre-Marie de Rodat 2024-01-10 15:07:49 +00:00
  • 02f3bd159e langkit_support-prettier_utils.ads: fix a comment typo Pierre-Marie de Rodat 2024-01-10 13:58:16 +00:00
  • 896b32534b Unparsing: do not materialize the list of unparsing fragments Pierre-Marie de Rodat 2023-12-13 14:50:10 +00:00
  • 9b94748a6a Langkit_Support.Generic_API.Unparsing: make the fragments API internal Pierre-Marie de Rodat 2023-12-13 14:36:52 +00:00
  • 1ebb9e927b Merge branch 'mr/pmderodat/lkt' into 'master' Pierre-Marie de Rodat 2024-01-10 14:44:16 +00:00
  • 170704bb26 Lkt: get rid of NullCondCallExpr Pierre-Marie de Rodat 2024-01-10 13:35:01 +00:00
  • 581174aac1 Merge branch 'mr/pmderodat/unparsing.all-commands' into 'master' Pierre-Marie de Rodat 2024-01-10 13:54:34 +00:00
  • 9016e9a90f Unparsing/prettier: add support for the trim command Pierre-Marie de Rodat 2023-12-11 14:08:51 +00:00
  • 174a701d1c Unparsing/prettier: add support for the align/dedent*/markAsRoot cmds Pierre-Marie de Rodat 2023-12-11 13:02:46 +00:00
  • 2df4b0be81 Unparsing/prettier: add support for the literalline command Pierre-Marie de Rodat 2023-12-08 16:17:07 +00:00
  • 3ac60f6c96 Unparsing/prettier: add support for group-related Prettier commands Pierre-Marie de Rodat 2023-12-08 15:56:30 +00:00
  • 831ea8fb04 Unparsing/prettier: minor refactoring Pierre-Marie de Rodat 2023-12-06 16:50:51 +00:00
  • a033cdea87 Unparsing config: sort document kinds in alphabetical order Pierre-Marie de Rodat 2023-12-06 14:50:21 +00:00
  • 5f84685940 Unparsing config: make testing exhaustive for template commands Pierre-Marie de Rodat 2023-12-06 14:39:14 +00:00
  • de942cdfac Unparsing config: forbid {"kind": "whitespace"} without explicit length Pierre-Marie de Rodat 2023-12-06 14:38:06 +00:00
  • a0c56fb534 Merge branch 'mr/pmderodat/unparsing' into 'master' Pierre-Marie de Rodat 2024-01-10 12:37:02 +00:00
  • 306002393e Add a main program to run the Prettier-based unparser Pierre-Marie de Rodat 2023-12-05 08:32:18 +00:00
  • f9a101856f Make "generate_unparser" a CompileCtx constructor parameter Pierre-Marie de Rodat 2023-12-05 08:26:46 +00:00
  • dfcf584cbe Langkit_Support.Generic_API.Unparsing: add Prettier output prototype Pierre-Marie de Rodat 2023-12-04 15:28:25 +01:00
  • 9e825092bc Include member refs in unparsing tables Pierre-Marie de Rodat 2023-12-04 08:24:48 +01:00
  • 0c0bbfccad Merge branch 'mr/pmderodat/ci-require-issue' into 'master' Pierre-Marie de Rodat 2024-01-10 11:34:44 +00:00
  • 8c2aedd6a5 CI: move require_issue to a dedicated job Pierre-Marie de Rodat 2024-01-10 10:36:40 +01:00
  • 6aba249c42 Merge branch 'pmderodat/unparsing' into 'master' Pierre-Marie de Rodat 2024-01-10 10:12:08 +00:00
  • 1f725b1fb8 Generic API: add a new package to deal with tree unparsing Pierre-Marie de Rodat 2023-11-23 14:00:04 +00:00
  • d73cfd8a86 Generic API: add a Token_Node_Kind primitive for token nodes Pierre-Marie de Rodat 2023-11-23 10:54:57 +00:00
  • dbc496db18 Unparsers: always include text in token unparsers Pierre-Marie de Rodat 2023-11-22 15:58:15 +00:00
  • 227c8f9e49 Unparsers: change data structure for lists without a separator token Pierre-Marie de Rodat 2023-11-22 15:53:30 +00:00
  • 5aa89f1a1e Move unparsing tables to Langkit_Suppport.Internal Pierre-Marie de Rodat 2023-11-22 15:36:52 +00:00
  • 5d2fc91626 Generic API: add token families Pierre-Marie de Rodat 2023-11-22 13:34:15 +00:00
  • 73b90452ff Langkit_Support.Internal: minor comment rewording Pierre-Marie de Rodat 2023-11-22 10:31:39 +00:00
  • 8492bf2dd4 langkit.unparsers: add a "var_name" attribute for node unparsers Pierre-Marie de Rodat 2023-11-21 15:35:14 +00:00
  • 8d153906f0 pkg_generic_introspection_spec_ada.mako: token kind index constants Pierre-Marie de Rodat 2023-11-21 15:33:18 +00:00
  • 49b0d8dbf7 Merge branch 'topic/container_checks' into 'master' Raphaël Amiard 2024-01-04 11:17:46 +00:00
  • 1d779a5d92 Remove container checks in $Lang.Implementation Raphaël AMIARD 2024-01-03 12:09:21 +01:00
  • e7f09e7f69 Merge branch 'mr/pmderodat/23-backport' into '23-sustained' 23-sustained Pierre-Marie de Rodat 2023-12-20 10:08:11 +00:00
  • d39bf3c7c7 Testsuite: do not run "create-project.py" with a Python interpreter Pierre-Marie de Rodat 2023-12-06 16:37:45 +01:00
  • 17c27011a7 Merge branch 'pmderodat/lkt' into 'master' Pierre-Marie de Rodat 2023-12-14 10:17:16 +00:00
  • 327c52ba80 Testsuite: enable types_from_lkt=True whenever possible Pierre-Marie de Rodat 2023-12-13 13:59:14 +00:00
  • 8c0f472abe langkit.lkt_lowering: rename LambdaInfo to BuiltinCallInfo Pierre-Marie de Rodat 2023-11-28 11:33:34 +00:00
  • 0e761a5207 Lkt: rename the @ignore and @ignore_warn_on_node annotations Pierre-Marie de Rodat 2023-11-27 15:40:29 +00:00
  • 6ad425c64c langkit.lkt_lowering: refactor method call loweringo Pierre-Marie de Rodat 2023-11-27 15:28:13 +00:00
  • 7f812a95f1 langkit.lkt_lowering: link recent TODO additions to GitLab issues Pierre-Marie de Rodat 2023-11-27 11:38:39 +00:00
  • e3f06e9190 Lkt lowering: add comment markers to navigate between docstring and code Pierre-Marie de Rodat 2023-11-17 14:22:01 +00:00
  • 0ec226033d Lkt lowering: factor out common code for root scope creation Pierre-Marie de Rodat 2023-11-17 14:12:35 +00:00
  • 6fe8fd1dd3 Lkt lowering: implement a validity check for Entity[T](...) expressions Pierre-Marie de Rodat 2023-11-17 13:50:16 +00:00
  • c1d5d0a8d1 CompiledTypeRepo.env_metadata: clarify the docstring Pierre-Marie de Rodat 2023-11-17 13:34:29 +00:00
  • 11fd1fe300 Lkt lowering: document LktTypesLoader.Generics Pierre-Marie de Rodat 2023-11-17 13:27:12 +00:00
  • d1d0f2774d Lkt lowering: remove unecessary @dataclass annotations Pierre-Marie de Rodat 2023-11-17 13:21:53 +00:00
  • 6c95d905d0 Scope: minor docstring rewording Pierre-Marie de Rodat 2023-11-17 13:15:53 +00:00
  • 5dd7c65af7 @with_lexer: make the message in case of bad name error less confusing Pierre-Marie de Rodat 2023-11-17 13:14:12 +00:00
  • 1ffd449060 langkit.dsl_unparse: rework empty lines emitted for properties Pierre-Marie de Rodat 2023-10-11 08:29:44 +00:00
  • c8227fe42e Lkt lowering/langkit.dsl_unparse: rework handling of external properties Pierre-Marie de Rodat 2023-10-05 11:13:19 +00:00
  • bb64959294 Lkt lowering/langkit.dsl_unparse: handle the "snaps" node annotation Pierre-Marie de Rodat 2023-10-05 08:20:59 +00:00
  • 2668056724 Lkt lowering/langkit.dsl_unparse: handle generic_list_type Pierre-Marie de Rodat 2023-10-05 07:23:30 +00:00
  • a44864552b Lkt lowering/langkit.dsl_unparse: handle the repr_name annotation Pierre-Marie de Rodat 2023-10-05 07:04:23 +00:00
  • a0b4ba5f73 Lkt lowering/langkit.dsl_unparse: handle *warn_on_node annotations Pierre-Marie de Rodat 2023-10-04 15:37:10 +00:00
  • 1d06279808 Lkt lowering/langkit.dsl_unparse: handle custom_short_image Pierre-Marie de Rodat 2023-10-04 15:17:41 +00:00
  • b044eb6774 Lkt lowering/langkit.dsl_unparse: add lexical env-related annotations Pierre-Marie de Rodat 2023-10-04 13:58:04 +00:00
  • dfb2360400 Lkt lowering: handle env specs and missing env-related expressions Pierre-Marie de Rodat 2023-10-04 14:00:55 +00:00
  • ede2472022 Lkt/langkit.dsl_unparse: fix handling of ignored local variables Pierre-Marie de Rodat 2023-10-04 13:18:45 +00:00
  • 87ba9469b6 langkit.dsl_unparse: handle the EmptyEnv special variable Pierre-Marie de Rodat 2023-10-04 13:07:10 +00:00
  • 42c2e241db langkit.compiled_types.create_builtin_types: add EnvAssoc&InnerEnvAssoc Pierre-Marie de Rodat 2023-10-04 07:53:57 +00:00
  • 1b287fdd78 langkit.reset: clear memoization caches first Pierre-Marie de Rodat 2023-10-04 07:51:43 +00:00
  • 81486de121 langkit.dsl_unparse: handle EnvGet's "lookup" argument Pierre-Marie de Rodat 2023-10-03 20:27:56 +00:00
  • fe645257b6 langkit.dsl_unparse: include keyword args for @auto_attr expressions Pierre-Marie de Rodat 2023-10-03 20:09:03 +00:00
  • db78e5f7b0 Lkt lowering/langkit.dsl_unparse: add RefCategories support Pierre-Marie de Rodat 2023-10-03 18:54:09 +00:00
  • d6889eacc8 Lkt lowering: add support for env-related attribute expressions Pierre-Marie de Rodat 2023-10-03 15:07:07 +00:00
  • 732c862925 Lkt lowering: register env-related builtin types Pierre-Marie de Rodat 2023-10-03 15:08:06 +00:00
  • 949d20abc1 Lkt lowering: add support for DynamicLexicalEnv Pierre-Marie de Rodat 2023-10-03 14:31:16 +00:00
  • d2dfa75bbd Lkt lowering: reduce name conflicts for local variables Pierre-Marie de Rodat 2023-10-03 14:27:44 +00:00
  • 50b414b72c Lkt lowering: make default Metadata struct available in user code Pierre-Marie de Rodat 2023-10-03 14:26:41 +00:00
  • baa74647c2 langkit.envs: allow properties in env action constructors Pierre-Marie de Rodat 2023-10-02 19:50:54 +00:00