Pierre-Marie de Rodat
975d690454
Enable mypy checks by default
...
Also add type hints to `langkit.compile_context` and
`langkit.compiled_types`.
2025-04-03 12:35:12 +00:00
Pierre-Marie de Rodat
d2e0acae0a
Add type annotations to langkit.expressions
2025-03-24 15:39:29 +00:00
Pierre-Marie de Rodat
ba0a1bd001
Reorganise sources for Lkt lowering
...
Create the `langkit.frontend` package to host modules split off the
previous huge `langkit.lkt_lowering` module.
2025-03-17 10:09:48 +00:00
Remi SEGARD
a9072c6fd2
Add implements decorator
2025-02-06 17:34:15 +01:00
Pierre-Marie de Rodat
109fd493c7
Introduce separate data structure to hold the language spec config
...
Replace the messy collection of arguments for CompileCtx.__init__ and
CompileCtx.create_all_passes with better organized dataclasses in the
new langkit.config module. Update the codebase to use these data
structures.
2025-01-07 09:54:56 +00:00
Pierre-Marie de Rodat
089516c095
Make mypy check sources in langkit.scripts
2024-12-04 10:16:07 +00:00
Pierre-Marie de Rodat
ae43ef06db
Bump minimal Python version requirement for Langkit to 3.11
2024-10-16 15:23:41 +00:00
Pierre-Marie de Rodat
9bead34b2a
Add type annotations to the langkit.utils package
...
Also perform the necessary adjustments in the rest of the codebase.
2023-10-13 17:26:21 +00:00
Pierre-Marie de Rodat
0b12feef99
langkit.stylechecks: add type annotations and enable checking w. Mypy
2023-09-07 10:59:10 +00:00
Pierre-Marie de Rodat
59557fce40
langkit.gdb: enable checking with Mypy
2023-09-07 10:59:10 +00:00
Pierre-Marie de Rodat
b0ac86efd7
langkit.unparsers: add type annotations and enable checking w. Mypy
2023-09-07 10:59:10 +00:00
Pierre-Marie de Rodat
18ddb3ab83
langkit.windows: enable checking with Mypy
2023-09-07 10:59:10 +00:00
Pierre-Marie de Rodat
a59715b598
langkit.template_utils: add type annotations and enable checking w. Mypy
2023-09-07 10:59:10 +00:00
Pierre-Marie de Rodat
5e8146c83f
langkit.packaging: add type annotations and enable checking with Mypy
...
Note that this commit also reworks this module to ease type checking, in
particular use subclassing to avoid attributes nullability (all
`*_prefix` attributes could be None before this commit) as all uses for
such attributes would have to be protected with an assert otherwise.
2023-08-30 07:51:41 +00:00
Pierre-Marie de Rodat
2b7863fd20
mypy.ini: sort individual langkit module settings
2023-08-30 07:51:41 +00:00
Hugo GUERRIER
3f27ad882e
W125-027 Add the Java bindings
2023-03-17 11:58:43 +01:00
Pierre-Marie de Rodat
30d2f7ac8c
Mypy: leverage type hints from gdb and gnat-gdb-scripts
...
TN: V707-013
2022-07-18 15:20:38 +00:00
Raphaël AMIARD
fc049a2cb3
Update python version in mypy.ini
2022-05-30 16:06:31 +02:00
Pierre-Marie de Rodat
670cb72f5c
langkit.expressions.collections: add type hints
...
TN: R522-017
2022-04-19 15:09:29 +00:00
Pierre-Marie de Rodat
651713541d
mypy.ini: simplify configuration for the whole langkit.lexer package
...
TN: S521-024
2022-03-22 13:08:43 +00:00
Pierre-Marie de Rodat
9679a6a2f2
mypy.ini: simplify configuration for the whole langkit.gdb package
...
TN: S521-024
2022-03-22 13:08:43 +00:00
Laurent Thévenoux
74eee3e60c
mypy.ini: ignore the absence of typeguard imports
2022-03-21 08:38:05 +00:00
Pierre-Marie de Rodat
51a2360eef
langkit.parsers: add type hints
...
TN: V112-051
2022-02-22 21:44:09 +00:00
Pierre-Marie de Rodat
c02e56a618
langkit.emitter: add type hints
...
TN: V126-009
2022-01-27 16:49:27 +01:00
Pierre-Marie de Rodat
70dd1f934f
Generic API: factor constant names formatting out of the Mako templates
...
This will make it possible to re-use these helpers in other Mako
templates: they are currently available only in
pkg_generic_introspection_spec_ada.mako.
TN: U401-024
2021-11-23 16:23:28 +01:00
