Nora Dimitrijević
1a9683f986
Add @top database type
2025-10-06 11:47:14 +02:00
Nora Dimitrijević
1c3a7f2b1e
Add database upgrade/downgrade scripts
2025-10-06 11:36:58 +02:00
Taus
8630f57710
Python: Add up-/downgrade scripts
...
Adds up- and downgrade scripts for the support for type parameter
defaults.
In the upgrade direction we do nothing, matching the behaviour of
`getDefault` not having a result for old databases.
In the downgrade direction, we explicitly remove the relevant child (via
the `py_exprs` database relation) for `TypeVar`, `TypeVarTuple`, and
`ParamSpec` parameters.
2024-10-15 11:22:33 +00:00
Cornelius Riemenschneider
6ba27dc863
Upgrade rules_pkg to 0.10.1.
2024-04-16 16:29:56 +02:00
Cornelius Riemenschneider
27ebebc24b
Python: Update BUILD.bazel files.
...
This allows us to (later) build the whole python language pack with
bazel.
2024-02-12 17:10:35 +01:00
Chuan-kai Lin
2924be554c
Python: Fix typo in upgrade script
2024-01-05 07:15:21 -08:00
Taus
878299823c
Python: Add up-/downgrade scripts
...
In the upgrade direction, we simply do nothing.
In the downgrade direction, we remove the two new relations, and
also any `Stmt` nodes corresponding to `TypeAlias` nodes.
2023-11-06 13:50:55 +00:00
Kasper Svendsen
f41276cb7f
Python: Enable implicit this warnings for remaining packs
2023-06-27 12:00:13 +02:00
Arthur Baars
5e279f2898
Python: add upgrade/downgrade scripts
2023-05-22 19:37:58 +02:00
Arthur Baars
c4a7353583
Python: upgrade/downgrade scripts
2023-04-21 17:42:02 +02:00
Rasmus Lerchedahl Petersen
ad95225272
python: improve code
...
according to alert and reviewer's suggestion
2023-01-05 20:42:29 +01:00
Rasmus Lerchedahl Petersen
bb26c31f84
Python: fix downgrade script
...
When new kinds are inserted, new indices exists that do not
correspond to any old indices.
These were previously mapped, now they are not.
2023-01-05 14:56:52 +01:00
yoff
505f454878
Apply suggestions from code review
...
Co-authored-by: Rasmus Wriedt Larsen <rasmuswl@github.com >
2022-11-16 22:20:19 +01:00
Rasmus Lerchedahl Petersen
1fd76f02fd
python: db uprade and downgrade scripts
2022-11-10 22:20:27 +01:00
Chuan-kai Lin
df91ee6616
Python: adjust downgrade script location and format
2022-02-02 14:23:21 -08:00
