Commit Graph

  • a84bb14f92 Lkt/langkit.dsl_unparse: add env specs handling Pierre-Marie de Rodat 2023-10-02 13:54:33 +00:00
  • 36047b8def Lkt lowering: add handling for @call_memoizable* annotations Pierre-Marie de Rodat 2023-09-28 19:09:16 +00:00
  • 794e979256 Lkt lowering: add support for logic equations Pierre-Marie de Rodat 2023-09-28 19:54:42 +00:00
  • e02ddcea35 langkit.dsl_unparse: introduce %all and %any for logic equations Pierre-Marie de Rodat 2023-09-28 19:48:00 +00:00
  • d261192ce8 langkit.expressions.DomainExpr: evaluate "static_type" for all instances Pierre-Marie de Rodat 2023-09-28 18:50:29 +00:00
  • 932eb5d303 Lkt: fix the parsing of logical expressions Pierre-Marie de Rodat 2023-09-28 15:24:36 +00:00
  • d06c0b4c1a langkit.dsl_unparse: fix unparsing for property references Pierre-Marie de Rodat 2023-09-28 15:36:25 +00:00
  • 43428a0f9d Lkt lowering: refactor call arguments analysis Pierre-Marie de Rodat 2023-09-28 13:58:49 +00:00
  • 56f98d7d39 misc/docstrings_auto_extra: transition to the lkt_compile driver Pierre-Marie de Rodat 2023-09-27 20:06:50 +00:00
  • f4e0349e71 Testsuite: switch as many tests as possible to types_from_lkt=True Pierre-Marie de Rodat 2023-09-27 20:02:44 +00:00
  • 28c6b231f2 Lkt lowering: add support for enum type default values Pierre-Marie de Rodat 2023-09-27 19:35:40 +00:00
  • b7dae8463f langkit.dsl_unparse: add the @synthetic node annotation Pierre-Marie de Rodat 2023-09-27 15:19:21 +00:00
  • fe143fb035 Lkt lowering: add support for array subscripts Pierre-Marie de Rodat 2023-09-27 15:04:13 +00:00
  • 299b36b826 Lkt: introduce a dedicated syntax for subscript expressions Pierre-Marie de Rodat 2023-10-04 10:29:56 +00:00
  • a8924071d2 Lkt: enforce upper case type names at the syntax level Pierre-Marie de Rodat 2023-10-04 10:57:38 +00:00
  • 1aa1033c45 Lkt lowering: consistently enforce casing for defining identifiers Pierre-Marie de Rodat 2023-09-28 11:22:22 +00:00
  • c68c170f38 Lkt lowering: reject null conditional calls when appropriate Pierre-Marie de Rodat 2023-09-27 14:58:50 +00:00
  • c25604a7c7 Lkt lowering: add support for ".take_while" expressions Pierre-Marie de Rodat 2023-09-27 14:41:06 +00:00
  • 9c4c7e0d76 Lkt lowering: add support for ".mapcat" expressions Pierre-Marie de Rodat 2023-09-27 14:37:24 +00:00
  • 72acb19cbf Lkt lowering: fix the handling of "elif" branches Pierre-Marie de Rodat 2023-09-27 14:10:48 +00:00
  • b885bae6de langkit.dsl_unparse: rework parens handling Pierre-Marie de Rodat 2023-09-27 14:00:33 +00:00
  • 220df5e08d iterators/big_iterator: do not rely on env specs Pierre-Marie de Rodat 2023-09-27 08:32:36 +00:00
  • 390aa1ef3b langkit.reset: reset tokens Pierre-Marie de Rodat 2023-09-27 08:14:32 +00:00
  • 96845e1c08 langkit.dsl_unparse: unparse raising casts as ".as![T]" Pierre-Marie de Rodat 2023-09-27 08:15:02 +00:00
  • fa8c8085c0 Lkt lowering: handle ".filter" and ".filtermap" expressions Pierre-Marie de Rodat 2023-09-26 15:36:01 +00:00
  • 7d5acbd59d Lkt lowering: add support for null-conditional dotted names Pierre-Marie de Rodat 2023-09-26 08:35:23 +00:00
  • c8b7a960f8 Lkt: add the @ignore annotation for function arguments Pierre-Marie de Rodat 2023-09-26 10:14:17 +00:00
  • 27bec3923b Lkt lowering: add handling for quantifiers Pierre-Marie de Rodat 2023-09-26 10:09:58 +00:00
  • 0dd9597101 Lkt lowering: add dedicated scopes for lambda expressions Pierre-Marie de Rodat 2023-09-25 19:49:45 +00:00
  • b81e495b51 Lkt lowering: refactor lambda expression validation code Pierre-Marie de Rodat 2023-09-25 15:26:33 +02:00
  • c1912536c4 Lkt lowering: add support for "then" expressions Pierre-Marie de Rodat 2023-09-25 11:49:08 +02:00
  • 1f09bb3ef4 langkit.dsl_unparse: fix handing of ".super" expressions Pierre-Marie de Rodat 2023-09-22 13:02:11 +00:00
  • d8f032ed49 langkit.vim: add "not" as an operator Pierre-Marie de Rodat 2023-09-22 12:11:16 +00:00
  • f75832df8a langkit.dsl_unparse: minor style tweaks Pierre-Marie de Rodat 2023-09-22 09:47:18 +00:00
  • 8d14e57d92 Lkt lowering: consistently set locations for AbstractVariable objects Pierre-Marie de Rodat 2023-09-21 14:39:08 +00:00
  • ae34bbc993 langkit.diagnostics: add a "<builtin>" dummy location Pierre-Marie de Rodat 2023-09-21 14:26:10 +00:00
  • 48985e0d33 Lkt: add a 's' string prefix for symbol literals Pierre-Marie de Rodat 2023-09-21 13:13:17 +00:00
  • 285cf58f73 grammar/invalid_token_families: transition to the lkt_compile driver Pierre-Marie de Rodat 2023-09-21 12:48:44 +00:00
  • cbd8886fe8 structs/invalid_env_md: transition to the lkt_compile driver Pierre-Marie de Rodat 2023-09-20 19:21:00 +00:00
  • fd2ae71eb6 structs/field_override: transition to the lkt_compile driver Pierre-Marie de Rodat 2023-09-20 19:17:18 +00:00
  • d1db95cc99 structs/composite_deps: transition to the lkt_compile driver Pierre-Marie de Rodat 2023-09-20 19:13:53 +00:00
  • a1ae4d9cda properties/warn_public_doc: transition to the lkt_compile driver Pierre-Marie de Rodat 2023-09-20 19:10:42 +00:00
  • 14f0ab582e properties/useless_bind: transition to the lkt_compile driver Pierre-Marie de Rodat 2023-09-20 19:01:53 +00:00
  • 75977e4998 properties/unused_private_props: transition to the lkt_compile driver Pierre-Marie de Rodat 2023-09-20 18:56:27 +00:00
  • 614520d357 properties/unreachable_base_prop: transition to the lkt_compile driver Pierre-Marie de Rodat 2023-09-20 18:47:54 +00:00
  • d427629aac Lkt lowering: add support for the AnalysisUnitKind builtin type Pierre-Marie de Rodat 2023-09-20 18:26:33 +00:00
  • aaa08b16c9 langkit.vim: add the "try" keyword Pierre-Marie de Rodat 2023-09-20 18:25:43 +00:00
  • 82df052971 Lkt lowering: introduce the @ignore_unused property annotation Pierre-Marie de Rodat 2023-09-20 18:20:54 +00:00
  • b029455a86 properties/override: transition DSL to Lkt Pierre-Marie de Rodat 2023-09-20 18:12:31 +00:00
  • 8d2f36bfff properties/override: transition to the lkt_compile driver Pierre-Marie de Rodat 2023-09-20 18:05:11 +00:00
  • ec25877ff1 properties/nop_cast: transition to the lkt_compile driver Pierre-Marie de Rodat 2023-09-20 16:13:12 +00:00
  • 5b3b173817 properties/invalid_unique: transition to the lkt_compile driver Pierre-Marie de Rodat 2023-09-20 15:53:24 +00:00
  • fd5445c492 Lkt lowering: fix and complete handling of big integer operations Pierre-Marie de Rodat 2023-09-20 15:46:22 +00:00
  • d46bddb785 properties/big_integer: rework testcase Pierre-Marie de Rodat 2023-09-22 08:50:23 +00:00
  • a0eedb174e Lkt: rework equal/not-equal operators Pierre-Marie de Rodat 2023-09-22 11:44:34 +00:00
  • 9dc03b8bc2 Lkt lowering: handle references to enum node alternatives Pierre-Marie de Rodat 2023-09-22 09:26:13 +00:00
  • 48e87a91b8 properties/invalid_symbol: transition to the lkt_compile driver Pierre-Marie de Rodat 2023-09-20 15:27:45 +00:00
  • 06bcf5d9a2 properties/invalid_struct_update: transition to the lkt_compile driver Pierre-Marie de Rodat 2023-09-20 15:22:57 +00:00
  • 3f1cb2e345 properties/invalid_rebindings: transition to the lkt_compile driver Pierre-Marie de Rodat 2023-09-20 15:13:15 +00:00
  • e9c38906df Lkt lowering: reject arguments that use reserved names Pierre-Marie de Rodat 2023-09-20 15:05:56 +00:00
  • a51dd2e6e5 properties/invalid_prop_args*: transition to the lkt_compile driver Pierre-Marie de Rodat 2023-09-20 14:54:21 +00:00
  • cc4bb17c31 properties/invalid_new_node: transition to the lkt_compile driver Pierre-Marie de Rodat 2023-09-20 14:46:59 +00:00
  • bade53e12a properties/invalid_no: transition to the lkt_compile driver Pierre-Marie de Rodat 2023-09-20 14:40:51 +00:00
  • c721561d3e properties/invalid_new: transition to the lkt_compile driver Pierre-Marie de Rodat 2023-09-20 14:38:09 +00:00
  • 59574181eb Lkt lowering: add support for the Token compiled type Pierre-Marie de Rodat 2023-09-20 14:23:18 +00:00
  • 7a8008c018 langkit.diagnostics.source_listing: fix handling of termination tokens Pierre-Marie de Rodat 2023-09-20 14:18:33 +00:00
  • 2236de72b0 properties/invalid_matchers: transition to the lkt_compile driver Pierre-Marie de Rodat 2023-09-20 14:08:23 +00:00
  • c950115a19 Lkt lowering: reject type/default value for ".map" lambda functions Pierre-Marie de Rodat 2023-09-20 12:49:39 +00:00
  • f9c6df8a5b Lkt lowering: enforce lazy_field=False for actual properties Pierre-Marie de Rodat 2023-09-20 12:39:06 +00:00
  • 7ced7241cd properties/invalid_final: transition to the lkt_compile driver Pierre-Marie de Rodat 2023-09-20 10:18:12 +00:00
  • d1da126b45 properties/invalid_external: transition to the lkt_compile driver Pierre-Marie de Rodat 2023-09-20 10:16:06 +00:00
  • 51a47e58e9 properties/invalid_exposed_type: transition to the lkt_compile driver Pierre-Marie de Rodat 2023-09-20 10:07:48 +00:00
  • 1b79fefa04 properties/invalid_eq: transition to the lkt_compile driver Pierre-Marie de Rodat 2023-09-20 10:03:25 +00:00
  • 8af036b351 python_support/lkt_compile.py: accept "*.lkt" files as arguments Pierre-Marie de Rodat 2023-09-20 09:05:23 +00:00
  • d0a50ddc81 Lkt lowering: fix validation for default argument values Pierre-Marie de Rodat 2023-09-20 09:04:34 +00:00
  • 3e7a8e3e47 Lkt lowering: fix support for "and"/"or" operators Pierre-Marie de Rodat 2023-09-26 09:31:40 +00:00
  • 87a4ac669c properties/invalid_dflt_arg_override: transition to the lkt_compile driver Pierre-Marie de Rodat 2023-09-20 08:23:05 +00:00
  • 3070d4bf93 properties/invalid_comparison: transition to the lkt_compile driver Pierre-Marie de Rodat 2023-09-20 08:14:00 +00:00
  • 6c4aa6e491 properties/invalid_cast: transition to the lkt_compile driver Pierre-Marie de Rodat 2023-09-20 08:11:26 +00:00
  • 909740082f properties/invalid_call: transition to the lkt_compile driver Pierre-Marie de Rodat 2023-09-20 07:57:38 +00:00
  • 807c0bea09 properties/invalid_array_lit: transition to the lkt_compile driver Pierre-Marie de Rodat 2023-09-20 07:49:33 +00:00
  • d721c93c07 Lkt lowering: add support for the "singleton" attribute Pierre-Marie de Rodat 2023-09-20 07:39:24 +00:00
  • 447c309308 properties/invalid_arg_name_override: transition to lkt_compile Pierre-Marie de Rodat 2023-09-20 07:35:57 +00:00
  • 99afbb7b22 properties/invalid_abstract: transition to lkt_compile Pierre-Marie de Rodat 2023-09-20 07:33:54 +00:00
  • 2becffd715 properties/invalid_analysis_unit_expr: transition to lkt_compile Pierre-Marie de Rodat 2023-09-19 19:49:25 +00:00
  • 7845753d72 properties/if_unify_astnode: transition to the lkt_compile driver Pierre-Marie de Rodat 2023-09-19 19:18:59 +00:00
  • 31d5e1bf82 Lkt lowering: fix the lowering of user fields on nodes Pierre-Marie de Rodat 2023-09-19 18:07:34 +00:00
  • 7eae28748f iterators/stale_complex_iterator: switch to types_from_lkt=True Pierre-Marie de Rodat 2023-09-19 15:51:03 +00:00
  • ef68b6c99d properties/array_literal: transition to the lkt_compile driver Pierre-Marie de Rodat 2023-09-19 15:35:26 +00:00
  • 52dd253234 misc/underived_abstract_node: transition to the lkt_compile driver Pierre-Marie de Rodat 2023-09-19 15:21:19 +00:00
  • a78a482e12 Lkt: fix location for Rst-related diagnostics Pierre-Marie de Rodat 2023-09-19 15:16:18 +00:00
  • 70b836f4bb Lkt lowering: enhance the precision of source locations for variables Pierre-Marie de Rodat 2023-09-19 13:36:18 +00:00
  • e6c9e150d5 Lkt: add support for dynamic variables Pierre-Marie de Rodat 2023-09-18 14:34:08 +00:00
  • 502fd872fa properties/lower_dispatch: remove unused dynamic variable Pierre-Marie de Rodat 2023-09-19 09:45:01 +00:00
  • 7e1248ac3e Lkt lowering: introduce scopes in the parsing of annotations Pierre-Marie de Rodat 2023-09-18 14:33:45 +00:00
  • a4a8e0bd8a Lkt lowering: fix docstring extraction (remove ## prefixes) Pierre-Marie de Rodat 2023-09-18 10:18:43 +00:00
  • 2f0f07acbe lkt_compile driver: add support to run post-compilation test.py scripts Pierre-Marie de Rodat 2023-05-23 14:20:09 +00:00
  • 05d0e0a19f iterators/invalid_iterator: transition to the lkt_compile driver Pierre-Marie de Rodat 2023-09-18 09:48:30 +00:00
  • de4e67bd7e Lkt lowering: add support for match expressions Pierre-Marie de Rodat 2023-09-18 09:34:52 +00:00
  • 69f8af2169 Lkt lowering: lower property expressions only once all types are lowered Pierre-Marie de Rodat 2023-09-14 19:19:36 +00:00